-
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 runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
⭐️ A friendly language for building type-safe, scalable systems!
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.
A modern Prolog implementation written mostly in Rust.
🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
A maliciously secure two-party computation engine which is embeddable and accessible
A simple, terminal-based Erlang dashboard written in Rust
A benchmarking harness for concurrent key-value collections