Beast code in Giters

FranckS's starred repositories

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION5289 202 7437

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.

Language:OCamlLGPL-2.14710 103 9946

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION3415 120 2336

ghc

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/contributing).

Language:HaskellNOASSERTION2995 1440

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION1822 64 277

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Language:OCamlNOASSERTION265 14 517

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlNOASSERTION188 17 138

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlGPL-3.088 10 138

idris-sublime

A Plugin to use Idris with Sublime

Language:PythonMIT27 11 6

SizeChangeTool

A termination checker for higher-order rewriting with dependent types

Language:OCaml9 2 2