Similar repositories to john-ml/pi-calculus:

• john-ml/pi-calculus github similar
• sarahzrf/minelang github similar
• norm2782/uuagc github similar
• cacay/language-krill github similar
• mrotondo/feeders github similar
• Twey/agda-imp github similar
• pixijs/pixi.js github similar
• CarsonScott/L-System-Grammar github similar
• paulscottrobson/lean github similar
• Jellonator/Emailang github similar
• jesobreira/cood github similar
• is3ny/Polycursion github similar
• john-ml/phi github similar
• inanna-malick/hgit github similar
• john-ml/sequent-calculus github similar
• dwarfmaster/project-manager github similar
• john-ml/stitch github similar
• kaeluka/sequentc github similar
• nulvinge/Linear-Abstract-Machine github similar
• sellout/computational-model-zoo github similar
• isovector/wheatley github similar
• t4ccer/exnihilo github similar
• roboguy13/rewrite-logic github similar
• meta-logic/sequoia github similar
• NaturalTangent/Action- github similar
• sengleung/pifra github similar
• GrayJoKing/Cascade github similar
• AHartNtkn/Kitmit github similar
• Mesabloo/bfhs github similar
• Mesabloo/amethyst github similar
• Mesabloo/HaSM github similar
• sarahzrf/sequents github similar
• Mesabloo/paranet github similar
• vanaur/RCL-C github similar
• schwering/golog github similar
• djsharman/state github similar
• philzook58/Rel.jl github similar
• 0xB0C5/dirt github similar
• konrad-wer/Equational-Proof-Checker github similar
• ibrahimsag/rw github similar