23Skidoo
Follow
Stars
A catalogue of Rust design patterns, anti-patterns and idioms
Persistent channels, and channel pools for gRPC Elixir.
Code for the book "Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory"
Source code of Ferrocene, safety-critical Rust toolchain
Book in preparation: introduction to theoretical computer science
Code for Paper: “Low-Resource” Text Classification: A Parameter-Free Classification Method with Compressors
Userspace WireGuard® Implementation in Rust
Catalog of Elixir-specific code smells
Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.
A massively parallel, optimal functional runtime in Rust
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
Data Engineering Zoomcamp is a free nine-week course that covers the fundamentals of data engineering.
Learn ML engineering for free in 4 months!
Write Cloudflare Workers in 100% Rust via WebAssembly
A book series (2 published editions) on the JS language.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Embedded specification language & model checker in Haskell
Emacs Lisp bindings for tree-sitter
An incremental parsing system for programming tools
A gazelle extension to produce Haskell rules from cabal files
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries
A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.