A language platform for verifiable systems and research.
☆15Nov 10, 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:
- Compiler for the Jik programming language.☆21Updated this week
- Miri: GPU-first programming language☆16Updated this week
- A compiled systems language with comprehensive data manipulation, powerful metaprogramming capabilities, and full C compatibility. Not me…☆24Updated this week
- Valk programming language☆33Updated this week
- High Performance Native Programming Language With Minimal Syntax☆30Updated 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.
- The compiler and virtual machine of the Kiz programming language are written in modern C++.☆17Oct 31, 2026Updated last week
- A safe & fast low-level language.☆13Mar 5, 2026Updated 8 months ago
- Nova — a programming language for the AI era. Algebraic effects make side effects visible in function signatures.☆16Updated this week
- The Flint Compiler☆27Nov 3, 2026Updated last week
- Detect blocking sections in async code☆11Dec 3, 2025Updated 11 months ago
- Unofficial libui-ng Build by kojix2☆14Nov 3, 2026Updated last week
- 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
- 🌀 Inference programming language☆28Updated this week
- Example of how to use TThread and all of the threading tools available with Free Pascal☆12Sep 3, 2023Updated 3 years ago
- 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.
- Advanced data containers for D☆13Jan 17, 2026Updated 9 months ago
- Code for Dagon engine tutorials☆12Aug 9, 2026Updated 3 months ago
- Wave Programming Language | git mirror: https://wave-lang.dev/source☆58Updated this week
- C3 serializer and deserializer☆14Aug 28, 2026Updated 2 months ago
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage prove…☆12Updated this week
- The in-browser vector store that remembers — a Rust→WASM HNSW engine that persists to OPFS and stays consistent across tabs. Private, off…☆18Updated this week
- Compiler and standard library for the Spice programming language.☆89Updated this week
- A minimalist capability-based x86-64 kernel written in C3.☆16Updated this week
- Harn is a programming language and runtime for building AI agents.☆31Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A hash table with deque-like order and fast iteration; access items by key or sequence index☆19Oct 6, 2026Updated last month
- A Rapid Application Development (RAD) framework for FreeBasic☆13Nov 1, 2022Updated 4 years ago
- WebGPU demo written in D☆17Jul 30, 2025Updated last year
- Generated Vulkan and Vulkan Video bindings for V, with opt-in typed resource helpers and reproducible Khronos registry updates.☆11Updated this week
- C++ utils for reading and writing UTF-8 strings in console.☆14Jul 28, 2023Updated 3 years ago
- JSON-RPC 2.0 Server with SMD/OpenRPC support written in Go (go generate)☆16Jul 6, 2026Updated 4 months ago
- The Cx Programming Language☆20Jul 24, 2026Updated 3 months ago
- A memory-safe object-oriented programming language.☆15Nov 5, 2026Updated last week
- Powerful Python-based metaprogramming for Rust☆14Updated 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.
- Comprehensive string toolkit for Free Pascal and Lazarus with 80+ operations for case conversion, validation, fuzzy matching, parsing, en…☆16Sep 21, 2026Updated last month
- Elm WebGL morphing particle system☆12Nov 12, 2025Updated last year
- Automatically exported from code.google.com/p/ardrone-tool☆14Aug 7, 2017Updated 9 years ago
- Dao Standard Modules☆12Apr 19, 2018Updated 8 years ago
- A set of general purpose and game oriented libraries for FreeBASIC☆18Jun 19, 2024Updated 2 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- ☆30Updated this week
Are these results useful?