ehud / MIU

Related projects ⓘ

Alternatives and complementary repositories for MIU

• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated 11 months ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆101Updated 8 months ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆75Updated 4 months ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆93Updated 2 weeks ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆67Updated 14 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆158Updated 5 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆99Updated 8 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆85Updated 6 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 2 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆80Updated 8 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 8 months ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆40Updated 11 months ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 5 years ago
• Poincare / DCFL
  Communication Free Learning (i.e. constraint solving) implementation in Haskell
  ☆18Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆32Updated 6 years ago