Thin wrapper over OS-provided I/O readiness notification facilities
☆24Jun 25, 2024Updated last year
Alternatives and similar repositories for ivykis
Users that are interested in ivykis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Logging Daemon☆11Jan 5, 2022Updated 4 years ago
- Lightweight C++ API for Lua☆26Feb 1, 2026Updated 4 months ago
- Graph the dependencies of your repositories☆18Jan 16, 2019Updated 7 years ago
- View the dependencies of your repositories.☆11Nov 8, 2022Updated 3 years ago
- hardening-check from debian checks binarys for Pie (Position Independent Executeable), Stack protection, fortify source and immediate bin…☆12Sep 12, 2016Updated 9 years ago
- 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.
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Produce code coverage reports for AFL++ fuzzing campaigns with source code or in binary-only mode☆35Jul 18, 2025Updated 10 months ago
- A sample kernel module showing the memory reordering.☆12May 30, 2020Updated 6 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Hardware performance counter tool for Windows OS☆18Sep 4, 2018Updated 7 years ago
- A versatile and programmable static binary instrumentation tool☆19Feb 7, 2018Updated 8 years ago
- Francois Chollet-Deep Learning with Python的python代码加中文注释☆13Jan 9, 2018Updated 8 years ago
- 7️⃣ systemd source-git for RHEL7☆11Jul 11, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Mar 26, 2022Updated 4 years ago
- 中医自然本文挖掘☆16Jun 14, 2013Updated 13 years ago
- systemd-free GNU/Linux for AWS Cloud Environment☆20Jan 25, 2023Updated 3 years ago
- CNN BiGRU ensembled-method☆12Jul 30, 2018Updated 7 years ago
- Kernel for the SDM845 modules☆17May 20, 2026Updated 3 weeks ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- 我在阿里这十年☆12Dec 10, 2020Updated 5 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆14May 19, 2025Updated last year
- A light-weight C++ profiling library☆31Jul 9, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LLVM DSA fork for SeaHorn☆21Aug 17, 2019Updated 6 years ago
- The libtool accelerator: A miniature frontend for libtool that replaces libtool on sensible systems, and simply calls GNU libtool on eve…☆20Jun 1, 2014Updated 12 years ago
- Tools for testing kernel ciphers and hash algorithm☆15Apr 27, 2023Updated 3 years ago
- Procedures of learning Computer Science☆20Oct 30, 2018Updated 7 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆21Jun 6, 2020Updated 6 years ago
- Ruby API and Command Line Interface for Zabbix configuration☆12Jul 10, 2019Updated 6 years ago
- An end-to-end management tool for very large computing environments, physical and virtual. it collects alarms and detailed statistics fro…☆16Apr 7, 2023Updated 3 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.
- All Rudder public plugins in one repository. Licenses are by-plugin.☆16Updated this week
- Automatically exported from code.google.com/p/shunit2☆10Feb 15, 2016Updated 10 years ago
- Static Land Stream type for Most☆14Sep 6, 2016Updated 9 years ago
- An OCI-compliant and Docker-compatible container registry.☆52Updated this week
- This is tcllauncher, a launcher program for Tcl applications.☆20Nov 8, 2021Updated 4 years ago
- Saltstack AWS creates all the non-server components of a AWS hosted datacenter☆11Aug 23, 2018Updated 7 years ago
- VMWare tools for CoreOS in Docker image☆17Sep 5, 2014Updated 11 years ago