Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Ocaml Lambda Calculus Open Source Projects

Open source projects categorized as Ocaml Lambda Calculus
Categories > Mathematics > Lambda Calculus
Abella ⭐ 83
An interactive theorem prover based on lambda-tree syntax
most recent commit 3 months ago
Krivine Machine ⭐ 29
Abstract krivine machine implementing call-by-name semantics. In OCaml.
most recent commit 6 years ago
Aprolog ⭐ 17
αProlog
most recent commit 10 months ago
Alonzo ⭐ 14
🧊 Типізоване ‏-ג‏‎числення
most recent commit 2 years ago
Ski ⭐ 9
SKI combinators
most recent commit 7 years ago
Tapl Re ⭐ 6
Types and programming languages in reason
most recent commit 6 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.