Pinned Repositories
cabal
Official upstream development repository for Cabal and cabal-install
emacs2nix
Automatically generate Nix expressions for Emacs packages
nixpkgs
Nix Packages collection & NixOS
haskell-backend
The symbolic execution engine powering the K Framework
autonix-deps
Library for Nix expression dependency generation
haskell-code-smells
loops
Fast imperative-style loops in Haskell
nixos-config
My NixOS configuration
sparse-linear
Traditional sparse linear algebra in Haskell
statistical-elements
The Elements of Statistical Learning in Haskell
ttuegel's Repositories
ttuegel/nixos-config
My NixOS configuration
ttuegel/sparse-linear
Traditional sparse linear algebra in Haskell
ttuegel/alsa-mixer
Haskell bindings to the ALSA mixer API
ttuegel/pipes-ghc-events
Compositional pipelines for parsing .eventlog files
ttuegel/emacs-config
My Emacs configuration
ttuegel/haskell-love-2021
Strict Haskell presentation at haskell.love 2021
ttuegel/HttpServer.lean
A simple HTTP server in Lean
ttuegel/pipes-sqlite-simple
Functions that smash Pipes and sqlite-simple together
ttuegel/boon
Ergonomic Command Mode for Emacs
ttuegel/cabal-template
A quick template for Haskell projects with Cabal
ttuegel/eglot
A client for Language Server Protocol servers
ttuegel/eri-mode
ttuegel/esqueleto
ttuegel/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
ttuegel/flycheck-eglot
Flycheck support for eglot
ttuegel/halfsp
ttuegel/haskell-ghcid-mode
Emacs major mode for navigating ghcid and ghciwatch errors
ttuegel/HieDb
Generates a references DB from .hie files
ttuegel/Http.lean
HTTP Primitives for Lean4
ttuegel/injections
Canonical injections and projections between Haskell types
ttuegel/k
K Framework Tools 5.0
ttuegel/kore
ttuegel/nix-direnv
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
ttuegel/nix-release-test
ttuegel/nixpkgs
Nix Packages collection
ttuegel/pipes-aeson
ttuegel/socket.lean
sockets for Lean 4
ttuegel/static-ls
ttuegel/upload-release.nix
Upload a Nix asset on releases automatically
ttuegel/zero-to-proving
From zero to proving with K