Similar repositories to fabianbergmark/ECMA-262:
fabianbergmark/ECMA-262
github
similar
AshyIsMe/lambdatwit
github
similar
lens/project-template
github
similar
ayberkt/Mini-TT
github
similar
Epitrochoid/uinitd
github
similar
srdqty/talc-3.0
github
similar
jmlowenthal/agda-c
github
similar
hmb-ba/protocol
github
similar
ziman/itt
github
similar
twittner/swagger
github
similar
CodaFi/Agda-Metaprogramming
github
similar
Lysxia/system-F
github
similar
DanBurton/system-f
github
similar
JPMoresmau/HGraphStorage
github
similar
kthielen/stlcc
github
similar
jespercockx/popl19-tutorial
github
similar
ifesdjeen/haskell-ffi-tutorial
github
similar
ioanluca/real-world-idris
github
similar
gfngfn/toy-macro-ml
github
similar
mfp/oraft
github
similar
wilbowma/dissertation
github
similar
rodrigogribeiro/agda-software-foundations
github
similar
evertedsphere/how-to-implement-dependent-type-theory
github
similar
WhatisRT/meta-cedille
github
similar
dbp/howtoproveacompiler
github
similar
wenkokke/AutoInAgda
github
similar
bydriv/mhc
github
similar
leon-vv/Todo
github
similar
xandkar/beam-internals
github
similar
JacquesCarette/finally-tagless
github
similar
andgate/type-theory-compiler
github
similar
etnt/Haskerl
github
similar
chrisdone/descriptive
github
similar
erikd/haskell-big-integer-experiment
github
similar
hargettp/courier
github
similar
foreverbell/verified
github
similar
dschepler/coq-sequent-calculus
github
similar
antonlogvinenko/javelin
github
similar
garrigue/certint
github
similar
soenkehahn/getopt-generics
github
similar