Open-source vacuum robot cleaner

A collection of AI instructions for the Rust programming language

CadQuery and CQ-editor flake, closely follows master

Analyze ELF binaries like a boss 😼🕵️‍♂️

Tensors and neural networks in Haskell

NixOS configuration for my personal computers

Nix build/flash tool for a Keyboardio Model 100/01 or ZSA Technology Labs Ergodox EZ or Moonlander keyboard

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

A massively multiplayer text game.

Mirror of JONESFORTH

IDA FLIRT Signature Database

Apply IDA FLIRT signatures for Ghidra

A rewrite of hanabi-bot in Scala

An Emacs framework for the stubborn martian hacker

Implementing Quake 3 in Haskell & Vulkan

Unpacked containers using backpack

Efficient Haskell Arrays featuring Parallel computation

A heavily customized layout for my Ergodox EZ keyboard

firmware for the ergoDOX keyboard

spmd-on-simd stuff

Deep Learning in Haskell

Link to preprints for ICFP'17 and colocated events

A DSL for deep neural networks, supporting Caffe and Torch

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

Fish shell like syntax highlighting for Zsh.

Strange Loop 2013

Haskell papers optimized for my e-reader.

"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)

An optimized general monad transformer for streaming applications, with a simple prelude of functions

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto