Miri: GPU-first programming language
☆16Nov 10, 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:
- A language platform for verifiable systems and research.☆15Updated this week
- The Kāra programming language — compiled via LLVM, with automatic parallelization and WebAssembly support.☆45Updated this week
- Compiler for the Jik programming language.☆21Updated this week
- Programming language which it allows you to write your smallest possible programs.☆24Updated this week
- The Fuzion Language Implementation☆66Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ms-identity-easyauth-dotnet-storage-graphapi☆11Feb 17, 2024Updated 2 years ago
- UppHub is the repository that serves as the official global registry for U++ distributed packages. Each package provides additional funct…☆13Oct 24, 2026Updated 2 weeks ago
- A grid widget for fltk-rs☆12Dec 10, 2024Updated last year
- Nova — a programming language for the AI era. Algebraic effects make side effects visible in function signatures.☆16Updated this week
- Raw Jai Bindings for wgpu_native.☆16Mar 18, 2025Updated last year
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 4 years ago
- This repository contains my daily solutions to LeetCode problems using Java. I created this as part of my preparation for coding intervie…☆10May 12, 2026Updated 6 months ago
- The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less lan…☆42Updated this week
- A Robust Easy to Learn Framework☆17Jan 5, 2019Updated 7 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.
- 🌀 Inference programming language☆28Updated this week
- Catalogue of languages designed for Agents☆25Updated this week
- [WIP] V School is the initial destination for people looking to learn and master the V programming language☆11Sep 14, 2019Updated 7 years ago
- Package registry for vpkg☆13Aug 30, 2022Updated 4 years ago
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage prove…☆12Updated this week
- Sample code for my "Create IoT Solutions" course at Pluralsight.☆10Nov 13, 2019Updated 6 years ago
- Cheatsheet of the Mojo programming language☆10May 18, 2023Updated 3 years ago
- A REST framework for Goose, on goose-http: Actix-style scopes, extractors and middleware, with an OpenAPI 3.1 generator. Takes its time, …☆19Nov 3, 2026Updated last 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
- 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.
- ☆13Dec 19, 2020Updated 5 years ago
- Cobblestone Project built with the Codex Programming Language☆18Nov 1, 2026Updated last week
- Harn is a programming language and runtime for building AI agents.☆31Updated this week
- ☆10Dec 12, 2022Updated 3 years ago
- Basic support for the V Programming Language in VSCode☆17Mar 31, 2019Updated 7 years ago
- A very basic app for converting various units of measurement. The purpose is just to practice building with rust☆16May 4, 2026Updated 6 months ago
- LLVM's Kaleidoscope in Golang☆15May 17, 2015Updated 11 years ago
- Valk programming language☆33Updated this week
- High Performance Native Programming Language With Minimal Syntax☆30Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An ANSI C Vector library (Dynamic Array) that is fully configurable, fast, thread safe, reentrant, can store dynamic data structures as w…☆24Apr 30, 2024Updated 2 years ago
- A compiled systems language with comprehensive data manipulation, powerful metaprogramming capabilities, and full C compatibility. Not me…☆24Updated this week
- database containing destiny 2 guns☆16Jul 12, 2021Updated 5 years ago
- A lightweight microkernel targeting ARM devices.☆24Updated this week
- A memory-safe object-oriented programming language.☆15Nov 5, 2026Updated last week
- Powerful Python-based metaprogramming for Rust☆14Updated this week
- Automatically exported from code.google.com/p/ardrone-tool☆14Aug 7, 2017Updated 9 years ago
Are these results useful?