tiagodusilva / coralView external linksLinks
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
- A breakpoint should just mean >>>☆77Jan 15, 2026Updated last month
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 4 years ago
- Tiny (ANSI) C library for pool allocation☆38Updated this week
- wak -- an awk implementation for toybox and standalone☆86Dec 24, 2025Updated last month
- Talk to God on up to 64 cores☆33Apr 11, 2019Updated 6 years ago
- NS-MIRACLE is a framework designed to enhance the functionalities provided by NS2. It provides an efficient engine for handling cross-lay…☆12Dec 11, 2025Updated 2 months 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 2 years ago
- Source code of https://whatsrc.org/☆44Feb 7, 2026Updated last week
- A modern C++ rewrite of the OpenDingux pwswd daemon☆10Sep 4, 2020Updated 5 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆48Apr 7, 2023Updated 2 years ago
- A tool to transform Android Cuttlefish images into QEMU disk images☆15Jul 12, 2024Updated last year
- Shaders, overlays, documentation, and a collection of information and utilities for personal use and needs.☆11Sep 29, 2024Updated last year
- ☆15Jan 6, 2026Updated last month
- Read only mirror of https://gitlab.com/gitlab-org/cli☆17Updated this week
- Replace URL by regex pattern mapping☆11Apr 1, 2020Updated 5 years ago
- Tool to archive RPM packages and attest to their authenticity☆14Jun 5, 2025Updated 8 months ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 3 years ago
- Implements Google Partial Response dictionary pruning in Python☆15Aug 20, 2022Updated 3 years ago
- Prototyping and research tool for Xbox One SystemOS based on Collateral Damage☆22Nov 20, 2025Updated 2 months ago
- An idiomatic C++ wrapper for the Monocypher crypto library☆12Oct 6, 2024Updated last year
- a program that makes dos idle while doing nothing☆11Nov 13, 2018Updated 7 years ago
- A robust tree data-structure in pure rust.☆11Jul 17, 2025Updated 7 months ago
- Legacy version: Use math3d-react repo instead☆12Sep 25, 2019Updated 6 years ago
- Gede is a graphical frontend (GUI) to GDB written in C++ and using the Qt4 toolkit. This repository is an unofficial mirror of the websi…☆12Mar 26, 2020Updated 5 years ago
- A project attempting to redraw/upscale every texture in Mortal Kombat: Deception, for PCSX2 and Dolphin.☆13Jan 29, 2023Updated 3 years ago
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆16Updated this week
- A PAM wrapper for encapsulation of dynamic module loading☆15Jan 21, 2026Updated 3 weeks ago
- Minimal blockchain in Haskell☆13Oct 14, 2017Updated 8 years ago
- Plugin for Neovim that allows you to quickly open a file located under the cursor☆21Nov 10, 2025Updated 3 months ago
- Debian Baseimages☆15Updated this week
- A Grub theme for CachyOS☆10Feb 7, 2025Updated last year
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- Create EPUBs from your Readwise Reader inbox☆16Jul 8, 2023Updated 2 years ago
- MCUboot, but in Rust☆13Nov 7, 2023Updated 2 years ago
- mDNS test☆17Aug 18, 2011Updated 14 years ago
- Show differences between directory trees☆16Aug 9, 2025Updated 6 months ago
- GTK theme taking styles & colors from Windows 8.1 Metro apps☆13Jun 21, 2023Updated 2 years ago