Alternatives and similar repositories for mustardwatch:

Users that are interested in mustardwatch are comparing it to the libraries listed below

• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 7 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 4 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• junjihashimoto / sixel
  ☆53Updated 4 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 2 months ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 9 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 3 months ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• xran-deex / ats-http
  An epoll-based HTTP library for ATS2
  ☆14Updated 2 years ago
• dhall-lang / dhall-nethack
  Generate NetHack configurations using Dhall
  ☆36Updated 3 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• dhallix / nix-derivation
  ☆30Updated 4 years ago