yggdrasil compiler with rust runtime
☆26Nov 21, 2025Updated 10 months ago
Alternatives and similar repositories for yggdrasil.rs
Users that are interested in yggdrasil.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:
- the-super-tiny-jsx-compiler☆24Sep 5, 2016Updated 10 years ago
- IPFS-WebDAV is a daemon that uses IPFS HTTP RPC and exposes WebDAV☆14Apr 27, 2023Updated 3 years ago
- A pauseless garbage collector in C.☆12Jan 5, 2023Updated 3 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- ☆11May 27, 2025Updated last year
- 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.
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆14Apr 24, 2026Updated 5 months ago
- 🦐 A Rust library that will communicate with Embedded Dart Sass using the Embedded Sass protocol.☆17Jan 3, 2024Updated 2 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- (POC) A demo illustrating frond-end source code encryption with WebAssembly.☆11Jun 22, 2022Updated 4 years ago
- ☆10Feb 27, 2023Updated 3 years ago
- ☆14Sep 2, 2012Updated 14 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Nov 19, 2024Updated last year
- ☆12Aug 26, 2022Updated 4 years ago
- 一个简单的网络论坛，使用 ThinkPHP 框架。☆12May 29, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ntype cafe summer school resources☆149Jun 16, 2024Updated 2 years ago
- Knowledge in Shanghai standard senior high school.☆14Jan 4, 2024Updated 2 years ago
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Aug 14, 2019Updated 7 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Sep 12, 2026Updated 3 weeks ago
- Code repository for our work on Quantum Pi☆12Jun 4, 2024Updated 2 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆24Jun 21, 2025Updated last year
- 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.
- ☆12Oct 28, 2025Updated 11 months ago
- Fabric port of Mystical Agriculture☆10May 17, 2024Updated 2 years ago
- Python client SDK for the Qumulator quantum computing API☆20Sep 5, 2026Updated last month
- blog with go☆11Jul 5, 2023Updated 3 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 3 months ago
- compile rust-like source code to x86 assembly☆14Feb 11, 2024Updated 2 years ago
- Lexes CSS modules returning their dependencies metadata.☆22Aug 14, 2026Updated last month
- A terminal workspace with batteries included☆17Oct 6, 2024Updated 2 years ago
- The fun programming language☆17Oct 30, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A friendly fork of TigerBeetle's `flag` module with added support for subcommand specific help and short options.☆10May 12, 2024Updated 2 years ago
- A web playground with Lua interpreter compiled to wasm☆13Sep 13, 2024Updated 2 years ago
- Intel 185H Kubernetes with SR-IOV GPU Passthrough to cluster w/ various projects. Now with working Intel SR-IOV to KubeVirt!☆16Oct 1, 2026Updated last week
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- A math resource for CS student (I have decided to refactor the contents to my personal blog and continue working on this, so the project …☆21Aug 15, 2026Updated last month
- A simple resume template written in LaTeX with docker☆10Feb 6, 2023Updated 3 years ago
- Scheme interpreter and REPL☆12Jul 17, 2023Updated 3 years ago