Pinned Repositories
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
CompCert
The CompCert formally-verified C compiler
Dedukti
Implementation of the λΠ-calculus modulo rewriting
lambdapi
Minimal implementation of the λΠ-calculus modulo
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Apple’s stable releases of Clang as well as support the Swift project.
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
ProofsAndTests
Code that conforms to the TAP 2016 article : "Automatic predicate testing in formal certification" by Franck Slama
RingIdris
Ring solver for Idris
swift
The Swift Programming Language
TopologicalSpaceGenerator
Generating topologies on a finite set with 5 elements
FranckS's Repositories
FranckS/RingIdris
Ring solver for Idris
FranckS/ProofsAndTests
Code that conforms to the TAP 2016 article : "Automatic predicate testing in formal certification" by Franck Slama
FranckS/CompCert
The CompCert formally-verified C compiler
FranckS/Dedukti
Implementation of the λΠ-calculus modulo rewriting
FranckS/lambdapi
Minimal implementation of the λΠ-calculus modulo
FranckS/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Apple’s stable releases of Clang as well as support the Swift project.
FranckS/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
FranckS/swift
The Swift Programming Language
FranckS/TopologicalSpaceGenerator
Generating topologies on a finite set with 5 elements