eylonyogev / Where-s-That-Paper-Links
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
Sorting:
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 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☆75Updated 7 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆61Updated 3 months ago
- Lattice Sieve Algorithm using ListDecoding-based Locality Sensitive Filters☆7Updated 9 years ago
- Simple implementation of CoveringLSH☆10Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 2 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- VATA Tree Automata Library☆32Updated 9 months ago
- FOundation of stXXl and thriLL☆14Updated last year
- 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
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Successor to PolyBoRi☆19Updated 2 weeks ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- Proof assistant for qRHL☆21Updated last month
- Automated Theorem Prover for Automatic Words☆21Updated 4 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Lower Size Bounds for Sorting Networks☆45Updated 4 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆16Updated 2 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 weeks ago
- Compact Data Structures Library☆126Updated 10 years ago