csabahruska

proteaaudio

Simple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing.

bullet

Haskell binding for Bullet physics engine

manual-stg-experiment

Manually constructed STG programs compiled with the standard GHC codegen backend.

p4f-control-flow-analysis

Haskell implementation of P4F Control-Flow Analysis

demoscene

Demoscene: Lambda Team

dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

game-logic-experiment

experiment with game logic representation in haskell

grin-datalog-hpt-experiment

Experiment to model GRIN in Souffle/Datalog with Heap Points-To Analysis

unzip-arch-zstd

unzip 6.0 with Arch Linux patches and Zstd support by csabahruska

unzip-zstd

Info-ZIP unzip utility with zstd compression method support

csabahruska.com

flrc-lib

Pillar compiler, Pillar runtime, garbage collector.

ghc-rts-data-layout-experiment

peridot

A fast functional language based on two level type theory

andersengpu

Automatically exported from code.google.com/p/andersengpu

Elsa

Emacs Lisp Static Analyzer

final-pretty-printer

A monadic (and pretty) pretty printer for Haskell

gephi

Gephi - The Open Graph Viz Platform

ghc-bug-sample

GHC Quickest flavour bug

Idris2

A purely functional programming language with first class types

IdrisExtSTGCodegen

lambdachine

VM and tracing JIT for Haskell (work in progress)

lang-experiments

language-c

Source repository for https://hackage.haskell.org/package/language-c

llvm-hs

Haskell bindings for LLVM

simple-grin

Compiler from a simple functional language to GRIN.

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

souffle-haskell

Haskell bindings for the Souffle datalog language

souffle-lang.github.io

Soufflé

zip

Efficient library for manipulating zip archives