techcentaur/Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
OCaml
Stargazers
- 45739847
- aal89The Netherlands
- AaronNGray
- baldvin@opus-futura
- bctnryDublin, Ireland
- chaihahaha
- cpresseyOffice... submarine!
- d4hinesBrightSpec
- egel-lang
- gtrsh
- HeimdellУльяновск
- HughshineChina, Nanjing
- jmanuel1Imagine Learning
- karan469Indian Institute of Technology
- KazarkUndisclosed
- KvaroverHeavenlocalhost, Taiwan
- luffyhwl
- msingleInteSource Partners
- neoxyte
- op8867555Taipei, Taiwan
- peter201943Drexel University
- PoorvaGarg
- roboguy13
- rottrevore
- SandboxHead
- sandkoan
- scvalenciaUniversidad de los Andes
- secondwtqSichuan University
- Shamash2014@WildPhy
- ssmock
- techcentaur@PolymerSearch
- tominated@datadog
- Windrill
- xavierpinhoBraga, Portugal
- xmonader@threefoldtech
- Z-ShangMongoDB