shachaf / mustardwatch

Related projects ⓘ

Alternatives and complementary repositories for mustardwatch

• 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
• VictorTaelin / absal-ex
  Absal ex
  ☆55Updated last year
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆36Updated 4 years ago
• junjihashimoto / sixel
  ☆53Updated 3 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆31Updated 4 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 3 months ago
• VictorTaelin / absal-rs
  ☆36Updated 6 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• danr / kakoune-ghci-bridge
  Get intellisense for Haskell in Kakoune via ghci
  ☆14Updated 6 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 3 months ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆50Updated 4 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• glguy / advent2018
  Advent of Code 2018 Solutions
  ☆37Updated 5 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆24Updated 3 years ago
• yav / pretty-show
  Tools for working with derived Show instances in Haskell.
  ☆57Updated last year
• ekmett / codex
  UI experiments for coda
  ☆65Updated 3 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆23Updated 6 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 3 years ago