Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with ski-calculus
A curated list of projects in awesome lists tagged with ski-calculus .
https://github.com/quchen/lambda-ski
A lambda and SKI calculus playground
haskell lambda-calculus ski-calculus
Last synced: 12 Oct 2024
https://github.com/mountain/skiverse
A SKI universe
cheminformatics ideal-gas program-gas simulation ski-calculus ski-combinators
Last synced: 22 Nov 2024
https://github.com/ailrun/lambdifies
Lambdifies VM
haskell language ski-calculus ski-combinators virtual-machine vm
Last synced: 08 Dec 2024
https://github.com/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 28 Nov 2024
https://github.com/hornc/k-is
NaNoGenMo-2020 submission
2020 hittite kafka lazyk nanogenmo ski-calculus
Last synced: 17 Nov 2024
