One-for-all python script for running LLVM experiment
☆11Jun 30, 2022Updated 3 years ago
Alternatives and similar repositories for llvmscript
Users that are interested in llvmscript are comparing it to the libraries listed below
Sorting:
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- A summary of my activities during the past four years☆31Dec 18, 2025Updated 2 months ago
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 10 months ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- BSim signatures and databases for Ghidra to recover function symbols with☆13Jul 11, 2024Updated last year
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 5 years ago
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆14Dec 3, 2016Updated 9 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆11Jul 28, 2025Updated 7 months ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 11, 2026Updated 2 weeks ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 3 years ago
- The PERPL Compiler☆14Oct 17, 2025Updated 4 months ago
- A higher-level httpaf server interface☆12Aug 18, 2020Updated 5 years ago
- Figma plugin for automatic time tracking and metrics generated from your Figma usage.☆12Dec 19, 2024Updated last year
- ohyecloudy dotfiles☆14Feb 20, 2026Updated last week
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Svg based heatmaps in Elm☆14May 10, 2017Updated 8 years ago
- ☆10Jun 13, 2015Updated 10 years ago
- A Haskell framework for running concurrent computations on an HPC cluster.☆13Oct 10, 2025Updated 4 months ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 4 years ago
- Topological sort algorithm☆15Jan 15, 2026Updated last month
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 4 months ago
- OCaml.org v3 data repository☆13Sep 14, 2021Updated 4 years ago
- ☆15Jun 26, 2019Updated 6 years ago
- UU AFP Summer School Homepage☆11May 20, 2025Updated 9 months ago
- Stable diffusion dedicated Hardware with multiple pipelined processor cores☆14Nov 10, 2024Updated last year
- An Open-source Software for SmallBasic Interpreter and Debugger written in Java☆17Sep 11, 2025Updated 5 months ago
- Enables HTTP file uploads and form processing in OCaml web applications.☆14Jun 19, 2024Updated last year
- Batch processing using joblib including tqdm progress bars☆20Dec 29, 2021Updated 4 years ago
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 7 years ago
- ☆10May 11, 2023Updated 2 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- ☆16Apr 15, 2025Updated 10 months ago