3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Indiana
Pinned Repositories
fp.py
Slides for "An Introduction to Functional Programming in Python"
log2sql
Parses a log file and writes it to a [SQLite] database for better querying
nix-bundle-exe
Simple Nix derivations to bundle executables
nix-vbox-build-slave
Quickly sets up a NixOS build-slave in VirtualBox to ease NixOps deployments from macOS, etc.
postgresql-simple-interpolate
Safe interpolated SQL queries in Haskell
python-parser-combinators
Parser combinators in Python (a la pyparsing and Haskell's Parsec)
reflex-dom-forms
Simple form abstractions and validation for Reflex-DOM applications
reflex-dom-nested-routing
Nested client-side routing for Reflex-DOM
3noch's Repositories
3noch/nix-bundle-exe
Simple Nix derivations to bundle executables
3noch/postgresql-simple-interpolate
Safe interpolated SQL queries in Haskell
3noch/reflex-dom-nested-routing
Nested client-side routing for Reflex-DOM
3noch/something
3noch/help.nix
Generate help documentation for your nix attrsets!
3noch/codespaces-experiment
3noch/deno-playground
3noch/cachix
Command line client for Nix binary cache hosting:
3noch/codeworld
Educational computer programming environment using Haskell
3noch/codeworld-game
A simple adventure game written in Haskell for https://code.world
3noch/crispy-rotary-phone
3noch/declin
3noch/go
The Go programming language
3noch/haskell-gitpod-template
Haskell Gitpod Template
3noch/hs-webdriver
A Haskell client for the Selenium WebDriver protocol.
3noch/idris2-pkgs
3noch/kids-game
3noch/livox_ros_driver
Livox device driver under ros
3noch/nix-ros-overlay
ROS overlay for the Nix package manager
3noch/nix-thunk
3noch/nixos-config
My personal nixos configuration
3noch/nixpkgs
Nix Packages collection
3noch/Onboard-SDK
DJI Onboard SDK Official Repository
3noch/postgresql-simple
Mid-level client library for accessing PostgreSQL from Haskell
3noch/process
Library for dealing with system processes
3noch/secretsauce
3noch/some
Existential type.
3noch/terraform-exploration
Exploring terraform
3noch/tree-of-life
3noch/WGS84toCartesian
A simple header-only, single-file library to handle WGS84 coordinate to Cartesian coordinate transformations for C++.