gabriel-weaver / xutoolsLinks
eXtended UNIX text-processing tools
☆44Updated 10 years ago
Alternatives and similar repositories for xutools
Users that are interested in xutools are comparing it to the libraries listed below
Sorting:
- World's dumbest fuzzer☆53Updated 2 years ago
- The formal proof of the Odd Order Theorem☆37Updated 3 months ago
- Python term rewriting☆30Updated 12 years ago
- Robots powered by Constructive Reals☆34Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 11 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 10 months ago
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- ☆34Updated 2 weeks ago
- A thicker variant of Latin Modern Roman☆15Updated 8 months ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- Types for Python☆87Updated 7 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆44Updated last month
- [toy] A rewriting language similar to the core of Mathematica☆53Updated 3 years ago
- Jupyter kernels for GAP☆12Updated 8 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Coq Support for Visual Studio Code☆92Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- An automatic theorem prover for first order logic with equality☆32Updated 5 years ago
- Literate coq blog posts☆17Updated 10 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- The Mechanization of Standard ML☆75Updated 3 years ago
- Beautiful, interactive visualizations of logical inference☆151Updated 4 years ago
- Software specification and verification system based on graph rewriting☆37Updated 3 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- Object Algebra Composition☆24Updated 12 years ago
- ☆59Updated 12 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago