Alternatives and similar repositories for planechase

Users that are interested in planechase are comparing it to the libraries listed below

• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• cssh-rwth / autograde
  Test jupyter notebooks in an isolated environment
  ☆11Updated 2 years ago
• MarcdeFalco / MarcdeFalco.github.io
  ☆1Updated 2 years ago
• JournalMLR / jmlr-style-file
  LaTeX style file for the Journal of Machine Learning Research
  ☆9Updated 5 years ago
• ardaegeunlu / X-armed-Bandits
  Implementation of the X-armed Bandits algorithm, as detailed in the paper, "X-armed Bandits", Bubeck et al., 2011.
  ☆9Updated 7 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• jilljenn / business-card
  A business card in LaTeX
  ☆29Updated 8 years ago
• prekageo / optistate
  ☆19Updated 13 years ago
• ryansb / bookmarkd
  Markdown -> IPython conversion tool
  ☆15Updated 10 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• thoppe / python-hyperoperators
  Python library for representing really, really, ridiculously large numbers.
  ☆66Updated last year
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• mtrazzi / gym-alttp-gridworld
  A gym environment for Stuart Armstrong's model of a treacherous turn.
  ☆18Updated 6 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• enthought / sat-solver
  Default Repo description from terraform module
  ☆3Updated 3 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• kedlaya / math157
  ☆42Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• a-nikolaev / study-in-scarlet
  A simple Unix-friendly toolkit for plagiarism detection.
  ☆19Updated 5 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆27Updated 10 years ago
• tisimst / adipy
  Automatic Differentiation for Python
  ☆11Updated 7 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 7 years ago
• posterior / loom
  A streaming cross-cat inference engine
  ☆20Updated last year
• E2Music / pyTabs
  A Domain-Specific Language (DSL) for simplified music notation.
  ☆19Updated 10 years ago
• glassus / nsi
  Cours de NSI - Lycée François Mauriac - Bordeaux
  ☆34Updated 3 years ago
• diana-hep / femtocode
  Quick manipulation of structured data for data analysis.
  ☆25Updated 7 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago