Thanks to visit codestin.com
Credit goes to github.com

#

verum

Here are 4 public repositories matching this topic...

verum-lang / verum

The Verum Programming Language

language programming-language interpreter compiler llvm verum mathematics proof-assistant refinement-types meta-programming systems-programming shell-scripting llvm-ir cross-compilation gpu-programming embedded-programming interpreted-language architecture-as-code mlir

Updated May 22, 2026
Rust

Lyrenhex / Verum-Server

Code for a Verum Node. Can be used to start up a new Node.

nodejs chat encryption verum-node verum-server verum

Updated Mar 15, 2017
JavaScript

Lyrenhex / Verum-CLI

Command-line client for Verum.

nodejs cli client encryption verum

Updated May 7, 2017
JavaScript

Lyrenhex / Verum-Backend

Backend Node.JS module for Verum. 3rd Party Clients can use it.

nodejs chat encryption module verum

Updated Jun 29, 2020
JavaScript

Improve this page

Add a description, image, and links to the verum topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verum topic, visit your repo's landing page and select "manage topics."