zeyonaut Goto Github PK

arduino_sasmate_17

Arduino code. Adapted for BlueRobotics ESCs - for Victor 888, you need to treat them as servos instead.

ast

attenua

Game API

bevy-magic-light-2d

Experiment with computing 2D shading, lighting and shadows with Bevy Engine

bevy_ecs_tilemap

A tilemap rendering crate for bevy which is more ECS friendly.

chernobot

Singapore American School (SAS) MATE robotics codebase [2017-2019]

conrod

An easy-to-use, 2D GUI library written entirely in Rust.

flowblocks

Cambridge IB Group Project for the Raspberry Pi Foundation.

fyrox

3D and 2D game engine written in Rust

glm

OpenGL Mathematics (GLM)

hott-study

Personal notes on homotopy type theory from the HoTTEST Summer School 2022.

hottest-summer-school

HoTTEST Summer School materials

idealist-rs

A library of non-empty wrappers for standard list types in Rust.

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

inksy

An infinite scratchpad for effortless chirography.

kaleidoscope17

Kaleidoscope17 is an implementation of kaleidoscope in LLVM tutorial in C++17.

limn

Cross platform GUI Library

mun

Source code for the Mun language and runtime.

nimir-ui

ocaml

The core OCaml system: compilers, runtime system, base libraries

ontologica

protogeo

A mathematical visualization tool.

qfs-cpp

Bare-bones filesystem library for C++

robot

Controll your robot through java (Fork)

rs232

A cross-platform serial COM / RS232 library

screeps

This is not finished.

semantics-agda

Operational semantics proofs, translated from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.

slides

Slides for talks I've given.

srcf-python

A Python library covering database schemas and core functionality for the Student-Run Computing Facility.

temporal

Exercises from the 2023-2024 Model Checking course at Cambridge.