eylonyogev / Where-s-That-Paper-Links
A Chrome extension that automatically adds viewed academic papers to your favorites.
☆17Updated 7 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:
- ☆16Updated last year
- VATA Tree Automata Library☆33Updated last year
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated last week
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 2 weeks ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated last month
- Kodkod solver for relational logic☆79Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated last month
- M4GB: Efficient Groebner Basis algorithm☆59Updated 6 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Compact Data Structures Library☆128Updated 11 years ago
- C library to compute the Hamming weight of arrays☆49Updated 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 5 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- The formal proof of the Kepler conjecture☆163Updated last year
- Classification of combinatorial objects☆18Updated last week
- Experiments with Universal Composability in EasyCrypt☆39Updated this week
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Updated 2 years ago
- ☆22Updated 11 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- ☆153Updated 2 weeks ago
- ☆41Updated 6 years ago