Pinned Repositories
language-ninja
A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
hsdatalog
BDD-based implementation of Datalog
deeper
Cooperative first-person roguelike dungeon crawler where spells are programs
xls
XLS: Accelerated HW Synthesis
rhodium
A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly efficient.
chemsim
An attempt at writing a Lattice Boltzmann CFD simulator in Rust
eqsat
A language-generic implementation of equality saturation in Haskell
narfuse
A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.
wasm-agda
A typechecker for WebAssembly, written in Agda (WIP)
taktoa's Repositories
taktoa/eqsat
A language-generic implementation of equality saturation in Haskell
taktoa/chemsim
An attempt at writing a Lattice Boltzmann CFD simulator in Rust
taktoa/nix-packages
The Nix packages I've made / worked on
taktoa/cs524-actor
An unfinished implementation of actor-style concurrency in Haskell, written for UIUC CS 524
taktoa/esp32-baremetal
taktoa/math-notes
Assorted math notes
taktoa/xmonad-config
My xmonad configuration
taktoa/zerotoasic-nix
Nix scaffolding for ZeroToASIC students
taktoa/monocle
taktoa/taktoa-resume
My resume.
taktoa/cargo2nix
Build Rust crates with Nix
taktoa/flycheck
On the fly syntax checking for GNU Emacs
taktoa/gipeda
Git Performance Dashboard
taktoa/haskell-indexer
Emits code crossreference data for Haskell sources.
taktoa/hlint
Haskell source code suggestions
taktoa/hoogle
Haskell API search engine
taktoa/lib901p
A Rust library for using the serial interface on a MKS 901P vacuum pressure gauge
taktoa/liblinear-rs
Rust language bindings for the LIBLINEAR C/C++ library.
taktoa/naersk
Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. [maintainer: ???]
taktoa/nixpkgs
Nix Packages collection
taktoa/nixpkgs-esp-dev
Nix overlay for building the ESP8266 and ESP32 compiler toolchains.
taktoa/piston_window
The official Piston convenience window wrapper for the Piston game engine
taktoa/rules_tree_sitter
Bazel rules for building tree-sitter grammars
taktoa/rust
Empowering everyone to build reliable and efficient software.
taktoa/rust-clp
Rust bindings to the COIN-OR Linear Programming (CLP) solver library
taktoa/sigrok-rs
High level bindings to libsigrok
taktoa/tree-sitter
An incremental parsing system for programming tools
taktoa/whisperX
WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
taktoa/xls
XLS: Accelerated HW Synthesis
taktoa/yarn2nix-hs
Build and deploy node packages with nix from yarn.lock files.