Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
☆26Jul 13, 2026Updated last week
Alternatives and similar repositories for libgfxinit
Users that are interested in libgfxinit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Read-only mirror of https://review.coreboot.org/blobs. We don't handle pull requests.☆28Jul 6, 2026Updated 2 weeks ago
- SerialICE is a flexible, software based system software debugger☆36Aug 23, 2025Updated 10 months ago
- Read-only mirror of https://github.com/intel/FSP. We don't handle pull requests.☆14Jun 29, 2026Updated 3 weeks ago
- Automatically exported from code.google.com/p/iotools☆28Dec 21, 2022Updated 3 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/. We don't handle pull requests.☆28Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Utilities for the ECP5 FPGA☆17Aug 5, 2021Updated 4 years ago
- Linux Cross-Memory Attach☆23Apr 21, 2026Updated 3 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 9 months ago
- collection of scripts to extract files from BIOS images☆96Jun 10, 2023Updated 3 years ago
- Command Line Interface Components☆15May 4, 2026Updated 2 months ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference. We don't handle pull requests.☆45Updated this week
- ☆17Jun 18, 2026Updated last month
- ☆12Oct 9, 2025Updated 9 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An example OMI Device FPGA with 2 DDR4 memory ports☆20Jan 5, 2023Updated 3 years ago
- Ada binding and tools for ROS2 - workspace overlay and documentation☆27Sep 19, 2024Updated last year
- Some Python scripts to program Xilinx FPGAs using OpenOCD☆25Oct 22, 2016Updated 9 years ago
- Learn Ada by programming Minecraft robots!☆20Jan 13, 2026Updated 6 months ago
- Computer Modern font family for the web☆16Jul 21, 2024Updated 2 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Repo for KIV/WEB.☆10Nov 19, 2025Updated 8 months ago
- Radiosity Renderer and Visualizer☆14Nov 3, 2025Updated 8 months ago
- ☆25Sep 10, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DFU bootloader for SAMD11 and SAMD21 microcontrollers☆24Jun 27, 2024Updated 2 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Mar 17, 2026Updated 4 months ago
- A persistant bar at the top the screen.☆14Oct 22, 2021Updated 4 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- Proof of Concept to learn Amaranth as an entry effort for Supercon's RTL design competition☆10Nov 11, 2022Updated 3 years ago
- Renders a windows form to a PDF document. Written in Lazarus and Free Pascal☆10Nov 28, 2022Updated 3 years ago
- Side-to-side documentation generator. Fork of the Pycco, grandfork of the Docco. And an object-oriented one.☆13Mar 29, 2021Updated 5 years ago
- This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…☆79Mar 18, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years ago
- Oberon to D Translator☆10Oct 15, 2019Updated 6 years ago
- Direct-BT provides direct Bluetooth LE and BREDR programming without intermediate layers targeting high-performance reliable Bluetooth su…☆14Jan 28, 2026Updated 5 months ago
- This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…☆12Nov 7, 2023Updated 2 years ago
- Oberon System for DOS/386☆12Apr 1, 2013Updated 13 years ago
- Instagram Scrapper for FreePascal☆11Jun 25, 2026Updated 3 weeks ago
- A list of works and resources about double category theory, with a particular focus on applications.☆32Oct 19, 2022Updated 3 years ago