eylonyogev / Where-s-That-Paper-

Related projects: ⓘ

• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆56Updated 2 weeks ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆19Updated last year
• ondrik / libvata
  VATA Tree Automata Library
  ☆31Updated last month
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• nelsonth / btoblas
  Build-to-Order BLAS
  ☆11Updated 5 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 4 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆47Updated 5 years ago
• stxxl / foxxll
  FOundation of stXXl and thriLL
  ☆14Updated 7 months ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• M-Flash / m-flash-cpp
  ☆15Updated 6 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆16Updated 3 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆14Updated 2 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆44Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• CountOnes / hamming_weight
  C library to compute the Hamming weight of arrays
  ☆44Updated 5 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 2 years ago
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆25Updated 6 years ago
• danielesgit / slingen
  Program Generator for Small-Scale Linear Algebra Applications
  ☆28Updated 6 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆53Updated 5 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 2 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆47Updated 2 years ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆14Updated 8 years ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆21Updated 3 months ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆46Updated last year
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• alex-87 / HyperGraphLib
  C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
  ☆21Updated 2 years ago