timjb

quantities

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

svd-image-compression-demo

Demonstration of low rank matrix approximations via singular value decomposition

uni-spicker

Summaries of my university courses (in German)

halma

Chinese Checkers Haskell library, GUI application and Telegram bot

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube

dotfiles

My config files.

dtypes

Functors, Applicatives, Traversables etc. of kind (k -> *) -> *

telegram-sendmessage

Using the Telegram Bot API to send messages to myself

math-ide

ag-grid

The best JavaScript Data Table for building Enterprise Applications. Supports React / Angular / Vue / Plain JavaScript.

ArchUnit

A Java architecture test library, to specify and assert architecture rules in plain Java

asterius

A Haskell to WebAssembly compiler

blog-1

The contents of ocharles.org.uk/blog

daml

The DAML smart contract language

DefinitelyTyped

The repository for high quality TypeScript type definitions.

dom-testing-library

🐙 Simple and complete DOM testing utilities that encourage good testing practices.

ghcide

A library for building Haskell IDE tooling

mapstruct

An annotation processor for generating type-safe bean mappers

mathematics-and-computation

Andrej Bauer's blog "Mathematics and Computation"

Model01-Firmware

The "standard" Keyboardio Model 01 Firmware sketch.

munihac.github.io

nixpkgs

Nix Packages collection

quarantine-hero

rmapi

Go app that allows you to access your reMarkable tablet files through the Cloud API

safe-units

Type-safe TypeScript units of measure 👷📏

single-spa.js.org

slate

The Slate Interactive Theorem Prover

timjb.github.io

My personal website

ts-arch

An architecture unit test framework for Typescript

website

The ProseMirror website