jakobmoosbauer / flips
☆9Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for flips
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Python bindings for the egg-smol rust library☆64Updated this week
- Python bindings for egg☆47Updated last year
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated 2 weeks ago
- Library for Polynomial System Solving through Algebraic Methods☆95Updated last month
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Operations with matrices, SWI pack☆12Updated 11 months ago
- A Tensor Language☆55Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆79Updated 11 months ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆83Updated last month
- ☆22Updated last year
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆13Updated last week
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆13Updated last week
- embedding MLIR in LEAN☆47Updated 4 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 11 months ago
- Interval arithmetic for real computation☆21Updated this week
- Source of metamath book☆45Updated 10 months ago
- Literate Programming in C/C++☆28Updated last month
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆16Updated 3 years ago
- Python implementation of the monster group☆38Updated 2 weeks ago
- Custom-Precision Floating-point numbers.☆29Updated 5 months ago
- ☆11Updated 3 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- 🚀 Sum of the primes below x☆36Updated 2 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆55Updated 3 weeks ago
- Metamath program - source code for the Metamath executable☆79Updated 3 months ago