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	10 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 Hs To Coq

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 10 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 hs-to-coq

Alternative Project Comparisons

Hs To Coq vs Smalltt

Hs To Coq vs Logitext

Hs To Coq vs Lambdajs

Hs To Coq vs Normalization Bench

Hs To Coq vs System Fc Coq

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 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 Mathematics Categories