rybla
Follow
Lists (2)
Starred repositories
11
results
for forked starred repositories
Clear filter
jespercockx / agda2hs
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
plum-umd / soft-contract
Forked from philnguyen/soft-contractA prototype of soft contract verification for an untyped functional language
bitcoin-hivemind / hivemind
Forked from truthcoin/truthcoin-cppKnowledge Revolution
SkySkimmer / coq
Forked from coq/coqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
Repository to host tools that comply with the ALife community data standards.
jennalwise / ebola
Forked from cmrivers/ebolaData for the 2014 ebola outbeak in West Africa
rShetty / engineering-blogs
Forked from erwanor/engineering-blogsA curated list of engineering blogs
A collection of interesting new networks and tech aiming at decentralisation (in some form).
