Experimental statically-typed compiled programming language made with LLVM and Rust.
☆18Aug 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
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- Easy compile C++20 cross platform ImGui file browser with system theme style icon☆14May 18, 2026Updated 2 months ago
- Exhaustive iteration trait in Rust☆24Updated this week
- type 2 thin hypervisor written in c++☆21Jan 11, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A bootkit to bypass Windows login (WIP)☆10Oct 25, 2023Updated 2 years ago
- Indexer for Ethereum Layer 2s (OP Stack rollups, Arbitrum, etc...)☆35Jan 30, 2026Updated 5 months ago
- Game Hacking / DirectX 9 GUI Library☆10Sep 26, 2018Updated 7 years ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated 2 years ago
- My research WIP bluepill hypervisor☆41Mar 15, 2023Updated 3 years ago
- Home of the Swag programming language compiler and standard workspace☆16Nov 29, 2025Updated 7 months ago
- Old way for blocking NMI interrupts☆28Sep 6, 2022Updated 3 years ago
- type 1 thin hypervisor written in C++☆17Dec 18, 2024Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- POC for your p2c "unique loader build"☆13Jun 28, 2024Updated 2 years ago
- ☆18Dec 3, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- markdown with Sycamore☆14Nov 5, 2024Updated last year
- An API compatible port of the Stone prover.☆20Nov 4, 2024Updated last year
- A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.☆13Apr 7, 2026Updated 3 months ago
- Cairo1 execution in Cairo0 environment☆11Jul 14, 2024Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- ☆15May 27, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- hardware dma counter-strike 2 cheat☆15Apr 19, 2024Updated 2 years ago
- RmlUi with D3D11 renderer☆12Dec 29, 2021Updated 4 years ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Oct 22, 2024Updated last year
- WinHvShellcodeEmulator (WHSE) is a shellcode emulator leveraging the Windows Hypervisor Platform API☆26Apr 24, 2022Updated 4 years ago
- An implementation of Forth in C++ 20.☆16May 10, 2026Updated 2 months ago
- LLVM alternative in Rust☆16May 20, 2024Updated 2 years ago
- DWARF1 analyzer for Ghidra☆15Mar 21, 2021Updated 5 years ago
- ☆24May 21, 2021Updated 5 years ago
- Browser assembler based on Keystone using WASM☆17Feb 17, 2025Updated last year
- 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.
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Contains the samples of the book "Getting Started with TypeScript"☆12Apr 29, 2021Updated 5 years ago
- An advanced DKOM for drivers with "DRIVER_OBJECT"☆24Feb 19, 2023Updated 3 years ago
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- Cosmic applet to display number of arch updates available.☆18Updated this week
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- ☆13May 2, 2026Updated 2 months ago