Similar repositories to jan-christiansen/Language-based-Security:
jan-christiansen/Language-based-Security
github
similar
beje8442/haskellToCoqCompiler
github
similar
Lysxia/coq-recursion-schemes
github
similar
finnteegen/pflp
github
similar
fwcd/project-lighthouse-haskell
github
similar
fwcd/swift-prolog
github
similar
fwcd/llcurry
github
similar
holmuk/coq-zipper
github
similar
Ptival/HaysTac
github
similar
cau-placc/ghc-language-plugin
github
similar
aaronvargo/naperian
github
similar
ssomayyajula/elab
github
similar
andreasabel/shift-reset-dsl
github
similar
UU-ComputerScience/uu-cco
github
similar
KolodeznyDiver/THEff
github
similar
jespercockx/ttac
github
similar
Fermat/dependent-fold
github
similar
paf31/purescript-lens-simple
github
similar
viercc/matchable
github
similar
wouter-swierstra/predicate-transformers
github
similar
pa-ba/alacarte-idris
github
similar
lukeg101/MScProjectPublic
github
similar
jashug/FormalizedCompilerAlgorithms
github
similar
nikivazou/proof-combinators
github
similar
phadej/lens-laws
github
similar
DmxLarchey/ite-normalisation
github
similar
ankitku/TAL0
github
similar
hsfl-pltp/fp-companies-sh-hh
github
similar
jules-hedges/open-games
github
similar
philzook58/lens-algebra
github
similar
sebfisch/explicit-sharing
github
similar
tchajed/coq-tactical
github
similar
nikivazou/EquationalReasoningInLiquidHaskell
github
similar
uwplse/magic
github
similar
mathandley/Unie
github
similar
taktoa/wasm-agda
github
similar
gdijkstra/hs-to-gallina
github
similar
ichistmeinname/free-proving
github
similar
rodrigogribeiro/unification
github
similar
jkoppel/thermometer-continuations
github
similar