timjb
Interested in type theory, category theory and concurrent collaborative editing.
@TNG Technology Consulting GmbHAugsburg, Europe
Pinned Repositories
aeson-schema
[OBSOLETE] Haskell JSON schema validator and parser generator
dtypes
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
halma
Chinese Checkers Haskell library, GUI application and Telegram bot
node-ardrone
[UNMAINTAINED] Control you Parrot AR.Drone from node
pfds-visualizations
Visualization of purely functional queues 🚶🚶🚶
quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
sketchup-threejs
[OBSOLETE] Export your Google SketchUp models to web page using three.js
svd-image-compression-demo
Demonstration of low rank matrix approximations via singular value decomposition
tlpi-exercises
My solutions to the problems in "The Linux Programming Interface"
uni-spicker
Summaries of my university courses (in German)
timjb's Repositories
timjb/svd-image-compression-demo
Demonstration of low rank matrix approximations via singular value decomposition
timjb/uni-spicker
Summaries of my university courses (in German)
timjb/diagrams-rubiks-cube
Haskell library for drawing the Rubik's Cube
timjb/halma
Chinese Checkers Haskell library, GUI application and Telegram bot
timjb/dotfiles
My config files.
timjb/dtypes
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
timjb/telegram-sendmessage
Using the Telegram Bot API to send messages to myself
timjb/math-ide
timjb/ag-grid
The best JavaScript Data Table for building Enterprise Applications. Supports React / Angular / Vue / Plain JavaScript.
timjb/ArchUnit
A Java architecture test library, to specify and assert architecture rules in plain Java
timjb/asterius
A Haskell to WebAssembly compiler
timjb/daml
The DAML smart contract language
timjb/DefinitelyTyped
The repository for high quality TypeScript type definitions.
timjb/docs-aspire
The official repository for the .NET Aspire documentation—describing a set of tools, templates, and packages for building observable, production ready apps.
timjb/dom-testing-library
🐙 Simple and complete DOM testing utilities that encourage good testing practices.
timjb/ghcide
A library for building Haskell IDE tooling
timjb/mapstruct
An annotation processor for generating type-safe bean mappers
timjb/mathematics-and-computation
Andrej Bauer's blog "Mathematics and Computation"
timjb/Model01-Firmware
The "standard" Keyboardio Model 01 Firmware sketch.
timjb/munihac.github.io
timjb/nixpkgs
Nix Packages collection
timjb/quarantine-hero
timjb/rmapi
Go app that allows you to access your reMarkable tablet files through the Cloud API
timjb/safe-units
Type-safe TypeScript units of measure 👷📏
timjb/single-spa.js.org
timjb/slate
The Slate Interactive Theorem Prover
timjb/SQL-AI-samples
Samples using AI and Azure SQL DB
timjb/timjb.github.io
My personal website
timjb/ts-arch
An architecture unit test framework for Typescript
timjb/website
The ProseMirror website