calebegg / proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
☆10Updated 8 months ago
Alternatives and similar repositories for proof-pad:
Users that are interested in proof-pad are comparing it to the libraries listed below
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated 2 weeks ago
- racket llvm C-API bindings☆17Updated 3 months ago
- An IDE for ACL2☆21Updated 4 years ago
- ☆12Updated 3 months ago
- ☆15Updated 2 years ago
- ☆35Updated last month
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- ☆22Updated 5 years ago
- Use Python from Racket☆30Updated 8 months ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆43Updated last week
- Analysis of Racket code base☆14Updated 4 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- software archaeology of reflective towers of interpreters☆16Updated 5 months ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated last year
- ☆19Updated last year
- Racket bindings for Z3☆24Updated 5 years ago
- XKCD 3062☆20Updated 3 weeks ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 3 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- A model of the WebAssembly language in Redex☆22Updated 4 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated this week
- Livin' like it's 1813 (or 1988).☆32Updated last year
- A Scribble library for typesetting grammars better☆15Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year