searching for the next level
Captain Nemo of VerneMQ //
Conqueror of RoburDB
-
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
7
stars
written in Clojure
Clear filter
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
Penpot: The open-source design tool for design and code collaboration
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
A framework for distributed systems verification, with fault injection
A workbench for writing toy implementations of distributed systems.
Obliterate Riak KV with Jepsen framework