nionita / Barbarossa

Related projects: ⓘ

• mlang / chessIO
  Fast haskell chess move generator library and console UCI frontend
  ☆31Updated last year
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆70Updated 3 years ago
• nandor / hcraft
  Haskell clone of a certain game
  ☆95Updated 10 years ago
• samtay / conway
  A terminal interface for Conway's Game of Life
  ☆61Updated 4 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 8 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆61Updated 9 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆80Updated 2 years ago
• da-x / happy-alex-example
  Example of combining Alex (lexical parser) and Happy (syntax parser)
  ☆32Updated 3 weeks ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆111Updated 3 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆90Updated 6 years ago
• OlivierNicole / haskell-chess
  A very simple chess engine written in Haskell (work in progress).
  ☆19Updated 6 years ago
• bezirg / hlogo
  A Parallel NetLogo variant in Haskell
  ☆7Updated 4 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆128Updated 10 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆140Updated 3 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆105Updated last week
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆34Updated 9 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated last year
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆88Updated 3 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆83Updated 3 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆93Updated 7 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 5 years ago
• cedille / ial
  The Iowa Agda Library
  ☆46Updated 3 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 3 months ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆22Updated 4 years ago