ehud / MIU

Related projects: ⓘ

• mikeizbicki / parsed
  a haskellified version of the classic sed unix tool
  ☆21Updated 9 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆51Updated 9 months ago
• cdosborn / lit
  A modern tool for literate programming
  ☆272Updated 7 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• chrisdone / ircbrowse
  An IRC analysis server.
  ☆81Updated 6 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆35Updated 3 months ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆86Updated 6 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 6 years ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆66Updated 6 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆67Updated 14 years ago
• wyago / Mantra
  ☆17Updated this week
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆63Updated 2 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆101Updated 6 months ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 5 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 3 years ago
• afroisalreadyinu / real-world-haskell-chapter-10
  A walk-through of Real World Haskell 10th Chapter
  ☆17Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 8 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 8 years ago
• jwiegley / una
  A universal interface to multiple unarchiving tools
  ☆68Updated 11 months ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• plum-umd / adapton
  Adapton Project Homepage
  ☆16Updated 8 years ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆119Updated 9 months ago
• barrucadu / bookdb
  A database and web app to keep track of all my books
  ☆26Updated this week