eylonyogev / Where-s-That-Paper-
A Chrome extension that automatically adds viewed academic papers to your favorites.
☆16Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Where-s-That-Paper-
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- VATA Tree Automata Library☆32Updated 3 months ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- Build-to-Order BLAS☆11Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆28Updated 6 years ago
- Python term rewriting☆27Updated 11 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- ☆14Updated 4 months ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- Automated Theorem Prover for Automatic Words☆21Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- 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
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- Reference type checker for the Lean theorem prover☆13Updated 6 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆70Updated 3 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- FRP: Fast Random Projections☆43Updated 4 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- A Coq formalization of information theory and linear error-correcting codes☆64Updated last week
- ☆22Updated 10 years ago