Alternatives and similar repositories for NUwave-Linux

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

• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 3 months ago
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 9 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆540Updated 3 weeks ago
• racket / redex
  ☆98Updated 2 weeks ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• stedolan / malfunction
  Malfunctional Programming
  ☆350Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆459Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• stedolan / bf.sed
  A brainfuck compiler, written in sed
  ☆158Updated 14 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆182Updated 7 years ago
• bennn / with-cache
  Simple, filesystem-based caching for Racket
  ☆17Updated 3 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆273Updated last week
• ocaml / tuareg
  Emacs OCaml mode
  ☆385Updated 3 months ago
• mflatt / expander
  ☆75Updated 9 months ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆79Updated 6 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
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 2 months ago
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆388Updated last year
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 3 years ago
• tulip-lang / tulip
  ☆211Updated 7 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆65Updated 7 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 6 years ago
• cgswords / texsem
  A template set for writing semantics in LaTeX
  ☆12Updated 10 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆92Updated 5 months ago