414owen / phage

Related projects: ⓘ

• TOTBWF / iso
  A reversible language
  ☆23Updated 5 years ago
• isovector / nimic
  a language about nothing
  ☆19Updated 5 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• Gertjan423 / KHC
  KU Leuven Haskell Compiler
  ☆16Updated 3 years ago
• ChrisPenner / conway
  Conway's game of life in 100 lines or less!
  ☆34Updated 7 years ago
• exercism / idris
  Exercism exercises in Idris.
  ☆31Updated 2 weeks ago
• haskell-to-elm / servant-to-elm
  Generate Elm client libraries from Servant API definitions.
  ☆29Updated last year
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago
• rootmos / silly-joy
  Interpreter for Joy in Haskell using extensible-effects
  ☆34Updated 7 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 3 weeks ago
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆39Updated last month
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆41Updated 7 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• SamuelSchlesinger / commander-cli
  A simple library I wrote to allow me to quickly and easily construct command line interfaces.
  ☆29Updated last year
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆66Updated 4 years ago
• jhrcek / graph-editor
  Simple editor for creating graphs implemented purely in Elm.
  ☆35Updated 2 years ago
• jxxcarlson / minilatex
  parse MiniLaTeX source text and render it into HTML
  ☆56Updated 6 years ago
• sordina / churros
  simple chan based stream programming with arrow interface (Chan + Arrow = Churro)
  ☆32Updated last year
• pbv / haskelite
  Re-implementation of a minimal interpreter for a subset of Haskell
  ☆27Updated this week
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 2 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆48Updated 4 years ago
• conal / agda-generic-parallel
  ☆13Updated this week
• kcsongor / symbols
  Symbol manipulation
  ☆35Updated last year
• smichal / hs-logic
  A simple library for Haskell that allows relational programming.
  ☆47Updated 12 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆24Updated 4 years ago
• haskell-perf / graphs
  ☆39Updated 4 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago