Alternatives and similar repositories for NUwave-Linux

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

• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆358Updated last month
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆382Updated 7 months ago
• michaelballantyne / ee-lib
  ☆12Updated last year
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• stuhlmueller / scheme-listings
  Scheme syntax highlighting for the LaTeX listings package.
  ☆22Updated 5 years ago
• idris-hackers / idris-mode
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆270Updated last month
• ralsei / bingus
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Updated last year
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆372Updated 3 months ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆361Updated 7 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• samth / disassemble
  Disassembler for Racket
  ☆79Updated 3 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆455Updated 6 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆387Updated 9 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆539Updated 3 weeks ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆56Updated 5 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 months ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆274Updated 3 weeks ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• florence / cover
  a code coverage tool for racket
  ☆39Updated last year
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆308Updated last year
• knupfer / haskell-emacs
  Write Emacs extensions in Haskell
  ☆385Updated last year