Similar repositories to ethancjackson/SparseNALG-0.1:
ethancjackson/SparseNALG-0.1
github
similar
epfl-lara/silex
github
similar
uuverifiers/ostrich
github
similar
dc-mak/NumLin
github
similar
pis147879/PELCR
github
similar
ecavallo/ptt
github
similar
ilya-klyuchnikov/mrsc
github
similar
owo-lang/intellij-dtlc
github
similar
apache/commons-rng
github
similar
JacquesCarette/finally-tagless
github
similar
astojanov/NGen
github
similar
AndyShiue/pts
github
similar
epfl-lara/scallion
github
similar
TiarkRompf/lms-clean
github
similar
dlicata335/cart-cube
github
similar
djspiewak/derivative-combinators
github
similar
PoslavskySV/rings
github
similar
emina/kodkod
github
similar
idris-hackers/idris-llvm
github
similar
liaopeiyuan/zeta
github
similar
lucastheisen/jsch-nio
github
similar
mit-plv/koika
github
similar
AndrasKovacs/staged
github
similar
norswap/autumn
github
similar
ilya-klyuchnikov/lambdapi
github
similar
prismmodelchecker/prism
github
similar
ilya-klyuchnikov/ttlite
github
similar
stan-dev/stanc3
github
similar
TyGuS/suslik
github
similar
Storyyeller/cubiml-demo
github
similar
TiarkRompf/lancet
github
similar
gluonhq/client-samples
github
similar
HarvardPL/formulog
github
similar
gliwka/hyperscan-java
github
similar
openai/miniF2F
github
similar
atsky/haskell-idea-plugin
github
similar
math-comp/analysis
github
similar
ekmett/propagators
github
similar
ZigaSajovic/dCpp
github
similar
bollu/tiny-optimising-compiler
github
similar