Projects in Awesome Lists by timjb
A curated list of projects in awesome lists by timjb .
https://github.com/timjb/quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
type-safety unit-conversion units-of-measure
Last synced: 09 Feb 2026
https://github.com/timjb/svd-image-compression-demo
Demonstration of low rank matrix approximations via singular value decomposition
demonstration image-compression singular-value-decomposition
Last synced: 30 Apr 2025
https://github.com/timjb/aeson-schema
[OBSOLETE] Haskell JSON schema validator and parser generator
Last synced: 12 Mar 2026
https://github.com/timjb/uni-spicker
Summaries of my university courses (in German)
cheatsheet computer-science mathematics
Last synced: 08 Jan 2026
https://github.com/timjb/tlpi-exercises
My solutions to the problems in "The Linux Programming Interface"
Last synced: 30 Apr 2025
https://github.com/timjb/halma
Chinese Checkers Haskell library, GUI application and Telegram bot
chinese-checkers diagrams game-ai haskell serverless telegram-bot
Last synced: 17 Jul 2025
https://github.com/timjb/diagrams-rubiks-cube
Haskell library for drawing the Rubik's Cube
Last synced: 11 Dec 2025
https://github.com/timjb/node-ardrone-web
A web interface to control your Parrot AR.Drone
Last synced: 20 Aug 2025
https://github.com/timjb/idris-pfds
Purely functional data structures in Idris
dependent-types purely-functional-data-structures
Last synced: 08 Jan 2026
https://github.com/timjb/dotfiles
My config files.
nixos-configuration personal-dotfiles
Last synced: 22 Apr 2025
https://github.com/timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
hilbert-calculus lcf-style proof-assistant set-theory zfc
Last synced: 30 Apr 2025
https://github.com/timjb/bachelorarbeit
Der Satz von Serre über die Endlichkeit der Homotopiegruppen der Sphären (Bachelorarbeit)
algebraic-topology bachelor-thesis homotopy-theory mathematics
Last synced: 18 Mar 2026
https://github.com/timjb/pfds-visualizations
Visualization of purely functional queues 🚶🚶🚶
data-structures purely-functional-data-structures visualization
Last synced: 29 Mar 2025
https://github.com/timjb/dtypes
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
Last synced: 24 Jul 2025
https://github.com/timjb/minesweeper-solver
Constraints-based algorithm for solving MineSweeper
Last synced: 29 Mar 2025
https://github.com/timjb/telegram-sendmessage
Using the Telegram Bot API to send messages to myself
Last synced: 29 Mar 2025
https://github.com/timjb/reroute-talk
Talk about type-safe routing with reroute presented at Curry Club Augsburg
Last synced: 29 Mar 2025
https://github.com/timjb/mathezirkel-kurs
educational-materials mathematics
Last synced: 08 Jan 2026
https://github.com/timjb/ot.agda
Formalization of OT with tombstones in Agda
Last synced: 19 Feb 2026
https://github.com/timjb/vscode-redprl
RedPRL support for Visual Studio Code
Last synced: 23 Aug 2025