Experimental statically-typed compiled programming language made with LLVM and Rust.
☆17Aug 1, 2024Updated last year
Alternatives and similar repositories for edlang
Users that are interested in edlang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- Easy compile C++20 cross platform ImGui file browser with system theme style icon☆16May 18, 2026Updated last week
- Exhaustive iteration trait in Rust☆26May 7, 2026Updated 2 weeks ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated last year
- A bootkit to bypass Windows login (WIP)☆10Oct 25, 2023Updated 2 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.
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆35Jan 30, 2026Updated 3 months ago
- Game Hacking / DirectX 9 GUI Library☆10Sep 26, 2018Updated 7 years ago
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated 2 years ago
- UEFI Hypervisor☆21Feb 1, 2016Updated 10 years ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- Home of the Swag programming language compiler and standard workspace☆16Nov 29, 2025Updated 5 months ago
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Benchmark of ZKVMs and Proving Schemes☆36Apr 13, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Cairo1 execution in Cairo0 environment☆11Jul 14, 2024Updated last year
- markdown with Sycamore☆14Nov 5, 2024Updated last year
- webbed site?☆18Mar 22, 2026Updated 2 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Oct 22, 2024Updated last year
- Attack tool for altering packed samples so that they evade static packing detection☆22Jan 26, 2025Updated last year
- GUI tool for sending IOCTL to windows drivers.☆21May 31, 2024Updated last year
- hardware dma counter-strike 2 cheat☆15Apr 19, 2024Updated 2 years ago
- RmlUi with D3D11 renderer☆12Dec 29, 2021Updated 4 years ago
- WinHvShellcodeEmulator (WHSE) is a shellcode emulator leveraging the Windows Hypervisor Platform API☆26Apr 24, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- D3D11 Renderer☆18May 12, 2024Updated 2 years ago
- LLVM alternative in Rust☆15May 20, 2024Updated 2 years ago
- DWARF1 analyzer for Ghidra☆15Mar 21, 2021Updated 5 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- ☆24May 21, 2021Updated 5 years ago
- Contains the samples of the book "Getting Started with TypeScript"☆12Apr 29, 2021Updated 5 years ago
- 🚃 lib for CLI utilities, printing, and error handling☆15Mar 13, 2026Updated 2 months ago
- Browser assembler based on Keystone using WASM☆18Feb 17, 2025Updated last year
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 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.
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- ☆13May 2, 2026Updated 3 weeks ago
- Cosmic applet to display number of arch updates available.☆18Apr 30, 2026Updated 3 weeks ago
- A concise, self-describing binary format written in Rust for Serde☆68Aug 18, 2024Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆135Updated this week
- Not mine. Only for saving☆27Jun 28, 2022Updated 3 years ago
- 🐻❄️🧶 Rust crate that bridges application code to object storage providers easily.☆18May 15, 2026Updated last week