Miri: GPU-first programming language
☆16Oct 19, 2026Updated this week
Alternatives and similar repositories for miri
Users that are interested in miri 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 Verum Programming Language☆15Updated this week
- The Kāra programming language — compiled via LLVM, with automatic parallelization and WebAssembly support.☆45Updated this week
- Catalogue of languages designed for Agents☆23Updated this week
- The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less lan…☆41Updated this week
- Harn is a programming language and runtime for building AI agents.☆27Updated this week
- 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.
- python library for compilers and interpreters building☆29Oct 10, 2026Updated last week
- A Robust Easy to Learn Framework☆17Jan 5, 2019Updated 7 years ago
- Salam is a general-purpose and systems programming language designed for efficient software development, featuring a built-in domain-spec…☆63Updated this week
- A very basic app for converting various units of measurement. The purpose is just to practice building with rust☆16May 4, 2026Updated 5 months ago
- An ANSI C Vector library (Dynamic Array) that is fully configurable, fast, thread safe, reentrant, can store dynamic data structures as w…☆25Apr 30, 2024Updated 2 years ago
- A lightweight microkernel targeting ARM devices.☆22Updated this week
- Self-hosted, agentic AI you own — voice, vision-driven browser & computer control, visual workflows, human-in-the-loop approvals, multi-u…☆17Updated this week
- The cheapest logging server with client for HiLoad. This project aims to create even cheaper logging server than Grafana Loki☆17Aug 28, 2025Updated last year
- Valk programming language☆33Oct 9, 2026Updated 2 weeks 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.
- Ferrocene's toolchain manager.☆29Sep 25, 2026Updated 3 weeks ago
- A Python-to-C++ compiler for TurboPython, a high-performance dialect of Python: native binaries with no interpreter, no garbage collector…☆24Updated this week
- LLVM's Kaleidoscope in Golang☆15May 17, 2015Updated 11 years ago
- High Performance Native Programming Language With Minimal Syntax☆30Updated this week
- A lightweight, embeddable, data-centric scripting language whose reach extends from JSON/FD data all the way down to runtime-compiled C a…☆23Updated this week
- Pac-Man driven by the jev decision model☆20Updated this week
- Security-oriented three-axis observability for sandboxed AI agents: model intent, app context, and runtime telemetry into verifiable evid…☆60Updated this week
- A compiled systems language with comprehensive data manipulation, powerful metaprogramming capabilities, and full C compatibility. Not me…☆22Updated this week
- Aver is a programming language for auditable AI-written code☆64Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- database containing destiny 2 guns☆16Jul 12, 2021Updated 5 years ago
- Proximity interaction detection embedded software for Bluetooth beacons. We believe in an open Internet of Things.☆17Sep 27, 2023Updated 3 years ago
- Healthchecks for Akka.NET Applications☆19Sep 25, 2025Updated last year
- Bend's landing page☆18Sep 9, 2026Updated last month
- Ruby implementation for the blog post series http://www.halogenandtoast.com/reconstructing-ruby-an-introduction/☆20Feb 17, 2015Updated 11 years ago
- A statically-typed language built for LLMs to write correctly. When the model is wrong, the compiler names the fix. Builds native binarie…☆35Updated this week
- Automatically exported from code.google.com/p/ardrone-tool☆14Aug 7, 2017Updated 9 years ago
- 🛡️ Agentless, lightweight Linux server monitoring & interactive management over SSH. Desired state engine, drift detection, web terminal…☆42Updated this week
- Implementation of the Lox language in OCaml☆16Mar 26, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- rice: An ANSI C implementation of Rice coding (Golomb-Rice coding)☆17May 3, 2026Updated 5 months ago
- The Fuzion Language Implementation☆66Oct 15, 2026Updated last week
- A typed, replayable, budget-aware programming language for LLM agents. Compiles to Python & TypeScript.☆18Updated this week
- ☆14Feb 16, 2022Updated 4 years ago
- The Wado Programming Language☆119Updated this week
- VeraBench: a benchmark suite for LLM code generation in Vera☆15Sep 22, 2026Updated last month
- deiny is web app for web app. under development☆17Updated this week