A smarter tool to automatically generate FFI bindings for C libraries
☆11Sep 8, 2014Updated 12 years ago
Alternatives and similar repositories for foreign-inference
Users that are interested in foreign-inference are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- A library for analyzing LLVM bitcode in Haskell☆43Oct 9, 2014Updated 12 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 6 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.
- A collection of scripts I use for hacking on container stuff like the linux kernel.☆13Apr 1, 2026Updated 6 months ago
- Public repository of the dynamic binary analysis framework WEASEL. WEASEL's main purpose is the identification and elimination of backdoo…☆15Nov 10, 2020Updated 5 years ago
- ☆28Sep 14, 2015Updated 11 years ago
- Object storage with metadata, expiration, and auditing☆15Updated this week
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- DARPA CASE program☆16Jun 10, 2025Updated last year
- Fast cryptographic networking for Haskell☆25Dec 29, 2012Updated 13 years ago
- Modular type class machinery for monad transformer stacks.☆32Aug 16, 2018Updated 8 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- 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.
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 9 years ago
- Emacs minor mode that automatically demangles C++, D, and Rust symbols☆22Aug 22, 2021Updated 5 years ago
- Pure Rust Whisper File Library☆11Mar 28, 2018Updated 8 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- ☆10Updated this week
- A Datalog API for Spark☆25Sep 7, 2016Updated 10 years ago
- eats a gif, spits out fully decoded frames☆10Jul 31, 2015Updated 11 years ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated 2 years ago
- A consumer + rpc interface for asynchronous task execution☆18Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Jan 4, 2015Updated 11 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Smuggle arbitrary values in ()☆12Apr 18, 2023Updated 3 years ago
- Generic library for structured commands with explicit parallelism☆11Nov 16, 2022Updated 3 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- ☆14Dec 31, 2024Updated last year
- meta.plasm.us☆32Dec 11, 2021Updated 4 years ago
- A simplified port of DIStage phased dependency injection for Python☆13Nov 6, 2025Updated 11 months 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.
- Bit twiddling and bitwise serialization primitives☆14May 8, 2022Updated 4 years ago
- Command line wrapper to interact with CodeGuru Reviewer☆23Sep 3, 2024Updated 2 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated last year
- A framework for correctly implementing stateful microservice applications on serverless using standard Python.☆13Jan 5, 2023Updated 3 years ago
- Adding minimap functionality to CodeMirror☆15Jan 18, 2013Updated 13 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Jul 21, 2026Updated 3 months ago
- Python code examples for Amazon CodeGuru Reviewer☆24May 1, 2024Updated 2 years ago