Hyp-ed / hyped-2024Links
Pod-side and telemetry code for the University of Edinburgh Hyperloop Team 2023/24
☆11Updated last year
Alternatives and similar repositories for hyped-2024
Users that are interested in hyped-2024 are comparing it to the libraries listed below
Sorting:
- Pod-side and telemetry code for The University of Edinburgh's Hyperloop Team 2024/25☆11Updated 2 months ago
- Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.☆33,142Updated this week
- Code shared during AOS course labs (AY 24/25)☆13Updated 11 months ago
- Resources for the UQCS competitive programming group☆20Updated 3 months ago
- Frontend of TIHLDE. Dev: https://dev.tihlde.org☆19Updated 3 weeks ago
- perfect programming language☆13,247Updated 2 months ago
- ☆16Updated last year
- Course materials for some of the work courses in Laboratory of Computer Science in Control and Management☆58Updated 7 months ago
- Solutions and other stuff from the university courses I attended.☆13Updated 4 years ago
- Et register over konsulentselskaper som har kansellert internships og fulltidsstillinger☆39Updated 9 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,161Updated last week
- Verified Rust for low-level systems code☆2,229Updated this week
- Visualization of the World Cup's 22 event data. In this project I aim to extract insights regarding player and national team performances…☆10Updated 2 years ago
- A understandable Haskell tracer.☆14Updated 3 years ago
- Solve puzzles. Learn CUDA.☆11,874Updated last year
- Creusot helps you prove your code is correct in an automated fashion.☆1,403Updated this week
- 🍊 橙功之道. The road to nutrition and health.☆10Updated last year
- Lean 4 programming language and theorem prover☆7,054Updated this week
- Coz: Causal Profiling☆4,423Updated last week
- UQCSbot: Our friendly little Discord bot☆20Updated 3 weeks ago
- Command-line sampling profiler for macOS, Linux, and Windows☆3,731Updated 2 weeks ago
- 🔋 Next.js + Tailwind CSS + TypeScript starter and boilerplate packed with useful development features☆3,397Updated 3 weeks ago
- A fully compliant RISC-V computer made inside the game Terraria☆3,747Updated 9 months ago
- How behind am I? Keeping track of missed Zoom lectures since 2020.☆10Updated last year
- Fast and accurate React renderer for Notion. TS batteries included. ⚡️☆5,353Updated 3 weeks ago
- Skrypt do zautomatyzowanej pracy z systemem minix 2.0.3 na laboratorium SOI☆36Updated last year
- A minimalist design exploration☆3,050Updated 4 months ago
- UNIPI Computer Engineering github: a collection of utilities and infos about all the exams☆43Updated 6 months ago
- Turso is an in-process SQL database, compatible with SQLite.☆16,301Updated this week
- ☆15Updated 3 weeks ago