Pinned Repositories
advent-2023
Advent of Code 2023
cryptopals
Solving the cryptopals challenges in Haskell
datastructures
Practice implementing datastructures in C++
filter
An experiment doing DSP on .wav audio files in C++
language-python
A parser for Python 2.x and 3.x written in Haskell
nlp-experiment
Can biography and geography pages be distinguished by machine learning?
optimize-music
lachrimae's Repositories
lachrimae/advent-2023
Advent of Code 2023
lachrimae/optimize-music
lachrimae/advent-of-code-2020
lachrimae/advent-of-code-2021
lachrimae/cryptopals
Solving the cryptopals challenges in Haskell
lachrimae/datastructures
Practice implementing datastructures in C++
lachrimae/filter
An experiment doing DSP on .wav audio files in C++
lachrimae/nlp-experiment
Can biography and geography pages be distinguished by machine learning?
lachrimae/agda-language-server
Language Server for Agda
lachrimae/applied-algebra
lachrimae/applied-linear-algebra
Some code I wrote to better understand linear algebra
lachrimae/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
lachrimae/complexity-lesson
lachrimae/cryptopals-rs
working through cryptopals in rust
lachrimae/deno
A modern runtime for JavaScript and TypeScript.
lachrimae/dino-fight
a small dino-fighting game
lachrimae/etherparse
A rust library for parsing ethernet & ethernet using protocols.
lachrimae/fight
lachrimae/free-shuffles
Calculating the result of shuffling under free probability
lachrimae/gnoam
A Haskell library for generating data from context-free grammars in Chomsky normal form
lachrimae/handbook
Basecamp Employee Handbook
lachrimae/language-rust
Parser and pretty-printer for the Rust language
lachrimae/nixos-configuration
Alice McKean's Nixos Configuration
lachrimae/nixpkgs
Nix Packages collection
lachrimae/persistent-typed-db
A type and helpers for typesafe SQL access in the presence of many databases.
lachrimae/project-m36
Project: M36 Relational Algebra Engine
lachrimae/python-c-ffi-demo
lachrimae/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
lachrimae/tflint-ruleset-aws
TFLint ruleset for terraform-provider-aws
lachrimae/vectors-teaching
some C++ stuff for teaching a friend