eylonyogev / Where-s-That-Paper-Links
A Chrome extension that automatically adds viewed academic papers to your favorites.
☆17Updated 6 years ago
Alternatives and similar repositories for Where-s-That-Paper-
Users that are interested in Where-s-That-Paper- are comparing it to the libraries listed below
Sorting:
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 9 months ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- Let's translate works of Grothendieck☆26Updated 5 years ago
- Exact Inference Engine for Probabilistic Programs☆133Updated 4 months ago
- Successor to PolyBoRi☆20Updated last month
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 5 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆82Updated 2 weeks ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆33Updated 8 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- The formal proof of the Kepler conjecture☆157Updated last year
- ☆16Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- The collection synthesizer☆211Updated 4 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 8 months ago
- ☆146Updated this week
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆157Updated last week
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- ☆40Updated 6 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 2 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago