General purpose compiled programming langauge running on custom virtual machine focusing on simplicity, safety and elegance
☆25Aug 4, 2026Updated this week
Alternatives and similar repositories for Vertex
Users that are interested in Vertex 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 ElysiumOS kernel☆19Mar 28, 2026Updated 4 months ago
- C compiler in Zig☆22Jul 20, 2025Updated last year
- ☆16Apr 16, 2026Updated 3 months ago
- Yet another home-made programming language... but with custom compiler infrastructure!☆16Updated this week
- Open addressing hash map☆18Jul 4, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A reasonable theorem prover for your reasoning tasks!☆32Jan 27, 2025Updated last year
- Memory safe research language written in c++20☆24Jul 24, 2026Updated last week
- 🎵 A self-hostable Discord music bot, focused on fairness.☆10Sep 23, 2025Updated 10 months ago
- A Unique Simulation Blending Minigolf with Quantum Physics Principles.☆14Nov 29, 2025Updated 8 months ago
- A cinematic, content-driven space agency website template built with Astro 6☆15May 3, 2026Updated 3 months ago
- Rust library for creating and parsing network packets.☆18Mar 24, 2024Updated 2 years ago
- zig package for mapping extensions to mime types☆35Jul 19, 2025Updated last year
- 🔰 Coder 認證☆10Oct 3, 2020Updated 5 years ago
- Lossless audio decoder written in common lisp☆24Jul 15, 2026Updated 3 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.
- Crawling route waypoints for HK bus routes☆14Updated this week
- Konsole is a little Roblox command console☆27Updated this week
- A modern language that compiles to JavaScript☆29Jul 20, 2026Updated 2 weeks ago
- Yeecord 小工具☆16Oct 29, 2025Updated 9 months ago
- The RR Compiler☆22May 5, 2026Updated 3 months ago
- Statically typed programming language transpiled to C☆14Jun 5, 2023Updated 3 years ago
- ☆16Jul 28, 2026Updated last week
- An interpreted language written in Rust.☆18Aug 18, 2023Updated 2 years ago
- ☆23Mar 24, 2026Updated 4 months 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.
- A minimal terminal Tetris written in Zig☆31Dec 17, 2025Updated 7 months ago
- A discord bot to track levels☆15Jun 2, 2026Updated 2 months ago
- Unofficial heroku api wrapper for NodeJS☆15May 27, 2022Updated 4 years ago
- Codename TKablent, a discord music bot written in Python | Music function part☆11Jul 3, 2026Updated last month
- 2bored2wait is a proxy for 2b2t.org's absurdly long queue. Better2bored2wait is based on 2bored2wait but aims to have more features and b…☆12Aug 3, 2023Updated 3 years ago
- The JetBrains Community Discord Server - JetBot, the Python bot behind it☆21Jul 3, 2026Updated last month
- Rust client for the EventSource browser API☆23Mar 13, 2021Updated 5 years ago
- ☆13Jul 22, 2026Updated 2 weeks ago
- Implementation of Governor rate limiter for Rocket☆20Feb 1, 2025Updated last year
- 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.
- ☆30Jan 19, 2026Updated 6 months ago
- A small embeddable Lisp for the Zig ecosystem λ☆29May 16, 2026Updated 2 months ago
- An intuitive toolkit to simplify declarative macro development in Rust☆20Mar 1, 2026Updated 5 months ago
- 🙏 "Build it for me please" - suggest an OSS project in Rust 🦀, we build it or help you build it☆20Sep 22, 2022Updated 3 years ago
- A connection between GitHub and Discord☆23Dec 15, 2022Updated 3 years ago
- Python library for Discord API based around asyncio.☆14Nov 20, 2022Updated 3 years ago
- Suggestion Bot 一個讓用戶提議以及投票的機器人☆10Apr 6, 2023Updated 3 years ago