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.

Connect your local process and your cloud environment, and run local code in cloud conditions.

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