The LLVM Symbolic Simulator, part of SAW.
☆22Jul 17, 2020Updated 5 years ago
Alternatives and similar repositories for llvm-verifier
Users that are interested in llvm-verifier are comparing it to the libraries listed below
Sorting:
- The SAW core language.☆55Jun 9, 2021Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- FreeBSD service daemon for KBFS, the Keybase filesystem☆13Jul 22, 2021Updated 4 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- Quandl.com API implementation in Haskell☆17Jul 3, 2021Updated 4 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Collection of Mozilla MathML add-ons☆35Apr 23, 2017Updated 8 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- Create command line interfaces with ease☆41Jan 21, 2023Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- haskell bindings for blas and lapack☆49Feb 3, 2018Updated 8 years ago
- Generic Decoder Specification Language Toolkit☆32Mar 29, 2019Updated 6 years ago
- Lua debugger and interpreter☆27Oct 3, 2018Updated 7 years ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- All things manipulating, quantifying, and visualizing geochemical data☆13Jan 19, 2024Updated 2 years ago
- This module includes functions that can be used to simulate mechanochemical phenomena.☆11Nov 16, 2021Updated 4 years ago
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 10 months ago
- Haskell test discovery for the tasty framework☆35Jun 5, 2018Updated 7 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Aug 5, 2025Updated 7 months ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Runtime support for LLVM's GC Statepoints☆42Mar 10, 2020Updated 5 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- The SQL link in your *NIX chain☆22Feb 28, 2013Updated 13 years ago
- Common code, such as validators and mixins, that are shared between ActiveModels in metasploit-framework and ActiveRecords in metasploit_…☆14May 2, 2025Updated 10 months ago
- homebridge smartthings plugin☆22Feb 25, 2026Updated last week
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- PassDock public issue tracker.☆23Nov 11, 2014Updated 11 years ago
- Device types and SmartApps written for the SmartThings home automation system.☆11Jun 3, 2014Updated 11 years ago
- Calculating paramagnetic NMR effects in proteins☆10May 20, 2022Updated 3 years ago
- Graph neural network for predicting energy of known and hypothetical crystal structures☆10Jan 26, 2022Updated 4 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- DEPRECATED: Element Hiding Helper extension for Adblock Plus☆11Dec 1, 2017Updated 8 years ago
- Encoders and Decoders for RF and IR protocols used for remote control and data acquisition. Both Encoders and Decoders can be supplied as…☆13Jul 29, 2017Updated 8 years ago