matthiasgoergens Goto Github PK

gvinhs

haskell-exercises

haskell-in-haste

A (very) short workshop designed to introduce Haskell quickly but practically

haskell-workshop-february-2012

At XenClient / Citrix

haskelling

heaviest-balanced-subsequence

herodotos

Tracking code patterns through software versions

hinotify

Haskell binding to inotify

hs-vhd

Haskell library for inspecting and manipulating virtual hard disk (VHD) files.

hypothesis

Hypothesis is an advanced Quickcheck style testing library for Python

icfp-09-contest---frantic

Team "I C Frantic People"

incubator-milagro-crypto-c

Apache milagro (Incubating)

keymonad

l1-sudoku

My implementation of http://www.it.uu.se/katalog/praba420/Sudoku.pdf using CVXOPT

lambdanet

Purely functional artificial neural network library implemented in Haskell.

libfuse

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

linux

Linux kernel source tree

lru-benchmark

luagravity

LuaGravity is a reactive language that implements the synchronous approach for concurrency.

matlabexercises

merlin

Context sensitive completion for OCaml in Vim and Emacs

miden-collision

miden-vm

STARK-based virtual machine

mirage

Cloud programming platform

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.

mob_lab_2017

mom

The do-not-repeat-yourself-library. All your utils.py and compat.py are belong to us. Python 2.5+, PyPy, and Python 3.x

musl

Unofficial mirror of etalabs musl repository. Updated daily.

neovim

Vim-fork focused on extensibility and agility.

ocamlregex

Fast, pure and thread-safe regular expressions for Ocaml -- eventually