☆25Sep 22, 2014Updated 11 years ago
Alternatives and similar repositories for info
Users that are interested in info are comparing it to the libraries listed below
Sorting:
- Sensirion SCD4x sensor library for the ESP32 microcontroller family. It enables developers to communicate with the SCD4x sensor on the ES…☆13Aug 7, 2022Updated 3 years ago
- Go code-gen ORM☆15Feb 20, 2026Updated last week
- fasmg implementation of ARMv6-M instruction set☆12Apr 17, 2024Updated last year
- ☆12Feb 7, 2013Updated 13 years ago
- This is a simple sample c++ project with Gitlab CI hooks☆10Jul 23, 2024Updated last year
- An Obsidian plugin for executing Sage computations in notes.☆13Dec 24, 2022Updated 3 years ago
- Static Analysis Results Interchange Format (SARIF) For OCaml☆14Mar 13, 2025Updated 11 months ago
- A tutorial on Racket's FFI by example☆18Jun 8, 2013Updated 12 years ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10May 18, 2025Updated 9 months ago
- Simple Scheduler library with no priority and non-preemptive scheduling scheme☆15Mar 17, 2014Updated 11 years ago
- SuperPaintman's personal blog☆10Jul 30, 2021Updated 4 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Library for solving packages and reading repositories (superseded by libsolv)☆11Oct 10, 2019Updated 6 years ago
- A tool for verifying game-hopping proofs☆15Jan 13, 2026Updated last month
- Python and Fortran Numerical Implementations of the Polya Enumeration Theorem☆12Nov 9, 2016Updated 9 years ago
- iproto cli tools☆11Jan 2, 2018Updated 8 years ago
- Fast block cipher implementations (x86-64) in counter-mode for the SUPERCOP cryptographic benchmarking framework. Artifacts of implementa…☆11Nov 12, 2018Updated 7 years ago
- C++20 library for binary serialization of arbitrary aggregates or tuples. The library also unifies work with tuples and aggregates☆13Feb 26, 2022Updated 4 years ago
- Random TCP Port Reserver☆10Apr 1, 2024Updated last year
- UVM Python Verification Agents Library☆15Mar 18, 2021Updated 4 years ago
- Crypto labs☆11Oct 30, 2025Updated 4 months ago
- VK Streaming API for python☆13Mar 10, 2019Updated 6 years ago
- An example of combining cmake, swig and java☆15Mar 14, 2014Updated 11 years ago
- OpenPineScript is an open-source runtime for Pine Script code, providing a free and extensible platform to execute and experiment with Pi…☆19Feb 8, 2026Updated 2 weeks ago
- The Chef symbolic execution platform, based off S2E☆12Nov 1, 2022Updated 3 years ago
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 3 months ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- ☆10Oct 20, 2020Updated 5 years ago
- Rust mg☆10Sep 19, 2019Updated 6 years ago
- ☆14Aug 20, 2019Updated 6 years ago
- A language server for perl☆16Apr 16, 2018Updated 7 years ago
- Lightweight iterators for various sets where the elements are computed on demand.☆22Sep 25, 2016Updated 9 years ago
- Finds optimal code sequences for stack transformations☆26Feb 21, 2019Updated 7 years ago
- 🎄 advent of code using ocaml.☆17Dec 25, 2023Updated 2 years ago
- High-precision Mandelbrot fractal iterations in C++ template code☆17Nov 22, 2025Updated 3 months ago
- The repo of "BugLens"☆35Nov 12, 2025Updated 3 months ago
- Verilator open-source SystemVerilog simulator and lint system☆22Updated this week
- Adding UVM support to Icarus Verilog (and Verilator in near future) by taking a step-by-step, bottom-up approach.☆24Dec 27, 2022Updated 3 years ago
- A compilation of golang tutorials, articles, talks, etc☆15Jan 8, 2020Updated 6 years ago