Alternatives and similar repositories for NUwave-Linux

Users that are interested in NUwave-Linux are comparing it to the libraries listed below

• wilbowma / cur
  A less devious proof assistant
  ☆225Updated 2 years ago
• vishesh / whalebin
  Web application to share Whalesong programs
  ☆9Updated 8 years ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆357Updated this week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 years ago
• stuhlmueller / scheme-listings
  Scheme syntax highlighting for the LaTeX listings package.
  ☆22Updated 4 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 3 weeks ago
• CestDiego / sweetgreen.el
  Get your salad from https://order.sweetgreen.com directly from Emacs
  ☆105Updated 7 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆528Updated 3 weeks ago
• blitzcode / neskell
  A Haskell 6502 Emulator
  ☆69Updated 9 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• stchang / pasterack
  The Racket pastebin.
  ☆30Updated 3 years ago
• ocaml / tuareg
  Emacs OCaml mode
  ☆376Updated 5 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆400Updated this week
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 3 years ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated last month
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆65Updated 6 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• mflatt / expander
  ☆71Updated 5 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆179Updated 5 years ago
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆370Updated 2 months ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 5 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆269Updated 3 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆377Updated 7 months ago