ACM-UCI / Fall-2015-Practice

Related projects ⓘ

Alternatives and complementary repositories for Fall-2015-Practice

• tolusalako / ConnectK
  ConnectK is a project offered to upper-div CS students in an Intro to AI course at UCI
  ☆13Updated 7 years ago
• DanburyAI / SG_DLB_2017
  Repo for our deep learning book study group launched in October 2017.
  ☆9Updated 6 years ago
• DUCSS / ducss-site
  New DUCSS website
  ☆7Updated last year
• UCLA-StarAI / LearnPSDD
  ☆15Updated 5 years ago
• UCLA-StarAI / LogisticCircuit
  Logistic Circuits
  ☆35Updated 5 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 6 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆24Updated last year
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆77Updated last month
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated last year
• cranmer / active_sciencing
  active learning + reusable workflows + likelihood free inference
  ☆59Updated 7 years ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆104Updated 5 months ago
• ixchow / freiscale
  Freiscale Semicomposer -- music composition without scales
  ☆10Updated last year
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆78Updated last month
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 5 months ago
• Tractables / Dice.jl
  ☆17Updated this week
• sipb / homeworld
  Cluster management system for the SIPB Hyades project
  ☆21Updated 2 years ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆30Updated 2 weeks ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆73Updated last year
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆130Updated 2 months ago
• ankeshanand / neural-cryptography-tensorflow
  Neural Networks that invent their own encryption
  ☆194Updated 5 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated last year
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last month
• JeffBezanson / phdthesis
  phd thesis document source
  ☆162Updated 8 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆43Updated last week
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆19Updated last year
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆66Updated 5 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆86Updated 5 years ago