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
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 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
  ☆356Updated 3 weeks ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• CestDiego / sweetgreen.el
  Get your salad from https://order.sweetgreen.com directly from Emacs
  ☆105Updated 7 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆524Updated 3 weeks ago
• mflatt / expander
  ☆71Updated 4 months ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆269Updated 2 months ago
• AnnieZhou08 / DrawRacket4Me
  DrawRacket4Me draws trees and graphs from your code, making it easier to check if the structure is what you wanted.
  ☆43Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆124Updated 5 years ago
• michaelballantyne / ee-lib
  ☆12Updated last year
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆77Updated 5 years ago
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆451Updated 6 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…
  ☆181Updated 7 years ago
• the-little-prover / j-bob
  ☆432Updated last year
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 6 years ago
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆383Updated last year
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆134Updated 3 weeks ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆378Updated 4 months ago
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 5 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆359Updated 7 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• stchang / pasterack
  The Racket pastebin.
  ☆30Updated 3 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago