-
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 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!
The ideal project to supervise your Elixir/Erlang/Gleam application
Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
a highly automated and intuitive digital audio workstation - official mirror
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
⭐️ A friendly language for building type-safe, scalable systems!
A Literate Programming Tool: Common Lisp + Markdown / Org mode / POD
List of awesome application software built with Common Lisp
Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository
OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)
Erlang port mapper module that uses Consul instead of EPMD
cachegrand - a modern data ingestion, processing and serving platform built for today's hardware
An evolving how-to guide for securing a Linux server.
An open source multi-tool for exploring and publishing data
A cloud-native, multi-tenant Postgres connection pooler.
Example code for my book "LangChain Project Lab Book: Hooking Large Language Models Up to the Real World" https://leanpub.com/langchain