ericson2314 Goto Github PK

agda-scratchpad

Messing with Agda

alloc-wg

Attempt of collection several proposals of the allocators-wg

apb-signiture-stats

for Command & Conquer: Red Alert: A Path Beyond. Design by APB_ICE

baccumulation

basic-ifd-from-wiki

bcache-tools

bcache-tools, part of the bcache hybrid storage project (features, debian packaging)

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

binutils-gdb

Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

bolos-rs

3rd party BOLOS SDK for Rust

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cabal

Official upstream development repository for Cabal and cabal-install

capability

Extensional capabilities and deriving combinators

clash-compiler

CAES Language for Synchronous Hardware

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

clash-prelude-quickcheck

QuickCheck instances for various types in the CλaSH Prelude

cmark

CommonMark parsing and rendering library and program in C

cncnet-tunnel

The CnCNet 5 tunneling service

core-region

A very small toy langauge, but it has regions

cranelift

Cranelift code generator (formerly, Cretonne)

cross-paper

cuberoot

Cube Root is an OpenGL client for a voxel game.

dc-law-xml

DC Law - statutes and code - in xml format. (project: https://github.com/DCCouncil/dc-law)

disass

A conservative, sound disassembler designed to facilitate easy reassembly

ecosystem-proposals

Proposals for the Haskell Ecosystem

enet

ENet reliable UDP networking library

freebsd-ports-nix

Nix package manager port for the FreeBSD Ports Collection

fundamentalssampleapp

gcc

ghc-cross-compilation

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell