Lightweight and declarative sandboxing for AI agents on Linux and macOS using Nix.

Strong type constraints for Scala

Learn make by example

Machine Learning Engineering Open Book

Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

Joining the modern data stack with the modern ML stack

An implementation of FeUdal Networks for Hierarchical Reinforcement Learning as published : https://arxiv.org/abs/1703.01161

A library that provides an embeddable, persistent key-value store for fast storage optimized for AWS

Create beautiful diagrams just by typing notation in plain text.

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

Data and code behind the articles and graphics at FiveThirtyEight

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Verified left pad

A recursion scheme library for Dhall.

Example repository setup that deploys GHCJS programs to GitHub Pages

The Egison Programming Language

Machine Learning Library, written in J

This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as…

A super tiny reactive library. ⚡

Moved to Codeberg

A helper to save me some keystrokes from nix-prefetch-git.

Simple and flexible tool for managing secrets

Release with confidence, state-of-the-art property testing for Scala.

Haskell simulations of spacecraft manoeuvres

Spotify Web API authentication, the easy way.

Curated coding interview preparation materials for busy software engineers

Neural Turing Machines library in Theano with Lasagne

State-space estimation algorithms and models

Scikit-learn tutorials for the Scipy 2013 conference

SciPy 2013 Data Processing Tutorial