teh

Pinned Repositories

gluon
Experiments with running a webkit2gtk backed UI in Haskell
Language:Haskell6 4 00
hsseccomp
Bindings to libseccomp
Language:Haskell7 6 53
nixcr
Build docker containers on the fly with nix
Language:Rust6 3 01
pgparsecheck
A compile-time postgres syntax checker based on https://github.com/sfackler/rust-postgres-macros
Language:C4 3 00
ppjoin
Hacky implementation of ppjoin by Chuan Xia et Al
Language:Python20 4 15
smtp
smtp server sketch
Language:Go3 3 00
streaming-histogram
Lossy online histogram builder in Haskell
Language:Haskell8 4 00
tomu-u2f-overlay
Nix package overlay for a tomu flasher
Language:Nix4 4 20

teh's Repositories

teh/nixcr
Build docker containers on the fly with nix
Language:Rust6 3 01
teh/trix
Nix implemented in Rust
Language:Nix3 2 0
teh/patience-diff-rs
patience difference implemented in rust
Language:Rust2 3 1
teh/jupyterscrub
Language:Rust1 2 01
teh/notes
1 3 0
teh/teh.github.io
Does this work?
Language:HTML1 3 0
teh/aeron
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
Language:Java1 0
teh/arrow-rs
Official Rust implementation of Apache Arrow
Language:Rust1 0
teh/arrow2
transmute-free Rust library to work with the Arrow format
Language:Rust1 0
teh/buck2
Build system, successor to Buck
Language:Rust1 0
teh/gradle2nix
Generate Nix expressions which build Gradle-based projects.
Language:Kotlin1 0
teh/hsmods-logic
Datalog formalization of the Haskell module system
Language:Haskell1 0
teh/HVM
A massively parallel, optimal functional runtime in Rust
Language:Rust1 0
teh/include-what-you-use
A tool for use with clang to analyze #includes in C and C++ source files
Language:C++2 0
teh/itchy-rust
NASDAQ ITCH parser in Rust
Language:Rust2 0
teh/lifecycled
Language:Rust2 1
teh/luther
Luther is an embedded lexer generator for stable Rust.
Language:Rust2 0
teh/mlsub-rs
Rust implementation of mlsub
Language:Rust2 0
teh/nix
Nix, the purely functional package manager
Language:C++1 0
teh/nix-serve-ng
A drop-in replacement for nix-serve that is faster and more reliable
Language:Haskell1 0
teh/nixpkgs
Nix Packages collection
Language:Nix3 0
teh/proto_benchmarks
Language:Rust2 0
teh/puppeteer
Headless Chrome Node.js API
Language:JavaScript2 0
teh/pyright
Static type checker for Python
Language:Python1 0
teh/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
Language:C++2 0
teh/result
A lightweight C++11-compatible error-handling mechanism
Language:C++1 0
teh/simci
Language:Python3 0
teh/stg-simulator
Spineless Tagless G Machine simulator
Language:TypeScript3 0
teh/timely-dataflow
A modular implementation of timely dataflow in Rust
Language:Rust2 0
teh/virt-backup
Backup your kvm guests managed by libvirt
Language:Python1 0