Alternatives and similar repositories for proof-pad-classic:

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

• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆99Updated 11 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• racket / swindle
  ☆11Updated 2 months ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• jeapostrophe / c
  #lang for writing C code
  ☆15Updated 7 years ago
• soegaard / racket-poppler
  Racket bindings for Poppler (library for reading and generating pdfs)
  ☆24Updated 11 months ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• arcfide / ChezWEB
  Hygienic Literate Programming for Chez Scheme
  ☆46Updated 7 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 2 years ago
• racket / slideshow
  ☆36Updated 2 weeks ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆23Updated 3 years ago
• mflatt / not-a-box
  ☆58Updated 8 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 10 years ago
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 2 years ago
• vseloved / cl-parsec
  Parser combinators in Common Lisp
  ☆23Updated 15 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• jeapostrophe / racket-cheat
  racket-cheat - a cheat sheet for Racket
  ☆36Updated 2 months ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆48Updated 8 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 12 years ago
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆17Updated 8 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆48Updated 2 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated last week