nionita / Barbarossa

Related projects ⓘ

Alternatives and complementary repositories for Barbarossa

• cgoldammer / chess-database-backend
  The backend for the chess database
  ☆20Updated 2 years ago
• fbergo / zseal
  FICS timeseal v2 client implementation
  ☆19Updated 3 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆57Updated 3 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆63Updated 3 weeks ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 5 months ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆61Updated 9 years ago
• UU-ComputerScience / uhc
  ☆136Updated 3 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 5 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 2 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 3 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆129Updated last year
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 3 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• paulrzcz / hquantlib
  HQuantLib, financial math in Haskell
  ☆66Updated 10 months ago
• ekmett / algebra
  constructive abstract algebra
  ☆101Updated 4 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• aistrate / Okasaki
  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
  ☆35Updated 14 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆25Updated 5 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆110Updated last year
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• ekmett / comonad
  Haskell 98 comonads
  ☆77Updated 3 weeks ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated last month
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆76Updated 10 years ago