chessai

no-nixpkgs standard library for the nix expression language

BDD-based implementation of Datalog

theseus, functional programming language with fully reversible computation

A wrapper around the scryfall magic the gathering api

No description provided.

code for https://boopie.app, website for playing Boop vs Humans or AlphaBoop

Haskell bindings to the minisketch library (https://github.com/sipa/minisketch)

semirings and *-semirings of types in base/haskell-platform

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

GHC Haskell command-line ping utility

cycling vectors with O(1) rotation and O(1), total access

Flipper Zero App that automatically installs Skylanders NFC Data

reverse dependency build matrix generator

language of pure isomorphisms with trace and recursive types (predecessor to theseus)

my nixos configs

A collection of calculations for the game Magic: the Gathering

Fast rate limiting for Haskell using the token bucket algorithm. BSD-licensed.

sqlite3 extension that adds a cbor_to_json function

No description provided.

Nix Packages collection

No description provided.

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

"Stable Hackage": vetted consistent packages from Hackage

The Haskell Tool Stack

nix expression to test out the 1password beta (linux only)

clone of haskell 'these' package without the dependency bloat

haskell growable vector library

No description provided.

a nix flake for plutus projects

Public monorepo for all Typescript/Javascript related tools and libs for Kadena