A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, PyTorch, and Hugging Face libraries.

The most atomic way to train and inference a GPT in pure, dependency-free C

Category theory but for kitty cats, meow 🐱🐈

lean4 unit testing framework

Peace of mind from prototype to production

NIST Certified SCAP 1.2 toolkit

Proving leftpad correct two-dozen different ways

A cross-platform, safe, pure-Rust graphics API.

Run any process, on your machine or in an AI agent's environment, as if it were a pod in your Kubernetes cluster: real env vars, DNS, network, traffic.

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Code examples in various frameworks for creating requests using the AWS SigV4 protocol

🦭 Distributed log streaming engine built from first principles

A rust command line utility for creating ethereum2 validator keys - in development

A modern Prolog implementation written mostly in Rust.

The All-in-One Database

a challenge for Haskell beginners

Tensors and neural networks in Haskell

A Haskell library for creating WebSocket-capable servers

OwnCloud for owls done via The Microservice Architecture

Build server rendered, interactive websites with Haskell

Functional css for humans

Live coding demo for FITC Web Unleashed

Clojure documentation tool

🔥 A highly scalable, offline-first foundation with the best developer experience and a focus on performance and best practices.

A Clojure library for seeding databases.

React + Redux starter kit / boilerplate with Babel, hot reloading, testing, linting and a working example app built in