Similar repositories to newca12/scala-atp:

• newca12/scala-atp github similar
• xdotai/play-json-extensions github similar
• firefoxmmx2/Android_MusicPlayer github similar
• domchristie/turndown github similar
• ReactTraining/react-router github similar
• danistefanovic/build-your-own-x github similar
• newca12/ocaml-atp github similar
• rolfmorel/popper github similar
• nowi/DIRE github similar
• warthog-logic/warthog github similar
• kjellwinblad/sconsolver github similar
• lvilnis/MachineLearningExperiments github similar
• tyler-utah/PBDD github similar
• logpy/strategies github similar
• hexhex/hexlite github similar
• gureckis/nyu_lab_in_cognition github similar
• facebookresearch/productive_concept_learning github similar
• bootstrap-tagsinput/bootstrap-tagsinput github similar
• cyberthinkers/typescript-to-scala-js-facade github similar
• knowitall/srlie github similar
• liffiton/PyMiniSolvers github similar
• greenpau/Machine-Learning-and-Artificial-Intelligence github similar
• trishullab/houdini github similar
• marcuspocus/play-camel github similar
• cb372/scala-ascii-art github similar
• lucasem/program-induction github similar
• ZhengyaoJiang/GradientInduction github similar
• knowitall/chunkedextractor github similar
• lonsing/depqbf github similar
• SyGuS-Org/benchmarks github similar
• sonoisa/Prolog-in-Scala github similar
• Sciss/SoundProcesses github similar
• cvogt/slick-presentation github similar
• prova/prova github similar
• Sciss/Strugatzki github similar
• wannesm/PySDD github similar
• deepmind/dm_fast_mapping github similar
• epfl-lara/ScalaZ3 github similar
• scalagwt/scalagwt-scala github similar
• kevinhendricks/ePub3-itizer github similar