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
  ☆359Updated 5 months ago
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆18Updated 9 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆230Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆151Updated 4 years ago
• michaelballantyne / ee-lib
  ☆12Updated last year
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• CestDiego / sweetgreen.el
  Get your salad from https://order.sweetgreen.com directly from Emacs
  ☆104Updated 7 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆547Updated 2 weeks ago
• takikawa / racket-dev-goodies
  Scripts for Racket developers
  ☆25Updated 4 years ago
• mflatt / expander
  ☆78Updated 11 months ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆274Updated 2 months ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆79Updated 6 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Updated 2 months ago
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 7 months ago
• blitzcode / neskell
  A Haskell 6502 Emulator
  ☆69Updated 10 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 3 weeks ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 7 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆127Updated 5 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆282Updated 5 years ago
• AnnieZhou08 / DrawRacket4Me
  DrawRacket4Me draws trees and graphs from your code, making it easier to check if the structure is what you wanted.
  ☆42Updated 9 years ago
• racket / redex
  ☆102Updated last month
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆194Updated 7 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆363Updated 7 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated last month
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• bennn / with-cache
  Simple, filesystem-based caching for Racket
  ☆17Updated 3 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