Starred repositories
A simple command-line program for splitting CSV files.
Pod-side code for the University of Edinburgh Hyperloop Team 2022/23
Pod-side code for the University of Edinburgh Hyperloop Team
edwinb / Idris2
Forked from idris-lang/Idris2A purely functional programming language with first class types
C++ implementation of the kalman filter for sensor fusion of IR sensors and IMU sensors
My solutions to problems from the Advent of Code 2021 (https://adventofcode.com/2021), written in C++.
Solutions for Advent of Code 2021, every day a new language
👨🏼⚖️ reddit bot that turns comment chains into ace attorney scenes
Solar.py is a python simulation of the Solar System, which uses a symplectic integrator to predict the next positions of all the bodies of the system.
Base station code for the University of Edinburgh Hyperloop Team
Open-source keyboard firmware for Atmel AVR and Arm USB families
Generalized bananas, lenses and barbed wire
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
A cd command that learns - easily navigate directories from the command line
Cinemagoer is a Python package useful to retrieve and manage the data of the IMDb (to which we are not affiliated in any way) movie database about movies, people, characters and companies
The slightly more awesome standard unix password manager for teams
A refreshingly simple data-driven game engine built in Rust
A C compiler written in Rust, with a focus on good error messages.
Empowering everyone to build reliable and efficient software.