Ms Thesis @ FEUP
☆38Jul 16, 2024Updated last year
Alternatives and similar repositories for coral
Users that are interested in coral are comparing it to the libraries listed below
Sorting:
- the source of the stuff I do on twitch.tv☆16Oct 6, 2020Updated 5 years ago
- This component enables modern Samsung Heat Pumps to be integrated into ESPHome and Home Assistant. It supports NASA heat pumps that utili…☆24Updated this week
- Open-lmake is a generic, fearless build system. It is like make, except that it is user-friendly, versatile, scalable and reliable.☆45Updated this week
- A type-safe C successor that compiles directly to various platforms.☆139May 2, 2025Updated 10 months ago
- Tiny (ANSI) C library for pool allocation☆38Feb 11, 2026Updated 3 weeks ago
- wak -- an awk implementation for toybox and standalone☆86Dec 24, 2025Updated 2 months ago
- Talk to God on up to 64 cores☆34Apr 11, 2019Updated 6 years ago
- Stream input devices (mouses, gamepads, keyboards) to another host☆36Nov 21, 2022Updated 3 years ago
- Dependency lockfiles for reproducible build environments 📦🔒☆48Feb 20, 2026Updated 2 weeks ago
- A graphical man page viewer with man page search built on OpenGL and mandoc libraries☆93Jul 10, 2024Updated last year
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Feb 26, 2023Updated 3 years ago
- Source code of https://whatsrc.org/☆45Feb 23, 2026Updated 2 weeks ago
- Spec for the Flat Image Tree (FIT) specification☆14Updated this week
- A tool to transform Android Cuttlefish images into QEMU disk images☆15Jul 12, 2024Updated last year
- Command-line tool to check and monitor SSL certificate expiration across multiple domains.☆23Jul 30, 2025Updated 7 months ago
- A modern C++ rewrite of the OpenDingux pwswd daemon☆10Sep 4, 2020Updated 5 years ago
- ☆15Jan 6, 2026Updated 2 months ago
- Tool to archive RPM packages and attest to their authenticity☆14Jun 5, 2025Updated 9 months ago
- Home to my personal configuration files.☆12Updated this week
- 8️⃣ systemd source-git for RHEL8☆10Jan 30, 2026Updated last month
- A project attempting to redraw/upscale every texture in Mortal Kombat: Deception, for PCSX2 and Dolphin.☆13Jan 29, 2023Updated 3 years ago
- Lightweight async functions implementation in C, using multithreading☆12Jun 17, 2025Updated 8 months ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆10Aug 29, 2015Updated 10 years ago
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- HDR metadata extractor that uses ffprobe in order to retrieve HDR metadata from media file.☆14Mar 16, 2025Updated 11 months ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Jul 19, 2024Updated last year
- VGA text demo on STM32F103 "bluepill" (38x37 characters)☆10Nov 6, 2021Updated 4 years ago
- Show differences between directory trees☆16Aug 9, 2025Updated 7 months ago
- Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes☆15Jul 1, 2025Updated 8 months ago
- Startle C Library☆18Jan 28, 2019Updated 7 years ago
- Tab Snooze continued by csandapp☆14Mar 3, 2026Updated last week
- Debian Baseimages☆15Feb 27, 2026Updated last week
- Nix source☆13Nov 21, 2020Updated 5 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- A place to improve your RFC writing skills and collaborate on writing RFCs☆10Dec 1, 2016Updated 9 years ago
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- vlt - A secure command-line tool for managing secrets in your terminal.☆16Updated this week
- ☆13Dec 13, 2022Updated 3 years ago