Discover @ttuegel Open Source projects

Thomas Tuegel (@ttuegel)

ttuegel

Stars
157
Global Rank 148,587 (Top 6 %)
Followers 150
Following 26
Registered almost 14 years ago
Most used languages

Haskell
76.3 %

Nix
13.2 %

Emacs Lisp
5.3 %

Lean 2.6 %

Logos 2.6 %
Location 🇺🇸 United States
Country Total Rank 33,833
Country Ranking

Logos 68

Lean 89

Nix
117

Haskell
250

Emacs Lisp
1,325

nixos-config

My NixOS configuration

sparse-linear

Traditional sparse linear algebra in Haskell

statistical-elements

The Elements of Statistical Learning in Haskell

autonix-deps

Library for Nix expression dependency generation

loops

Fast imperative-style loops in Haskell

haskell-code-smells

pipes-ghc-events

Compositional pipelines for parsing .eventlog files

alsa-mixer

Haskell bindings to the ALSA mixer API

fontconfig-penultimate

The next-to-last fontconfig settings you will ever need

nixpkgs-kframework

Nixpkgs overlay for K Framework packages

refined-linear

Linear algebra with static dimensions using refinement types

holly

Simple X11 compositor in Haskell

temporary-resourcet

Portable temporary files and directories (with automatic deletion) for Haskell

scratch

Playground for various experiments

libarchive-conduit

Read many archive formats in Haskell with libarchive and conduit

utf32

UTF-32-encoded packed string type

haskell-love-2021

Strict Haskell presentation at haskell.love 2021

recategorize

Re-implementing category theory

haskell-language-server-nix

time-quote

HttpServer.lean

A simple HTTP server in Lean

arpack

Solve sparse matrix eigenvalue problems

emacs-config

My Emacs configuration

autonix-deps-kf5

Generate dependencies for KDE 5 Nix expressions

linear-algebra

Linear algebra with static dimensions in Haskell

cabal-nix

Barebones Nix expressions for Cabal projects

ghc-env

GHC/Haskell development environment with Nix

numeric-differentiation

Algorithms for numeric differentiation with error estimates

nixpkgs-stack

Nixpkgs overlay for Haskell Stack

hpc

libarchive

Haskell interface to libarchive

nbody

nbody examples from the Computer Language Benchmarks Game

cached-traversable

Transparent, persistent caching of lazy, traversable structures

bibtex-fetch

Fetch BibTeX entries from Emacs

ghc-mod-issue-339

repos

precision

Estimate approximation uncertainty for finite-precision types

abstract-syntax

libarchive-streams

Read any archive format with libarchive and io-streams

operating-system

Reflect the host and target operating systems at type level