Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
☆27Sep 24, 2026Updated 2 weeks ago
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.☆28Aug 19, 2026Updated last month
- SerialICE is a flexible, software based system software debugger☆36Aug 23, 2025Updated last year
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Command Line Interface Components☆15Sep 2, 2026Updated last month
- collection of scripts to extract files from BIOS images☆97Jun 10, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆17Jun 1, 2023Updated 3 years ago
- ☆18Sep 9, 2026Updated last month
- ☆13Oct 9, 2025Updated last year
- Experimental functional language☆17Dec 24, 2025Updated 9 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated last month
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- NVIDIA graphics driver kernel module for GeForce 700 series and newer☆13Apr 28, 2026Updated 5 months ago
- Ada binding and tools for ROS2 - workspace overlay and documentation☆28Sep 19, 2024Updated 2 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- 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.
- Hardware Division Units☆10Jul 17, 2014Updated 12 years ago
- Learn Ada by programming Minecraft robots!☆20Jan 13, 2026Updated 8 months ago
- ☆25Oct 1, 2026Updated last week
- DFU bootloader for SAMD11 and SAMD21 microcontrollers☆26Jun 27, 2024Updated 2 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- ☆15Jul 11, 2025Updated last year
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Aug 25, 2026Updated last month
- Meta-programming utilities for Agda.☆25Sep 1, 2026Updated last month
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- helper radare2 script to analyze UEFI firmware modules☆16Aug 30, 2018Updated 8 years ago
- Unicode Figlet conversion☆13Nov 17, 2013Updated 12 years ago
- This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…☆80Mar 18, 2025Updated last year
- Oberon to D Translator☆10Oct 15, 2019Updated 6 years ago
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years 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
- show a helpful summary of pytest results in GitHub Actions CI/CD workflow runs☆12Oct 1, 2026Updated last week
- 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.
- Nuvoton WPCM450 tools and documentation☆32Jan 15, 2024Updated 2 years ago
- A small 6502 system build on a Lattice Icestick FPGA development board☆16Jun 24, 2019Updated 7 years ago
- Ada Embedded Network Stack☆27Jul 14, 2026Updated 2 months ago
- This repository is part of the https://cgit.freedesktop.org/xorg/app/intel-gpu-tools/tree/tools/, created as standalone tool for Video BI…☆15Feb 4, 2019Updated 7 years ago
- Shell script for automated posting from rss feeds into Diaspora☆14Jul 11, 2017Updated 9 years ago
- A collection of best practices that we have learnt so far☆11Apr 19, 2014Updated 12 years ago
- Oberon-07/11 compiler for x86-32 written by akron1☆11May 11, 2014Updated 12 years ago