Similar repositories to jsarracino/spyder:

• jsarracino/spyder github similar
• tmcdonell/gloss-raster-accelerate github similar
• kosmikus/type-inference-regensburg github similar
• jsarracino/hasgll github similar
• glguy/operations github similar
• pkamenarsky/ytools github similar
• nomeata/ghc-core-smallstep github similar
• ekmett/linear-accelerate github similar
• ekmett/codebruijn github similar
• gelisam/commutative github similar
• benjaminselfridge/propcheck github similar
• ku-fpg/natural-transformation github similar
• andreasabel/java-adt github similar
• pcminer-tools/pcminer github similar
• lamdu/lamdu-calculus github similar
• sacundim/free-operational github similar
• RyanGlScott/eliminators github similar
• ollef/Generate-C github similar
• cdparks/mini-core github similar
• IagoAbal/haskell-z3 github similar
• nikivazou/theorem-proving-template github similar
• Lysxia/metamorph github similar
• jtobin/deanie github similar
• soupi/chip-8 github similar
• tlringer/plugin-tutorial github similar
• philzook58/egglog github similar
• aherrmann/simply_llvm github similar
• lotz84/double-pendulum-simulation github similar
• verse-lab/ego github similar
• jsiek/abstract-binding-trees github similar
• ucsd-progsys/mist github similar
• wilbowma/mttex github similar
• llvm-hs/llvm-hs-typed github similar
• nh2/link-with-lld-example github similar
• ollef/braces-be-gone github similar
• alanz/machines-play github similar
• GaloisInc/saw-core github similar
• obsidiansystems/dependent-sum github similar
• hedgehogqa/haskell-hedgehog-classes github similar
• ekmett/ersatz github similar