-
VerneMQ
- Basel, Switzerland
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- BitBake
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cython
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Gherkin
- Gleam
- Gnuplot
- Go
- Go Template
- HTML
- Haskell
- Idris
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- LFE
- Lean
- Lua
- MATLAB
- Makefile
- Mako
- Markdown
- Modelica
- 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
Pre-built Erlang/OTP binaries for multiple platforms
Execute Python from Erlang using dirty NIFs with GIL-aware execution, rate limiting, and free-threading support
This gateway software turns existing devices into smart appliances.
A static binary distribution of Erlang/OTP.
A high-performance, enterprise-grade Access Control List (ACL) system for Phoenix/Elixir applications
ElmDB - High-performance Erlang NIF for LMDB (Lightning Memory-Mapped Database)
A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!
A rebar3 plugin for simplifying Erlang development for AtomVM
Source code for 'Common Lisp Recipes' by Edmund Weitz
The ideal project to supervise your Elixir/Erlang/Gleam application
An MMO game written in Erlang + PostgreSQL (+ Omnigres) + Zig (+ Raylib)
An open fork of Riak - maintained in conjunction with the Erlang Ecosystem Foundation
A gui for the computer algebra system Maxima built with wxWidgets
OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.
EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
The Superior Lisp Interaction Mode for Emacs
An open source web application for railway infrastructure design, capacity analysis, timetabling and simulation
Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
OpenRiak / riak-forked
Forked from basho/riakArchive of the forked repository - use the repo linked below