bcrowell / inf
☆10Updated this week
Related projects: ⓘ
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆16Updated last year
- sorear's Metamath system engine☆13Updated 8 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 2 weeks ago
- Awesome Geometric Algebra☆23Updated 4 years ago
- Intuitionistic Programming Language☆11Updated 10 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 8 months ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- Like `which`, for dynamic libraries☆35Updated 6 months ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆14Updated last month
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- knot theory and computational algebra software☆33Updated 10 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- Julia interface to GAlgebra via PyCall☆14Updated this week
- LODA Programs for Integer Sequences☆28Updated this week
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆12Updated 4 months ago
- The Déjà Vu programming language☆15Updated 10 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- ☆34Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- My MSc thesis: a grammar induction system☆14Updated 8 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- An OpenMath 2.0 implementation in Python☆15Updated 4 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated 11 months ago