Pinned Repositories
coquille
Interactive theorem proving with Coq in vim.
http-pokemon
A small program to download pokemon from http://pokeapi.co/
nasa-apod-desktop
Automatically downloads and sets the NASA picture of the day (APOD) as your desktop in OSX.
pikaraoke
Youtube-based Karaoke machine for Raspberry Pi, OSX, Windows, and Linux
rust-cairo
Rust bindings for Cairo
rust.ko
A minimal Linux kernel module written in rust.
rusty-TONC
Having fun on the GBA, and porting TONC's examples.
vinyl-json
Automatic json instances for Data.Vinyl
tbelaire's Repositories
tbelaire/dotfiles
My dotfiles
tbelaire/maze_w25
tbelaire/pikaraoke
Youtube-based Karaoke machine for Raspberry Pi, OSX, Windows, and Linux
tbelaire/advent2020
tbelaire/advent_of_code_2023
tbelaire/amethyst
Data-oriented game engine written in Rust
tbelaire/angus-mail
Angus Mail
tbelaire/blflash
bl602 serial flasher
tbelaire/crochet
Explorations in reactive UI patterns
tbelaire/custom_scripts
Some Random Scripts
tbelaire/docker-stuff
tbelaire/fox-flux-advance
fox flux, ported to Rust and running on the GBA
tbelaire/ggez
Rust library to create a Good Game Easily
tbelaire/hello-grpc
tbelaire/jupyter-rs
Rust kernel for Jupyter
tbelaire/msgraph-sdk-java
Microsoft Graph SDK for Java
tbelaire/msgraph-sdk-java-core
Microsoft Graph SDK for Java - Core Library
tbelaire/nom
Rust parser combinator framework
tbelaire/picross
Playable picross puzzle generator written in JavaScript
tbelaire/pinecone-rust
PineCone BL602 OpenOCD and Rust Guide
tbelaire/pinetime-rust-mynewt
PineTime Smart Watch firmware based on Rust and Apache Mynewt OS
tbelaire/pycaret
An open-source, low-code machine learning library in Python
tbelaire/sandbox
Where I stomp on files and make mistakes.
tbelaire/stdgba
A small rust standard library for the GBA.
tbelaire/Tasmota
Alternative firmware for ESP8266 with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP, Serial or KNX. Full documentation at
tbelaire/tock
A secure embedded operating system for Cortex-M based microcontrollers
tbelaire/todo-make-website
tbelaire/TsRandomizer
A Randomizer for Timespinner
tbelaire/typeshed
Collection of library stubs for Python, with static types
tbelaire/vscode-python
Python extension for Visual Studio Code