The Verum Programming Language
☆15Oct 18, 2026Updated this week
Alternatives and similar repositories for verum
Users that are interested in verum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Miri: GPU-first programming language☆16Updated this week
- The Kāra programming language — compiled via LLVM, with automatic parallelization and WebAssembly support.☆45Updated 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
- A compiled systems language with comprehensive data manipulation, powerful metaprogramming capabilities, and full C compatibility. Not me…☆22Updated this week
- Valk programming language☆33Oct 9, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High Performance Native Programming Language With Minimal Syntax☆30Updated this week
- Yet another home-made programming language... but with custom (and handwritten) compiler infrastructure!☆18Updated this week
- A pure-Rust port of mimalloc — Lean-verified arithmetic, loom-modeled concurrency, fuzzed, and benchmarked against C mimalloc.☆28Jun 15, 2026Updated 4 months ago
- A safe & fast low-level language.☆13Mar 5, 2026Updated 7 months ago
- Harn is a programming language and runtime for building AI agents.☆27Updated this week
- The compiler and virtual machine of the Kiz programming language are written in modern C++.☆17Jun 12, 2026Updated 4 months ago
- The Flint Compiler☆27Oct 12, 2026Updated last week
- Graph Rust build files for optimized traversal and inference☆29Oct 6, 2026Updated 2 weeks ago
- The Cx Programming Language☆19Jul 24, 2026Updated 2 months ago
- 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.
- Example of how to use TThread and all of the threading tools available with Free Pascal☆12Sep 3, 2023Updated 3 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
- Code for Dagon engine tutorials☆12Aug 9, 2026Updated 2 months ago
- Advanced data containers for D☆13Jan 17, 2026Updated 9 months ago
- The in-browser vector store that remembers — a Rust→WASM HNSW engine that persists to OPFS and stays consistent across tabs. Private, off…☆18Oct 11, 2026Updated last week
- Wave Programming Language | git mirror: https://wave-lang.dev/source☆57Updated this week
- Plugin for the C3 language☆30Sep 29, 2026Updated 3 weeks ago
- Free open-source C11 framework to create console, forms (GUI like WinForms) and unit test applications on Microsoft Windows, Apple macOS …☆18Aug 7, 2025Updated last year
- Self-hosted, agentic AI you own — voice, vision-driven browser & computer control, visual workflows, human-in-the-loop approvals, multi-u…☆17Updated 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.
- Dao Standard Modules☆12Apr 19, 2018Updated 8 years ago
- CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…☆10Apr 19, 2022Updated 4 years ago
- Compiler and standard library for the Spice programming language.☆88Updated this week
- ☆11Jul 10, 2022Updated 4 years ago
- Comprehensive string toolkit for Free Pascal and Lazarus with 80+ operations for case conversion, validation, fuzzy matching, parsing, en…☆16Sep 21, 2026Updated last month
- Generated Vulkan and Vulkan Video bindings for V, with opt-in typed resource helpers and reproducible Khronos registry updates.☆11Oct 14, 2026Updated last week
- Catalogue of languages designed for Agents☆23Updated this week
- Zurfur is a programming language taking inspiration from C#, Golang and Javascript☆13Sep 20, 2026Updated last month
- ☆17Jan 3, 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.
- C++ utils for reading and writing UTF-8 strings in console.☆14Jul 28, 2023Updated 3 years ago
- A @Vlang module to integrate Veb applications with @ViteJS, providing seamless frontend adaptation.☆13Jul 8, 2026Updated 3 months ago
- Orange is a modern systems programming language designed for developers who want fine-grained control without sacrificing expressiveness☆27Jul 21, 2026Updated 3 months ago
- A minimalist capability-based x86-64 kernel written in C3.☆16Updated this week
- A Python-to-C++ compiler for TurboPython, a high-performance dialect of Python: native binaries with no interpreter, no garbage collector…☆24Updated this week
- Elm WebGL morphing particle system☆12Nov 12, 2025Updated 11 months ago
- A hash table with deque-like order and fast iteration; access items by key or sequence index☆19Oct 6, 2026Updated 2 weeks ago