eylonyogev / Where-s-That-Paper-
A Chrome extension that automatically adds viewed academic papers to your favorites.
☆16Updated 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
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆59Updated 2 months ago
- VATA Tree Automata Library☆32Updated 8 months ago
- A standard for floating point accuracy benchmarks☆49Updated last month
- 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
- LinBox - C++ library for exact, high-performance linear algebra☆86Updated 2 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 5 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- ☆16Updated 10 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- ☆34Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- C library to compute the Hamming weight of arrays☆45Updated 6 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Python term rewriting☆29Updated 12 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- ☆52Updated last month