taktoa

eqsat

A language-generic implementation of equality saturation in Haskell

chemsim

An attempt at writing a Lattice Boltzmann CFD simulator in Rust

nix-packages

The Nix packages I've made / worked on

cs524-actor

An unfinished implementation of actor-style concurrency in Haskell, written for UIUC CS 524

esp32-baremetal

math-notes

Assorted math notes

xmonad-config

My xmonad configuration

zerotoasic-nix

Nix scaffolding for ZeroToASIC students

monocle

taktoa-resume

My resume.

cargo2nix

Build Rust crates with Nix

flycheck

On the fly syntax checking for GNU Emacs

gipeda

Git Performance Dashboard

haskell-indexer

Emits code crossreference data for Haskell sources.

hlint

Haskell source code suggestions

hoogle

Haskell API search engine

lib901p

A Rust library for using the serial interface on a MKS 901P vacuum pressure gauge

liblinear-rs

Rust language bindings for the LIBLINEAR C/C++ library.

naersk

Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. [maintainer: ???]

nixpkgs

Nix Packages collection

nixpkgs-esp-dev

Nix overlay for building the ESP8266 and ESP32 compiler toolchains.

rules_tree_sitter

Bazel rules for building tree-sitter grammars

rust

Empowering everyone to build reliable and efficient software.

rust-clp

Rust bindings to the COIN-OR Linear Programming (CLP) solver library

rust-sitter

Use Tree Sitter to parse your own languages in Rust

sigrok-rs

High level bindings to libsigrok

tree-sitter

An incremental parsing system for programming tools

whisperX

WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)

xls

XLS: Accelerated HW Synthesis

yarn2nix-hs

Build and deploy node packages with nix from yarn.lock files.