timjb
Follow
-
diagrams-rubiks-cube Public
Haskell library for drawing the Rubik's Cube
-
dotfiles Public
My config files.
-
dtypes Public
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
-
Model01-Firmware Public
Forked from keyboardio/Model01-FirmwareThe "standard" Keyboardio Model 01 Firmware sketch.
C++ GNU General Public License v3.0 UpdatedMar 19, 2023 -
svd-image-compression-demo Public
Demonstration of low rank matrix approximations via singular value decomposition
-
dom-testing-library Public
Forked from testing-library/dom-testing-library🐙 Simple and complete DOM testing utilities that encourage good testing practices.
JavaScript MIT License UpdatedJan 7, 2022 -
telegram-sendmessage Public
Using the Telegram Bot API to send messages to myself
-
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedOct 31, 2021 -
halma Public
Chinese Checkers Haskell library, GUI application and Telegram bot
-
ag-grid Public
Forked from ag-grid/ag-gridThe best JavaScript Data Table for building Enterprise Applications. Supports React / Angular / Vue / Plain JavaScript.
TypeScript Other UpdatedMar 31, 2021 -
-
slate Public
Forked from SReichelt/slateThe Slate Interactive Theorem Prover
TypeScript MIT License UpdatedJan 10, 2021 -
-
-
website Public
Forked from ProseMirror/websiteThe ProseMirror website
JavaScript MIT License UpdatedSep 3, 2020 -
-
uni-spicker Public
Summaries of my university courses (in German)
-
quarantine-hero Public
Forked from option26/quarantine-heroJavaScript GNU Affero General Public License v3.0 UpdatedMar 29, 2020 -
mapstruct Public
Forked from mapstruct/mapstructAn annotation processor for generating type-safe bean mappers
Java Other UpdatedFeb 3, 2020 -
safe-units Public
Forked from jscheiny/safe-unitsType-safe TypeScript units of measure 👷📏
TypeScript MIT License UpdatedJan 3, 2020 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 1, 2020 -
ts-arch Public
Forked from ts-arch/ts-archAn architecture unit test framework for Typescript
TypeScript MIT License UpdatedOct 12, 2019 -
ArchUnit Public
Forked from TNG/ArchUnitA Java architecture test library, to specify and assert architecture rules in plain Java
Java Apache License 2.0 UpdatedSep 29, 2019 -
mathematics-and-computation Public
Forked from andrejbauer/mathematics-and-computationAndrej Bauer's blog "Mathematics and Computation"
Mathematica UpdatedSep 22, 2019 -
ghcide Public
Forked from haskell/ghcideA library for building Haskell IDE tooling
Haskell Apache License 2.0 UpdatedSep 11, 2019 -
daml Public
Forked from digital-asset/damlThe DAML smart contract language
Scala Apache License 2.0 UpdatedSep 10, 2019 -
rmapi Public
Forked from juruen/rmapiGo app that allows you to access your reMarkable tablet files through the Cloud API
Go GNU General Public License v3.0 UpdatedJul 7, 2019 -
asterius Public
Forked from tweag/asteriusA Haskell to WebAssembly compiler
Haskell UpdatedJun 15, 2019 -
quantities Public
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
-
blog-1 Public
Forked from ocharles/blogThe contents of ocharles.org.uk/blog
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 30, 2018