Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Lambda Calculus Open Source Projects

Open source projects categorized as Lambda Calculus
Categories > Mathematics > Lambda Calculus
Nandnotebooks ⭐ 16
Jupyter notebooks with some NAND code
most recent commit 5 years ago
Anodejs ⭐ 15
Humus inspired actor framework for Node.js
most recent commit 9 years ago
Sylvia ⭐ 15
🌲 Logic puzzle game based on the lambda calculus
most recent commit 11 years ago
Fizzbuzz ⭐ 15
Reimplementing lambda calculus in Java 8 for fun and profit.
most recent commit 10 years ago
Js Lambda ⭐ 15
DSL for lambda calculus
dependent packages 2total releases 2most recent commit 8 years agonpm js-lambda} Downloads
Pomagma ⭐ 15
An inference engine for extensional untyped λ-calculus
dependent packages 5total releases 13most recent commit a year agonpm pomagma} Downloads
Computational Semantics ⭐ 15
COGS 543 - Computational Semantics
most recent commit 3 months ago
Binary Lambda Calculus ⭐ 14
For exploring http://www.ioccc.org/2012/tromp/hint.html
most recent commit 7 years ago
Alonzo ⭐ 14
🧊 Типізоване ‏-ג‏‎числення
most recent commit 2 years ago
Jsdp ⭐ 14
A Java Stochastic Dynamic Programming Library
total releases 2most recent commit 10 months ago
Universe Of Syntax ⭐ 14
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
most recent commit 6 years ago
Lambda Calculus Game ⭐ 14
most recent commit 2 years ago
Stepulc ⭐ 13
Efficient and single-steppable ULC evaluation algorithm
most recent commit 3 years ago
Lambda Calculus ⭐ 13
A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
most recent commit a year ago
Silly K ⭐ 13
silly-k is an experimental hobby language inspired by K and APL
most recent commit 7 years ago
Magic ⭐ 13
most recent commit 12 years ago
Quinegraphs ⭐ 13
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
most recent commit a year ago
Purity Project ⭐ 12
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
most recent commit 5 years ago
Lambdacalculus Java ⭐ 12
Lambda calculus implemented in Java
most recent commit 7 years ago
Perplexity ⭐ 11
A notational semantic for documenting neural networks through diagrams
most recent commit 9 months ago
Y Combinator Tutorial ⭐ 11
An extremely short but hopefully enlightening explanation of the Y combinator
most recent commit 3 years ago
Lambda Scala3 ⭐ 10
Type-level lambda calculus in Scala 3
most recent commit 2 years ago
Lambda Calculus Devkit ⭐ 10
A collection of lambda calculus interpreters and development tools
most recent commit 2 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.