-
VerneMQ
- Basel, Switzerland
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Batchfile
- BitBake
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cython
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Gherkin
- Gleam
- Gnuplot
- Go
- HTML
- Haskell
- Idris
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- LFE
- Lean
- Lua
- Makefile
- Mako
- Markdown
- Modelica
- Mustache
- Nix
- OCaml
- Oz
- PDDL
- PHP
- Perl
- Pony
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- V
- Vue
- Zig
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
A scalable, distributed, collaborative, document-graph database, for the realtime web
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A high-performance observability data pipeline.
⭐️ A friendly language for building type-safe, scalable systems!
Create book from markdown files. Like Gitbook but implemented in Rust
Distributed transactional key-value database, originally created to complement TiDB
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Code for "Zero To Production In Rust", a book on API development using Rust.
Lunatic is an Erlang-inspired runtime for WebAssembly
Safe Rust bridge for creating Erlang NIF functions
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.
An alternative BEAM implementation, designed for WebAssembly
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Painless compression and decompression in the terminal
Modern applications with built-in automation
A modern Prolog implementation written mostly in Rust.
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…
A model checker for implementing distributed systems.
a collection of well-tested, serializable CRDTs for Rust
A simple, expressive, embeddable programming language