beastaugh / hatt

Related projects: ⓘ

• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆38Updated 6 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆22Updated 4 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated this week
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated 10 months ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 9 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 8 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆20Updated last year
• rootmos / silly-joy
  Interpreter for Joy in Haskell using extensible-effects
  ☆34Updated 7 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 8 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 5 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 14 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 8 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆47Updated 4 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆34Updated 2 months ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• VictorTaelin / parallel_lambda_computer_tests
  learning cuda
  ☆19Updated 8 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 4 years ago