Guest0x0/normalization-bench
Benchmarking various normalization algorithms for the lambda calculus
OCaml
Stargazers
- amirDublin, Ireland
- AndrasKovacs
- anqurvanillapy@Shopee
- arbipherJohns Hopkins University
- AustinZhu@desoul-labs
- beike-zh
- cyberglotGlasgow, UK
- d-plaindouxFreelance at Fungus
- dannypsnl@second-state
- DKXXXL
- favoniaUniversity of Minnesota
- fizruk@InnopolisUniversity
- forked-from-1kasperMilky Way, Solar System, Earth
- g0xA52A2A
- gabriel-fallenKontur
- ghuysmans@isfath
- ice1000@plctlab
- intsucJapan
- jiangsy
- jonsterlingUniversity of Cambridge
- ndcroos
- nicball
- nikitavoloboevMadrid
- ollefAscenium
- pe200012Science Tokyo
- prez
- rehno-lindequeCircuitHub
- RussoulTbilisi, Georgia
- salty-FrankensteinShanghai
- serid
- sezryoDPMMS, Cambridge
- tkersey@thisisartium
- Trebor-HuangInternal cat of a doughnut
- VitalyAnkhMars
- whisper-bye
- yjl9903Afterglow