Alternatives and similar repositories for Fall-2015-Practice

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

• DanburyAI / SG_DLB_2017
  Repo for our deep learning book study group launched in October 2017.
  ☆8Updated 7 years ago
• msu-anthropology / indian-country-ss18
  This Is Indian Country - Spring 2018 Instance
  ☆12Updated 7 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• DUCSS / ducss-site
  New DUCSS website
  ☆7Updated 2 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆22Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆66Updated last year
• jeanqasaur / research-group-resources
  Resources for people running research groups.
  ☆206Updated 8 years ago
• cornell-dti / office-hours
  ☆16Updated this week
• IS3UniCologne / DSML_2020
  Code repo for course "Introduction to Data Science and Machine Learning (DSML)"
  ☆8Updated 4 years ago
• ucberkeley / Beehive
  An application for university departments to facilitate the process of matching undergraduates to research positions.
  ☆25Updated 2 years ago
• verivital / hyst
  HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
  ☆15Updated 4 years ago
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆29Updated last year
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• UTHT / pod1-software-core
  The core software that operates our pod #1. This includes controls, communications, testing suites, control panel, etc.
  ☆9Updated 2 years ago
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆30Updated 3 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• tolusalako / ConnectK
  ConnectK is a project offered to upper-div CS students in an Intro to AI course at UCI
  ☆13Updated 8 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• DavisCSClub / Handbook
  An unofficial handbook for tech and more specifically, UC Davis computer science students
  ☆11Updated 8 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• STAC-IITMandi / STAC-IITMandi.github.io
  Repository for the website of club. Hosted at https://stac.iitmandi.co.in.
  ☆13Updated 6 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• kenjyoung / Neurohex
  ☆13Updated 3 years ago
• paulfchristiano / alba
  Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf
  ☆27Updated 8 years ago
• YaleComputerSociety / website
  Website for the Yale Computer Society.
  ☆10Updated this week
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆59Updated 2 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago