LLVM Dialects Library
☆24Jun 24, 2026Updated this week
Alternatives and similar repositories for llvm-dialects
Users that are interested in llvm-dialects are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLVM-Based Pipeline Compiler☆186Apr 29, 2025Updated last year
- ☆14May 3, 2025Updated last year
- ☆12Jul 25, 2024Updated last year
- Coordination repository of the Machine Learning (applicant) Working Group☆19Nov 15, 2020Updated 5 years ago
- Collection of C++ containers extracted from LLVM☆26May 11, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- No more "Load more"! >:3☆25Oct 27, 2024Updated last year
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- The LLVM Infrastructure Working Group☆18Aug 31, 2022Updated 3 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 3 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- Web framework based on Erlang's inets httpd framework☆18Apr 9, 2013Updated 13 years ago
- A MooTools class for handling navigation on long, single-page sites☆25Jan 26, 2011Updated 15 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆16Jun 18, 2026Updated last week
- C++ based programming language draft☆14Jun 8, 2022Updated 4 years ago
- ☆25Nov 5, 2025Updated 7 months ago
- Erlang Release Framework (in the early development phase)☆15Oct 30, 2011Updated 14 years ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- Ambient Log Monitoring☆16Jun 26, 2011Updated 15 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆19Nov 28, 2024Updated last year
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆58Jan 21, 2024Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Checking the network and application time of a service ( HTTP/HTTPS/FTP/etc )☆14Jun 23, 2011Updated 15 years ago
- Tree-sitter integration for Swift.☆27Sep 12, 2024Updated last year
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 11 years ago
- A collection of coding challenges from LeetCode, HackerRank and CtCI☆16Apr 8, 2026Updated 2 months ago
- ☆21Jan 21, 2026Updated 5 months ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Jun 12, 2023Updated 3 years ago
- ☆59Jun 9, 2026Updated 2 weeks ago
- Virtual memory based containers☆42Jan 26, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆133Mar 25, 2026Updated 3 months ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated 2 years ago
- Erlang interface to Apple's Bonjour DNS Service Discovery implementation☆46Jan 16, 2017Updated 9 years ago
- A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust☆36May 14, 2013Updated 13 years ago
- ☆37Updated this week
- ☆19Jun 1, 2026Updated 3 weeks ago
- jim is your friendly javascript library manager☆93May 30, 2012Updated 14 years ago