Similar repositories to MaiaVictor/Formality-Net-legacy:
MaiaVictor/Formality-Net-legacy
github
similar
MaiaVictor/Elementary-Affine-Net-legacy
github
similar
danistefanovic/build-your-own-x
github
similar
MaiaVictor/formality-agda-lib-legacy
github
similar
MaiaVictor/Elementary-Affine-Core-legacy
github
similar
Soonad/Formality-C
github
similar
hecrj/iced
github
similar
gibiansky/IHaskell
github
similar
MaiaVictor/Navim
github
similar
JonathanLorimer/tdd-with-idris2
github
similar
tuvtran/project-based-learning
github
similar
MaiaVictor/diagonalize
github
similar
MaiaVictor/Elementary-Affine-Type-Theory-legacy
github
similar
MaiaVictor/formality-document
github
similar
Soonad/Formbase
github
similar
sunshine-cybernetics/language-formality-core
github
similar
VictorTaelin/Formality-Net-legacy
github
similar
michaelforney/Formality-EVM
github
similar
bamorim/lambdex
github
similar
VictorTaelin/diagonalize
github
similar
Soonad/moonad.org-old
github
similar
robrix/seq
github
similar
Soonad/docs.formality-lang.org
github
similar
moonad-archive/Roadmap
github
similar
clayrat/exp-subs
github
similar
Soonad/Formality-to-EVM
github
similar
VictorTaelin/Elementary-Affine-Core-legacy
github
similar
Vierkantor/refinement-parsers
github
similar
brightly-salty/inversify
github
similar
brunoczim/typed-symmetric-interaction
github
similar
MaiaVictor/escoc-libs-legacy
github
similar
shafiahmed/Hylas-Lisp
github
similar
kindelia-archive/LambdaVM
github
similar
Soonad/Formality-Haskell
github
similar
groupoid/infinity
github
similar
mboes/cassette
github
similar
yatima-inc/radiya.rs
github
similar
Soonad/Formality-Core
github
similar
laMudri/quantitative
github
similar
meraymond2/idris-ide-client
github
similar