Similar repositories to runtimeverification/plutus-core-semantics:
runtimeverification/plutus-core-semantics
github
similar
kframework/plutus-core-semantics
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
aquynh/capstone
github
similar
pixijs/pixi.js
github
similar
tweag/plutus-libs
github
similar
danburkert/prost
github
similar
danistefanovic/build-your-own-x
github
similar
Eloston/ungoogled-chromium
github
similar
meilisearch/MeiliSearch
github
similar
well-typed/plutonomy
github
similar
bgavran/DependentOpticsIdris2
github
similar
judah/terminfo
github
similar
HachiSecurity/plc-llvm
github
similar
input-output-hk/cardano-sl-explorer
github
similar
RobertHarper/hott-notes
github
similar
nikita-volkov/focus
github
similar
nikita-volkov/hasql-pool
github
similar
srid/haskell-flake
github
similar
jonsterling/twelf-itt
github
similar
yforster/coq-synthetic-computability
github
similar
trufflesuite/ganache-cli
github
similar
tootsuite/mastodon
github
similar
postalhq/postal
github
similar
ChrisPenner/purescript-flow
github
similar
Eugeny/terminus
github
similar
tonymorris/trees-that-grow
github
similar
nonbili/purescript-markdown-it-halogen
github
similar
ubuntu/microk8s
github
similar
juxt/crux
github
similar
k6io/k6
github
similar
myuon/quartz
github
similar
tuvtran/project-based-learning
github
similar
tweag/awesome-learning-haskell
github
similar
tweag/servant-template
github
similar
swiftwasm/uwasi
github
similar
tweag/timestats
github
similar
parsonsmatt/hedgehog-fakedata
github
similar
thradams/cake
github
similar