Similar repositories to MathiasVP/idris-regex:

• MathiasVP/idris-regex github similar
• trifunovski/Resolution-Theorem-Prover github similar
• kwf/Presburger github similar
• quinn-dougherty/gtf github similar
• flux-rs/flux github similar
• jdublu10/pacman github similar
• coq-contribs/ipc github similar
• tuura/archer github similar
• wenkokke/EnumeratingTheRationals github similar
• jdublu10/STLC-to-SKI github similar
• mertdumenci/system-lk github similar
• mokshasoft/idris-rts github similar
• ayberkt/agda-brzozowski github similar
• ccyip/coq-idt github similar
• joom/herbrand-prolog github similar
• cj-xu/GentzenTrans github similar
• mrkgnao/utt github similar
• wilbowma/infernalize github similar
• bristolpl/intensional-datatys github similar
• barras/abstract-machines github similar
• holgerthies/continuity github similar
• dschepler/coq-zorns-lemma github similar
• HuwCampbell/optparse-idris github similar
• MatthewStein/adrenalina github similar
• yforster/coq-synthetic-computability github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• jonsterling/agda-abt github similar
• aatxe/cube.idr github similar
• ayberkt/chi github similar
• kcsmnt0/proof-trees github similar
• joom/modal github similar
• jonsterling/lcf-sequent-calculus-example github similar
• takanuva/coc github similar
• Vierkantor/refinement-parsers github similar
• BekaValentine/basic-proof-development github similar
• ivanbakel/coq-antivalence github similar
• michaelsproul/dblib-linear github similar
• yannham/visual-goi github similar
• SimonJF/IdrisNet github similar
• mishun/henk2000 github similar