pthariensflame / primesieve.rs
Rust bindings to [primesieve](http://primesieve.org)
☆9Updated 7 years ago
Alternatives and similar repositories for primesieve.rs:
Users that are interested in primesieve.rs are comparing it to the libraries listed below
- An interface for using mwillsey/egg with math simplification.☆13Updated 10 months ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated 2 months ago
- A formalization of M-types in Agda☆32Updated 5 years ago
- Superposition prover☆17Updated 2 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.☆11Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Label dependent dependent session types☆16Updated 10 months ago
- Animation of Yves Lafont's Interaction Combinators☆16Updated 3 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Reference type checker for the Lean theorem prover☆61Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- A DSL for generating GR(1) problems☆11Updated 3 years ago
- A package Index for agda libraries☆12Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Matita (proof assistant) with embedded elpi☆12Updated 7 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated 2 months ago
- Archived materials related to Homotopy Type Theory.☆10Updated 12 years ago