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
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last week
- Modeling and Programming with Gecode☆45Updated 2 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 7 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- KaGen: Communication-free Massively Distributed Graph Generators☆37Updated 2 weeks ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆22Updated 3 weeks ago
- M4GB: Efficient Groebner Basis algorithm☆54Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 7 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated this week
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Lecture notes of the course Analysis On Manifolds☆20Updated last month
- Simple implementation of CoveringLSH☆11Updated 9 years ago
- VATA Tree Automata Library☆32Updated 6 months ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆28Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Automated Theorem Prover for Automatic Words☆21Updated 3 years ago
- ☆20Updated 3 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆45Updated last year
- ☆62Updated 10 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- ☆67Updated 7 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆15Updated 3 weeks ago
- Jupyter notebooks with some NAND code☆19Updated 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
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- GLUT Kleinian group visualizer☆26Updated 10 years ago
- ☆15Updated 7 months ago