bef0 Goto Github PK

agda-ocaml

OCaml backend for Agda

ajhc

A fork of jhc. And also a Haskell compiler.

atom-nix

Nix syntax highlighting for Atom

attoparsec

A fast Haskell library for parsing ByteStrings

barrier

Open-source KVM software

bricks

Bricks is a lazy functional language based on Nix.

bullet

Haskell binding for Bullet physics engine

cassava

A CSV parsing and encoding library optimized for ease of use and high performance

cpdt

Certified Programming with Dependent Types - examples, learning material.

cpplinuxserial

Serial port library written in C++.

cpptools

datafrog

A lightweight Datalog engine in Rust

datafun

Research on integrating datalog & lambda calculus via monotonicity types

datalog

A pure Haskell implementation of Datalog

deanie

An embedded probabilistic programming language.

demoscene

Demoscene: Lambda Team

dhall-nix

This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix

differential-datalog

An in-memory incremental Datalog engine based on Differential Dataflow

direnv

unclutter your .profile

doom

DOOM Open Source Release

doom-3

Doom 3 GPL source release

doom-3-bfg

Doom 3 BFG Edition

edison

Edison: A Library of Efficient Data Structures

egl_example

Creating an EGL + OpenGL context using glad, dynamically loading the libraries, for headless rendering in the cloud (for example using Ubuntu 16.04 without X11)

eta-hackage

A set of patches to make Hackage compatible with the Eta language.

flrc

Haskell Research Compiler

flrc-lib

Pillar compiler, Pillar runtime, garbage collector.

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

ghc-artefact-nix

Create environments with GHC HEAD artefacts

gpipe-quake3

Quake 3 map viewer in Haskell using GPipe