A fast reference counting library for C++
☆25Jul 23, 2025Updated 7 months ago
Alternatives and similar repositories for frc
Users that are interested in frc are comparing it to the libraries listed below
Sorting:
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- GPIO implementation for the BeagleBone black for the Nim language.☆16May 22, 2017Updated 8 years ago
- Packed ASTs for compact and efficient JSON representation, with JSON Pointer, JSON Patch support.☆23Jan 30, 2026Updated last month
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Feb 10, 2023Updated 3 years ago
- Formatics - Metamath verifier written in Nim.☆20May 13, 2022Updated 3 years ago
- Interface macro for nim☆20Jun 23, 2023Updated 2 years ago
- ☆56Jun 26, 2015Updated 10 years ago
- GoNative project: formal machines models in Coq☆36Aug 3, 2017Updated 8 years ago
- Nim wrapper for the Chromium Embedded Framework☆30Oct 31, 2020Updated 5 years ago
- API wrapper for uHoo Air☆10Nov 8, 2021Updated 4 years ago
- SIGPLAN website☆13Updated this week
- julia <3 clojure + macroexpansion☆11May 2, 2016Updated 9 years ago
- SineKAN: Kolmogorov-Arnold Networks Using Sinusoidal Activation Functions☆15Dec 19, 2024Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Static projectile motion simulation website in Nim☆13Oct 19, 2024Updated last year
- Layout and custom fields for DanePubliczne.gov.pl☆10Dec 7, 2022Updated 3 years ago
- QuickBooks Web Connector (QWC) implementation in Java☆14Sep 13, 2014Updated 11 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- libsensors wrapper☆10Jan 22, 2023Updated 3 years ago
- 新版《Redis 设计与实现》的支持网站。☆12May 1, 2024Updated last year
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- Nim reimplementation of gron tool☆11Oct 9, 2024Updated last year
- Elixir wrapper for Plotly.js☆12May 27, 2020Updated 5 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- Amazon Simple Storage Service (AWS S3) basic API support☆13May 9, 2025Updated 9 months ago
- a regular expression railroad diagram view for regexp under the cursor☆24Mar 18, 2023Updated 2 years ago
- NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming langu…☆12Jan 23, 2026Updated last month
- Ab Initio Energies☆10Nov 22, 2025Updated 3 months ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- Winword 1 (Opus) build with protected mode compiler☆11Jun 7, 2024Updated last year
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- ☆15May 6, 2021Updated 4 years ago
- A nim variant of the code for the modern robotics book☆10Dec 5, 2020Updated 5 years ago
- A super simple, fast NoSQL database made in Java.☆10Jul 4, 2021Updated 4 years ago
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- Haxe/Javascript type definitions for google apps scripts☆16Aug 25, 2021Updated 4 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago