Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 C Lambda Calculus Open Source Projects

Open source projects categorized as C Lambda Calculus
Categories > Mathematics > Lambda Calculus
Cognate ⭐ 196
A human readable quasi-concatenative programming language
most recent commit 3 months ago
Lambda Zero ⭐ 67
minimalist pure lazy functional programming language (pythonic haskell)
most recent commit 3 months ago
Grift ⭐ 61
A compiler for the gradually typed lambda calculus
most recent commit 2 years ago
Lci ⭐ 50
A lambda calculus interpeter
most recent commit 3 years ago
Lambda ⭐ 21
A small λ-calculus interpreter in C
most recent commit 10 years ago
Bohm1.1 ⭐ 18
Bologna Optimal Higher-Order Machine, Version 1.1
most recent commit 7 years ago
Jml ⭐ 10
jml - a useful web/cloud minimal unikernel distributed operating system
most recent commit 3 years ago
Bloc ⭐ 6
✨ File format and optimizer for programs encoded in binary lambda calculus
most recent commit 3 months ago
Blc Mb ⭐ 6
Binary Lambda Calculus evaluation engine written in Malbolge.
most recent commit 2 years ago
Lambda Calculus In C ⭐ 6
lambda calculus in C
most recent commit 12 years ago
42 Ftmacros ⭐ 5
A simple norm compliant collection of recommended macros for 42, and some dark-side macros to use features the norm tries to prevent you from using. Please submit PRs of your favorite macros and norm bypasses (:
most recent commit 7 years ago
L ⭐ 5
A Small Evaluator for Untyped Lambda Calculus
most recent commit 13 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.