Similar repositories to kframework/plutus-core-semantics:
runtimeverification/plutus-core-semantics
github
similar
kframework/plutus-core-semantics
github
similar
gibiansky/IHaskell
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
aquynh/capstone
github
similar
hecrj/iced
github
similar
oven-sh/bun
github
similar
roc-lang/roc
github
similar
pixijs/pixi.js
github
similar
tweag/plutus-libs
github
similar
well-typed/plutonomy
github
similar
danburkert/prost
github
similar
bgavran/DependentOpticsIdris2
github
similar
judah/terminfo
github
similar
input-output-hk/cardano-sl-explorer
github
similar
nikita-volkov/focus
github
similar
RobertHarper/hott-notes
github
similar
srid/haskell-flake
github
similar
jonsterling/twelf-itt
github
similar
yforster/coq-synthetic-computability
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
ChrisPenner/purescript-flow
github
similar
danistefanovic/build-your-own-x
github
similar
Eugeny/terminus
github
similar
tonymorris/trees-that-grow
github
similar
nonbili/purescript-markdown-it-halogen
github
similar
Eloston/ungoogled-chromium
github
similar
meilisearch/MeiliSearch
github
similar
tweag/awesome-learning-haskell
github
similar
tweag/servant-template
github
similar
tweag/timestats
github
similar
thradams/cake
github
similar
charliermarsh/ruff
github
similar
Icelandjack/blockchain
github
similar
sorki/Haskell-Blockfrost-API
github
similar
tonyday567/formatn
github
similar
input-output-hk/hackage.nix
github
similar
mlabs-haskell/apropos-tx
github
similar
ak3n/abt-zoo
github
similar
cutsea110/magma
github
similar