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: 10 Apr 2025
https://github.com/mountain/skiverse
A SKI universe
cheminformatics ideal-gas program-gas simulation ski-calculus ski-combinators
Last synced: 16 Mar 2025
https://github.com/ailrun/lambdifies
Lambdifies VM
haskell language ski-calculus ski-combinators virtual-machine vm
Last synced: 28 Mar 2025
https://github.com/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 21 Mar 2025
https://github.com/hornc/k-is
NaNoGenMo-2020 submission
2020 hittite kafka lazyk nanogenmo ski-calculus
Last synced: 12 Mar 2025
