xldenis Goto Github PK

abnf

abnf-gen

aggregator

Stuff

async-tungstenite

Async binding for Tungstenite, the Lightweight stream-based WebSocket implementation

beander

Beander styles

besm

Resurrecting PP-BESM

bittorrent-dht

🕸 Simple, robust, BitTorrent DHT implementation

bookclub

bv-sized

A BitVector datatype that is parameterized by the vector width.

calc

a simple line calculator

cdsat

cdsat

clue

codejam

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

crdocs

distributed crdt based document editor running in wasm

creusot-exercises

Exercises for Creusot

dailyorganizer

Sublime Text plugin for basic note taking organization

dbrecord

docker-hakyll

Base haskell image with hakyll and some other utilities already installed

dota-flow

Dota to Flowdock script

dotfiles

dotfiles

dotiw

Better distance of time in words for Rails

dynamit

Simplify your web.

esperanto

build-once run-anywhere OCaml programs

fastmc

A fast Minecraft 1.7/1.8 protocol library for python

ferros

barebones rust-lang os

flowistry

gh_res

Generate a resume based off of a github profile

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell