nomeata Goto Github PK

aesop

White-box automation for Lean 4

afp-free-groups

Sources for https://afp.theoremproving.org/entries/free-groups/

agda-free-groups

Free Groups in Agda

agent-rs

A collection of libraries and tools for building software around the Internet Computer, in Rust.

anapres

Anagram-based presentation

arbtt

arbtt, the automatic rule-based time-tracker

arbtt-graph

Plot graphs from arbtt-stats

asciidoctor-nix-darwin-bug

asterius

A Haskell to WebAssembly compiler

authenticate

Authentication methods for Haskell web applications.

autobahn

aws-lambda-haskell-runtime

⚡Haskell runtime for AWS Lambda

badminton-junkies

Badminton Junkies e.V. site

bff

code for "Bidirectionalization for Free!" (paper at POPL'09) by Janis Voigtlaender.

bidirectionalization-combined

Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)

binary-speed-logs

Performance logs of the Haskell package binary

bisect-binary

Tool to determine relevant parts of binary data

bitcoin

Bitcoin Core integration/staging tree

blank-canvas

A Haskell API into HTML5 Canvas

bootstrapping-haskell

Feeble attempts at bootstrapping Haskell

bsort

Extremely fast inplace radix sort

bspokelight

Custom firmware for the YQ8003 bicycle spoke light

c-utf8-valid

Single-header UTF-8 validation routines for C

cabal

Official upstream development repository for Cabal and cabal-install

cabal-bounds

Manage the bounds/versions of the dependencies in a cabal file.

cabal-debian

Create a Debianization by examining a .cabal file.

cabal-force-upper-bound

Reliably exercise the upper bound of your cabal dependencies

cabal-plan-bounds

Calculate Haskell dependency ranges from multiple build plans

cache

Cache dependencies and build outputs in GitHub Actions

candid

Candid Library for the Internet Computer