chobbes Goto Github PK

nix-quickchick-test

Testing QuickChick under nix.

nixpkgs

Nix Packages collection

notes

Calvin's notes and stuff.

notetakers

Scripts and templates for taking notes in LaTeX.

ob-llvm

Org-babel for LLVM optimizations.

openbsd

Source code pulled from OpenBSD for LibreSSL - this includes most of the library and supporting code. The place to contribute to this code is via the OpenBSD CVS tree.

openrct2

An open source re-implementation of Roller Coaster Tycoon 2.

org-chef

A package for making a cookbook and managing recipes with org-mode.

org-ref

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

paco

Parameterized Coinduction

paco-1

A Coq library for parametric coinduction

pandoc

Universal markup converter

paper-handler

Takes file of <firstname>:<email> entries, a file of names, and generates a file of e-mail entries for those names.

parsec

parsers

Generic parser combinators

pastor

Simple pastebin application to test Servant.

patch

Infrastructure for writing patches which act on other types.

pg

This repo is the new home of Proof General

pibellards

Implementation of Bellard's algorithm for calculating pi to 'n' digits in Haskell.

plclub-web

A Hakyll [plclub] website.

plover

Open source stenotype engine

plovert

A glorious program to convert Plover's JSON dictionary to a Cheno dictionary. Possibly others in the future too! In Haskell! BAM!

portable

LibreSSL Portable itself. This includes the build scaffold and compatibility layer that builds portable LibreSSL from the OpenBSD source code.

post-rfc

Blog post previews in need of peer review

qfusion

Source code for Quake 2-derived game engine powering the game "Warsow"

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

quickchick

Randomized Property-Based Testing Plugin for Coq

reflex-glfw-b-luminance

GLFW-b and luminance reflex interface.

reflexpong

Pong in Haskell using the Reflex FRP framework. Not necessarily a game of significant reflexes.

rotunda

The scheduler of life.