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/nixpkgs-kframework
Nixpkgs overlay for K Framework packages
ttuegel/haskell-language-server-nix
ttuegel/scratch
Playground for various experiments
ttuegel/time-quote
ttuegel/nixpkgs-stack
Nixpkgs overlay for Haskell Stack
ttuegel/async
Run IO operations asynchronously and wait for their results
ttuegel/beacon-chain-spec
Formalization of the Beacon Chain Phase 0 Specification in K
ttuegel/brittany
haskell source code formatter
ttuegel/eventlog-prof
Create application-specific profilers for Haskell programs
ttuegel/ghc-check
utility to detect mismatches of ghc api versions
ttuegel/ghc-events-analyze
ttuegel/ghc-exactprint
GHC version of haskell-src-exts exactPrint
ttuegel/ghcide
A library for building Haskell IDE tooling
ttuegel/ghcide-nix
Nix installation for ghcide
ttuegel/github
The github API for Haskell
ttuegel/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
ttuegel/hhp
Happy Haskell Programming
ttuegel/hie-bios
ttuegel/hlint
Haskell source code suggestions
ttuegel/kilo-rs
Build Your Own Text Editor in Rust
ttuegel/llvm-backend
KORE to llvm translation
ttuegel/lsp-mode
Emacs client/library for the Language Server Protocol
ttuegel/mavenix
Deterministic Maven builds using Nix?
ttuegel/nix-lib
A library of useful Nix functions
ttuegel/nix-shells
A collection of non-upstreamable Nix shell expressions
ttuegel/nix-tools
Translate Cabals Generic Package Description to a Nix expression
ttuegel/notmuch
Notmuch -- Just an email system
ttuegel/rate-limiter
ttuegel/tasty-test-reporter
An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.
ttuegel/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K