LLVM Kaleidoscope Tutorial in Rust
☆49May 10, 2025Updated last year
Alternatives and similar repositories for llvm-kaleidoscope-rs
Users that are interested in llvm-kaleidoscope-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- A POC for Postgres logical replication in Rust☆11Oct 26, 2023Updated 3 years ago
- ☆15Jan 23, 2026Updated 9 months ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆12Jun 3, 2021Updated 5 years ago
- ☆25Jun 30, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- LLVM tutorial in Rust language☆1,244Apr 3, 2024Updated 2 years ago
- library for utreexo accumulator in c++☆22Apr 12, 2023Updated 3 years ago
- Reproducing results from Deep Flow Guided Scene Agnostic Image Based Visual Servoing submission at ICRA'20☆10Aug 30, 2020Updated 6 years ago
- How to scale Jitsi to handle 2000+ users across 20 conferences, using terraform + gcp☆18Sep 9, 2020Updated 6 years ago
- Compiler for a tiny subset of the Scheme language.☆23Jul 13, 2016Updated 10 years ago
- set of script which can be used to automate lfs build☆11Nov 27, 2019Updated 6 years ago
- Offline tools for moving coins☆16Jan 19, 2022Updated 4 years ago
- Handy tooling for generating and verifying Merkle proofs☆10May 22, 2023Updated 3 years ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Odin loader for vox models from MagicaVoxel☆14Dec 14, 2023Updated 2 years ago
- A template for easily building Autonomous Verified Services with WAVS.☆16May 12, 2026Updated 5 months ago
- Quantum benchmarking framework☆16Jul 29, 2026Updated 3 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A Multichain Relayer Node☆17Aug 26, 2024Updated 2 years ago
- ☆15Oct 3, 2023Updated 3 years ago
- ML implementations for practical use☆16Apr 30, 2020Updated 6 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- ☆15Feb 23, 2022Updated 4 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.
- Fast RLP encoder/decoder☆26Dec 18, 2023Updated 2 years ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- Plugin on Python; Create signatures for rust binaries☆18Dec 8, 2022Updated 3 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆10Jan 20, 2026Updated 9 months ago
- A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.☆43Oct 27, 2026Updated last week
- Benchmark and method for studying catastrophic forgetting in large language models☆20Oct 20, 2026Updated 2 weeks ago
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 10 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A small tool for rapid enumeration of CPUID, and MSR fields.☆35Jan 30, 2024Updated 2 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- Shanghai Ruby User Group☆12Apr 6, 2016Updated 10 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- A Rust implementation of a constant time LFU cache☆14Jun 23, 2026Updated 4 months ago
- PL Reading Group Website☆17Jan 12, 2026Updated 9 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆21Updated this week