Similar repositories to eschkufz/datalog:

• eschkufz/datalog github similar
• gibiansky/IHaskell github similar
• shaunlebron/parinfer github similar
• danistefanovic/build-your-own-x github similar
• A1kmm/cellml-testbed github similar
• tcsprojects/mlsolver github similar
• arlencox/QUICr github similar
• derekelkins/ads github similar
• tazjin/elm-yesod github similar
• spacekitteh/haskell-clifford github similar
• fpco/sift github similar
• agda/agda-web-semantic github similar
• JUrban/MPTP2 github similar
• mortberg/AlgTop github similar
• ekmett/sparse github similar
• zaxtax/hakaru-old github similar
• renzyq19/pi-calculus github similar
• avigad/polya github similar
• jstolarek/haskell-testing-stub github similar
• sofuture/encurses github similar
• willemt/heap github similar
• giorgidze/Hydra github similar
• propella/prolog github similar
• mfp/oraft github similar
• sam46/FuncMorph github similar
• halgari/reactive github similar
• iconnect/api-tools github similar
• leftaroundabout/manifolds github similar
• onyx-platform/onyx-datomic github similar
• LightTable/Paredit github similar
• ned14/uthash github similar
• Datomic/datomic-java-examples github similar
• ammkrn/nanoda github similar
• devsisters/gospdyquic github similar
• dmjio/hackernews github similar
• williamstein/ant github similar
• iblech/internal-methods github similar
• mbeidler/cation github similar
• gigasquid/markov-elear github similar
• kseo/poly_constraints github similar