Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Smalltt	475	6 months ago	2	mit	Lean
Demo for high-performance type theory elaboration
Hs To Coq	281	3 years ago	62	mit	Coq
Convert Haskell source code to Coq source code
Logitext	129	3 years ago	5	other	UrWeb
Beautiful, interactive visualizations of logical inference
Lambdajs	86	2 years ago	9	other	JavaScript
Semantics and tools for JavaScript
Hs To Coq	69	9 months ago	55	mit	Coq
Convert Haskell source code to Coq source code.
Normalization Bench	36	3 years ago	4	mit	Haskell
Lambda normalization and conversion checking benchmarks for various implementations
System Fc Coq	6	9 years ago			TeX

Alternatives To Smalltt

Select To Compare

Smalltt ⭐ 475

Demo for high-performance type theory elaboration

most recent commit 6 months ago

Hs To Coq ⭐ 281

Convert Haskell source code to Coq source code

most recent commit 3 years ago

Logitext ⭐ 129

Beautiful, interactive visualizations of logical inference

most recent commit 3 years ago

Lambdajs ⭐ 86

Semantics and tools for JavaScript

most recent commit 2 years ago

Hs To Coq ⭐ 69

Convert Haskell source code to Coq source code.

most recent commit 9 months ago

Normalization Bench ⭐ 36

Lambda normalization and conversion checking benchmarks for various implementations

most recent commit 3 years ago

System Fc Coq ⭐ 6

most recent commit 9 years ago

Suggest An Alternative To smalltt

Alternative Project Comparisons

Smalltt vs Normalization Bench

Smalltt vs System Fc Coq

Popular Ghc Projects

Semantic ⭐ 8,425

Parsing, analyzing, and comparing source code across many languages

total releases 8latest release July 18, 2022most recent commit 2 years ago

Xmonad ⭐ 3,191

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

most recent commit 3 months ago

Ghc ⭐ 2,874

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contribu

total releases 3latest release October 14, 2021most recent commit 10 months ago

Ghcjs ⭐ 2,560

Haskell to JavaScript compiler, based on GHC

total releases 3latest release July 10, 2017most recent commit a year ago

Haskell Language Server ⭐ 2,507

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

total releases 49latest release October 10, 2023most recent commit 3 months ago

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Compilers Categories