A library for analyzing LLVM bitcode in Haskell
☆43Oct 9, 2014Updated 12 years ago
Alternatives and similar repositories for llvm-analysis
Users that are interested in llvm-analysis 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 smarter tool to automatically generate FFI bindings for C libraries☆11Sep 8, 2014Updated 12 years ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 9 months ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 6 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.
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- Desugaring HSE AST☆10May 10, 2013Updated 13 years ago
- Quasiquoter for LLVM☆32Apr 14, 2018Updated 8 years ago
- The Wheeler symbolic manipulation library☆14Mar 6, 2013Updated 13 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 years ago
- A CTF fuzz powerd by protobuf.☆15May 24, 2022Updated 4 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Jan 4, 2015Updated 11 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year
- Cayley-Dickson constructions☆11Nov 30, 2015Updated 10 years ago
- Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)☆20Nov 26, 2021Updated 4 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- Haskell data structures and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, and TFTP packages. Extracted from the House project n…☆13Dec 17, 2024Updated last year
- ☆40Dec 24, 2023Updated 2 years ago
- 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.
- ☆22Jun 25, 2025Updated last year
- sparse matrices in Morton order☆24Aug 9, 2015Updated 11 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- D3CTF-2022-Official-Writeup☆16Mar 11, 2022Updated 4 years ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- A reimplementation of GHC's runtime system in Rust☆15Apr 29, 2014Updated 12 years ago
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- ☆12May 10, 2017Updated 9 years ago
- A generic, derivable, haskell pretty printer - Research project, summer of 2011☆10Nov 10, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )☆22Oct 27, 2012Updated 14 years ago
- Toy example — How can GHC optimize monad transformers?☆11Nov 8, 2016Updated 9 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- A type safe layer for llvm-general☆11Feb 5, 2016Updated 10 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- qDesktopSearch - a Qt5 Desktop App for indexing & searching the files of the local machine☆10May 3, 2016Updated 10 years ago