Pod-side and telemetry code for The University of Edinburgh's Hyperloop Team 2024/25
☆11Oct 17, 2025Updated 11 months ago
Alternatives and similar repositories for hyped-2025
Users that are interested in hyped-2025 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pod-side and telemetry code for the University of Edinburgh Hyperloop Team 2023/24☆11Jul 2, 2024Updated 2 years ago
- Better Informatics is a web platform at UoE for collaborative studies. Contributions and merge requests are welcome by anybody!☆17Updated this week
- A understandable Haskell tracer.☆14Apr 5, 2022Updated 4 years ago
- ☆22Aug 31, 2021Updated 5 years ago
- Solving 2024 Advent of Code entirely on an FPGA using Hardcaml☆17Feb 26, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Advent of Code puzzles, solved in Hardware☆25Jan 13, 2026Updated 8 months ago
- control code for the Helios 3 hyperloop pod (delft hyperloop 08, 2023-2024)☆12Nov 26, 2024Updated last year
- Tooling to use the Pynq Board somewhat nicely☆13Dec 5, 2022Updated 3 years ago
- ☆28Mar 16, 2025Updated last year
- Evaluating AlexNet features at various depths☆42Oct 13, 2020Updated 5 years ago
- WWDC 2018 Submission☆20Apr 2, 2018Updated 8 years ago
- A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.☆21May 8, 2022Updated 4 years ago
- A collection of scripts I've written to solve recurring challenges in CTFs.☆19May 20, 2026Updated 4 months ago
- An AWS-CDK deployment of NextJS using @sls-next/lambda-at-edge☆25Jan 7, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆55Apr 14, 2025Updated last year
- A hugo theme intended for blogs ✍️☆64Updated this week
- no_std compatible, pure Rust implementation of the Noise protocol framework with post-quantum support☆44Aug 30, 2026Updated last month
- Constructs for provisioning and referencing domain identities which can be used in SES RuleSets and Actions Construct.☆37Updated this week
- An open-source ML system course☆42Mar 18, 2025Updated last year
- High accuracy RAG for answering questions from scientific documents with citations☆40Sep 11, 2024Updated 2 years ago
- 👨💻 VS-Code Extension that adds an excerpt from The Bee Movie 🐝 to replace the boring old Lipsum text☆33Jul 17, 2024Updated 2 years ago
- Zero-config CLI for aws cdk development☆36Feb 3, 2023Updated 3 years ago
- A simple SSR-ready wrapper for FullStory in React☆41Apr 26, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Utilities and helpers to make working with GraphQL.js based APIs simpler.☆49May 17, 2022Updated 4 years ago
- Remote desktop application still in development☆80Jul 25, 2025Updated last year
- A CDK for GitHub Actions☆47Mar 17, 2023Updated 3 years ago
- Powerful system container and virtual machine manager☆70Updated this week
- Zynq SoC Linux kernel driver for Xilinx AXI-Stream FIFO IP☆60Feb 13, 2025Updated last year
- a toolbox for Panda CSS☆82Jun 6, 2025Updated last year
- Rust crate providing a variety of automotive related libraries, such as communicating with CAN interfaces and diagnostic APIs☆97Jun 24, 2026Updated 3 months ago
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆83Jan 6, 2025Updated last year
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆76Sep 21, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Student Starter Code for Secure Hardware Design at MIT☆103Mar 1, 2026Updated 7 months ago
- Open source event, comment and alert processing hub created by Sanofi IADC☆87Updated this week
- Automatic static (build-time) or runtime environment variables injection for Next.js☆87Dec 3, 2022Updated 3 years ago
- A React component to make correcting automated transcriptions of audio and video easier and faster. Using the SlateJs editor.☆84Jan 7, 2023Updated 3 years ago
- oh-my-zsh plugin for aws-vault☆95Apr 11, 2025Updated last year
- A manually curated list of Open Government Data portals, websites, APIs, tools and other related resources in Switzerland. Relevant links…☆179Sep 27, 2026Updated last week
- Example showcasing how to use Prisma + Postgres + Jest, where each test has its own unique DB context☆101Jan 6, 2023Updated 3 years ago