ttuegel

nixos-config

My NixOS configuration

sparse-linear

Traditional sparse linear algebra in Haskell

alsa-mixer

Haskell bindings to the ALSA mixer API

pipes-ghc-events

Compositional pipelines for parsing .eventlog files

emacs-config

My Emacs configuration

haskell-love-2021

Strict Haskell presentation at haskell.love 2021

HttpServer.lean

A simple HTTP server in Lean

injections

Canonical injections and projections between Haskell types

pipes-sqlite-simple

Functions that smash Pipes and sqlite-simple together

boon

Ergonomic Command Mode for Emacs

cabal-template

A quick template for Haskell projects with Cabal

eglot

A client for Language Server Protocol servers

eri-mode

esqueleto

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

flycheck-eglot

Flycheck support for eglot

halfsp

haskell-ghcid-mode

Emacs major mode for navigating ghcid and ghciwatch errors

HieDb

Generates a references DB from .hie files

Http.lean

HTTP Primitives for Lean4

k

K Framework Tools 5.0

kore

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

nix-release-test

nixpkgs

Nix Packages collection

pipes-aeson

socket.lean

sockets for Lean 4

static-ls

upload-release.nix

Upload a Nix asset on releases automatically

zero-to-proving

From zero to proving with K