GaloisInc / llvm-verifierView external linksLinks
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
- FreeBSD service daemon for KBFS, the Keybase filesystem☆13Jul 22, 2021Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Quandl.com API implementation in Haskell☆17Jul 3, 2021Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Collection of Mozilla MathML add-ons☆35Apr 23, 2017Updated 8 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 4 months ago
- haskell bindings for blas and lapack☆49Feb 3, 2018Updated 8 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
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 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
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 2 years ago
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 9 months ago
- Haskell test discovery for the tasty framework☆35Jun 5, 2018Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 10 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Aug 5, 2025Updated 6 months ago
- Runtime support for LLVM's GC Statepoints☆42Mar 10, 2020Updated 5 years ago
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- A simple OpenGL 3.2 example using MSVS 2010 and freeglut☆12Feb 4, 2013Updated 13 years ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- Scotch pipeline for indel calling.☆10Nov 25, 2019Updated 6 years ago
- The SQL link in your *NIX chain☆22Feb 28, 2013Updated 12 years ago
- Implementation of MetaVQA.☆12Jul 3, 2021Updated 4 years ago
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Common code, such as validators and mixins, that are shared between ActiveModels in metasploit-framework and ActiveRecords in metasploit_…☆14May 2, 2025Updated 9 months ago
- Graph neural network for predicting energy of known and hypothetical crystal structures☆10Jan 26, 2022Updated 4 years ago
- Detect interesting SARS-CoV-2 spike protein variants from Sanger sequencing data.☆11Apr 15, 2022Updated 3 years ago
- Device types and SmartApps written for the SmartThings home automation system.☆11Jun 3, 2014Updated 11 years ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Encoders and Decoders for RF and IR protocols used for remote control and data acquisition. Both Encoders and Decoders can be supplied as…☆12Jul 29, 2017Updated 8 years ago
- PassDock public issue tracker.☆23Nov 11, 2014Updated 11 years ago