Runtime verification for C code via a GCC plugin architecture.
☆11Apr 30, 2016Updated 10 years ago
Alternatives and similar repositories for ivory-rtverification
Users that are interested in ivory-rtverification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ENSIIE Lectures☆11Oct 21, 2026Updated last week
- ☆13Aug 4, 2026Updated 2 months ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- An open source framework for modular, extensible, experimental, network stack implementation.☆18Oct 23, 2014Updated 12 years ago
- Solutions to exercism assignments.☆11Dec 7, 2013Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Imports gmail contacts to abook☆11Sep 20, 2012Updated 14 years ago
- A Haskell interface to Lego Mindstorms NXT over Bluetoooth. It supports direct commands, messages and many sensors (also unofficial).☆12Dec 27, 2022Updated 3 years ago
- An experiment in reading ZFS in C#. CDDL licensed.☆18Feb 16, 2026Updated 8 months ago
- Lexical analyzer.☆10Jan 30, 2021Updated 5 years ago
- A GCC plugin implementing various stack canaries.☆14Sep 7, 2012Updated 14 years ago
- Practical example from Human-in-the-Loop Machine Learning book☆11Oct 28, 2021Updated 5 years ago
- Bibweb: a utility for automatically retrieving bibliographical information from MathSciNet☆11Sep 26, 2023Updated 3 years ago
- Basic Implementation of LZ78 Compression Alghorithm☆13Feb 8, 2013Updated 13 years ago
- Dongliang Mu de Blog☆10Sep 25, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Vim plugin to display error marks on line which contain errors after compilation☆11Oct 10, 2017Updated 9 years ago
- A web app for Overland☆12Mar 26, 2026Updated 7 months ago
- Yet another Blog engine written in Haskell powered by yesod.☆13Jan 1, 2013Updated 13 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 11 years ago
- MARNNs Can Learn Generalized Dyck Languages☆12Nov 11, 2019Updated 6 years ago
- A Cryptol major mode for Emacs.☆14May 31, 2019Updated 7 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Erlang library for encoding and decoding postgres data types☆18Dec 9, 2025Updated 10 months ago
- A haskell pastebin using happstack & HSP!☆12Apr 16, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.☆15May 5, 2019Updated 7 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Binning (Newick) Phylogenetic Trees by Topology☆10Mar 11, 2019Updated 7 years ago
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Jan 16, 2016Updated 10 years ago
- A Tic-Tac-Toe Game Engine implemented as Linux kernel module☆12Jul 17, 2026Updated 3 months ago
- Simple perlin noise implementation (1D)☆12May 7, 2018Updated 8 years ago
- A service for launching containerized processes on cloud infrastructure.☆12Nov 16, 2023Updated 2 years ago
- Extracting minimal DFA's from well-trained RNN's☆11Nov 26, 2018Updated 7 years ago
- Dynamic Scheduling System for the GBT☆16Sep 6, 2011Updated 15 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.
- QR Code encoder in pure Haskell☆16May 23, 2023Updated 3 years ago
- Install binary packages in a temporary Cabal sandbox☆16Dec 11, 2015Updated 10 years ago
- documents of linux kernel x86 study☆11Nov 30, 2012Updated 13 years ago
- Linux kernel SGX driver for Graphene☆12Nov 3, 2020Updated 5 years ago
- State-Regularized Recurrent Neural Networks☆11Sep 20, 2019Updated 7 years ago
- Yet another busybox / toybox tool. This one's written in Intel x86-64 64-bit assembly language.☆14Apr 23, 2023Updated 3 years ago
- Compiler to convert BPMN 2.0 xml to solidity smart contract☆18Sep 3, 2024Updated 2 years ago