Alternatives and similar repositories for Fall-2015-Practice:

Users that are interested in Fall-2015-Practice are comparing it to the libraries listed below

• tolusalako / ConnectK
  ConnectK is a project offered to upper-div CS students in an Intro to AI course at UCI
  ☆13Updated 8 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆67Updated 7 years ago
• arxitics / arxiv-analytics
  A web portal that offers more features and a better user interface for reading eprints
  ☆24Updated 8 years ago
• lotten / uci-thesis-latex
  LaTeX template for thesis and dissertation documents at UC Irvine
  ☆75Updated 2 years ago
• locuslab / mixing
  The Mixing method: coordinate descent for low-rank semidefinite programming
  ☆15Updated 3 years ago
• jeanqasaur / research-group-resources
  Resources for people running research groups.
  ☆206Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆74Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• dbtsai / libDAI
  A free and open source C++ library for Discrete Approximate Inference in graphical models
  ☆52Updated 12 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated 2 weeks ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 8 years ago
• PrincetonLIPS / randomized_telescopes
  Code for "Efficient optimization of loops and limits with randomized telescoping sums"
  ☆27Updated 5 years ago
• gbluma / latex-boilerplate
  The starting point for all my LaTeX documents.
  ☆37Updated 10 years ago
• ajtulloch / CambridgeMathematicsPartIII
  ☆62Updated 10 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆63Updated 8 months ago
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 4 years ago
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• japacible / Hackathon-Calendar
  Not currently being maintained.
  ☆367Updated 6 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆29Updated 9 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 7 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago