Alternatives and similar repositories for NUwave-Linux:

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

• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆223Updated 2 years ago
• vishesh / whalebin
  Web application to share Whalesong programs
  ☆9Updated 8 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• CestDiego / sweetgreen.el
  Get your salad from https://order.sweetgreen.com directly from Emacs
  ☆105Updated 6 years ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆355Updated 2 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• samth / disassemble
  Disassembler for Racket
  ☆78Updated last year
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆187Updated last year
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 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
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆280Updated 4 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆269Updated 8 months ago
• mflatt / expander
  ☆68Updated 3 weeks ago
• michaelballantyne / ee-lib
  ☆12Updated 9 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• projectional-haskell / structured-haskell-mode
  Structured editing minor mode for Haskell in Emacs
  ☆545Updated 6 years ago
• clarus / falso
  A proof of false in Coq.
  ☆96Updated 5 years ago
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆146Updated 3 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated last month
• takikawa / racket-dev-goodies
  Scripts for Racket developers
  ☆24Updated 4 years ago
• racket / redex
  ☆92Updated 2 weeks ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• lwhjp / ecmascript
  ECMAScript for Racket
  ☆20Updated 3 years ago
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆48Updated 9 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆100Updated 2 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago