clsn / ries
Robert Munafo's reverse equation solver
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ries
- ☆19Updated 7 years ago
- ☆18Updated 6 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- A library for disassembling x86-64 binaries.☆37Updated 9 months ago
- Deposited packages of the homalg project☆12Updated last month
- A library for binary analysis and rewriting☆47Updated last year
- Parser for the llvm bitcode format☆60Updated 2 months ago
- Turn an interpreter into a code generator☆29Updated 9 years 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…☆21Updated 4 months ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Java implementations of sequences in the OEIS☆51Updated this week
- Julia Implementation of Unums☆42Updated 7 years ago
- Stratified synthesis for learning machine code instruction semantics☆35Updated 3 months ago
- knot theory and computational algebra software☆34Updated 10 years ago
- Homebrew tap for GAP☆14Updated 5 months ago
- Generation of mutant programs☆21Updated 6 years ago
- Successor to PolyBoRi☆17Updated last year
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆15Updated 2 months ago
- Pawns declarative/imperative programming language☆9Updated this week
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 4 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Python implementation of the monster group☆38Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- An encyclopedia of proofs☆57Updated this week
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year