A "implementation" of Girard's paradox in OCaml
OCaml
113
1 commits
updated Apr 7, 2015
jonsterling/ocaml-forester
Mirror of ocaml-forester
52
IndiscriminateCoding/clarity
Functional programming library for OCaml
59
phadej/write-yourself-a-typed-functional-language
Write yourself a typed functional language
65
gibbon-compiler/gibbon
A compiler for functional programs on serialized data
177
flyspeck/flyspeck
The formal proof of the Kepler conjecture
180
adamrk/llvm-ocaml-tutorial
The LLVM tutorial using OCaml
62
johnwhitington/ocamli
OCaml interpreter
104
zhengkid/Parallel_Thinking_via_MoT
Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"
33
100.0%
