IamfromSpace/cube
Rubik's Cube modeling in Rust
Repositories
IamfromSpace/config
IamfromSpace/tla_stoplight_decomposition
Demonstration of how to model check decompositions
IamfromSpace/pen_and_paper_geometric_mean
Evaluating different pen and paper methods for estimating the geometric mean, for an advantage in our weekly trivia game
IamfromSpace/rust-cycle
A Bike Computer written in Rust running on RaspberryPi
IamfromSpace/lean-exercises
IamfromSpace/secret-sharing
IamfromSpace/dhall-roll20-macro
IamfromSpace/ocr-gpt-fix
Fix OCR scans with GPT
IamfromSpace/openai-hs
Unofficial OpenAI Haskell Bindings
IamfromSpace/fpga-aoc-blog
IamfromSpace/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
IamfromSpace/clash-utils
A collection of reusable Clash designs/examples
IamfromSpace/reaction-time
App to help recognize fatigue/overreaching/overtraining
IamfromSpace/starfinder-starship
IamfromSpace/whatisaacknowsaboutairplanes
What Isaac knows about airplanes
IamfromSpace/simplexmq
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
IamfromSpace/clash-wavedrom
IamfromSpace/paseto-spec
Specification for Platform Agnostic SEcurity TOkens (PASETO)
IamfromSpace/AdventofCode
Advent of Code Solutions
IamfromSpace/rust-cycle-housing
Housing for the Rust Cycle Bike Computer
IamfromSpace/k-tape-template
3D printable template for cutting kinesiology tape
IamfromSpace/piano-stand-mount
Custom mount for a Casio CDP-130 keyboard and RockJam Xfinity keyboard stand.
IamfromSpace/stackage
"Stable Hackage": vetted consistent packages from Hackage
IamfromSpace/roomba-base-clamp
Clamp to hold a Roomba base firmly into the back of our couch.
IamfromSpace/sideboard-roomba-guard
A 3D printed guard to keep our Roomba from getting stuck under our sideboard.
IamfromSpace/envy
:angry: Environmentally friendly environment variables
IamfromSpace/stm32f3xx-hal
A Rust embedded-hal HAL for all MCUs in the STM32 F3 family
IamfromSpace/Adafruit_CircuitPython_SharpMemoryDisplay
CircuitPython library for SHARP Memory monochrome displays
IamfromSpace/nmea0183
Rust NMEA 0183 parser. Targeting mostly embedded programming but not limited to. Do not relies on std and any external dependencies, core Rust only.