Alternatives and similar repositories for proof-pad:

Users that are interested in proof-pad are comparing it to the libraries listed below

• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 2 weeks ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated this week
• michaelballantyne / ee-lib
  ☆12Updated 10 months ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 5 months ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 4 months ago
• camoy / trace-contract
  ☆12Updated 2 weeks ago
• calebegg / proof-pad-classic
  An IDE for ACL2
  ☆21Updated 4 years ago
• webyrd / tree-automata
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Updated last year
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆27Updated 3 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated 2 weeks ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 6 months ago
• soegaard / pyffi
  Use Python from Racket
  ☆30Updated 8 months ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆32Updated last year
• mflatt / shrubbery-rhombus-0
  ☆15Updated 2 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆17Updated 3 weeks ago
• sweirich / lambda-calculus
  Denotational Semantics of the Untyped Lambda Calculus
  ☆16Updated 2 months ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated this week
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 4 months ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago