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
- VATA Tree Automata Library☆32Updated 7 months ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆58Updated last month
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last week
- The probSAT SAT Solver☆22Updated 2 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- A compiler for BLOG probabilistic programming language☆25Updated 7 years ago
- A research platform and active library for generalised SAT solving☆33Updated this week
- C library to compute the Hamming weight of arrays☆45Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆29Updated 5 years ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- GAP package guava - computations relative to error-correcting codes☆15Updated 3 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- C++ library for semigroups and monoids☆46Updated this week
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆58Updated 10 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last month
- Layered Multiple Functional Aggregate Optimization☆18Updated 4 years ago
- FRP: Fast Random Projections☆43Updated 4 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Simple implementation of CoveringLSH☆11Updated 9 years ago