Giters
FranckS

FranckS

Geek Repo

11

followers

9

following

10

stars

Company:Deducteam (INRIA - ENS)

Github PK Tool:Github PK Tool

FranckS's repositories

RingIdris

Ring solver for Idris

Language:IdrisStargazers:20Issues:5Issues:2

ProofsAndTests

Code that conforms to the TAP 2016 article : "Automatic predicate testing in formal certification" by Franck Slama

Language:TeXStargazers:1Issues:1Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

lambdapi

Minimal implementation of the λΠ-calculus modulo

Language:OCamlStargazers:0Issues:2Issues:0

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.

License:NOASSERTIONStargazers:0Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:0Issues:1Issues:0

swift

The Swift Programming Language

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

TopologicalSpaceGenerator

Generating topologies on a finite set with 5 elements

Language:IdrisStargazers:0Issues:1Issues:0