Giters
ieQu1

ieQu1

Geek Repo

11

followers

14

following

33

stars

Company:EMQ

Location:Sweden

Github PK Tool:Github PK Tool

Organizations
emqx

ieQu1's starred repositories

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

Language:C++License:Apache-2.0Stargazers:14497Issues:296Issues:1740

emqx

The most scalable open-source MQTT broker for IoT, IIoT, and connected vehicles

Language:ErlangLicense:NOASSERTIONStargazers:14046Issues:388Issues:4003

MQTTX

A Powerful and All-in-One MQTT 5.0 client toolbox for Desktop, CLI and WebSocket.

Language:TypeScriptLicense:Apache-2.0Stargazers:3887Issues:67Issues:442

projectm

projectM - Cross-platform Music Visualization Library. Open-source and Milkdrop-compatible.

Language:C++License:LGPL-2.1Stargazers:3362Issues:87Issues:371

P

The P programming language.

Language:C#License:MITStargazers:3021Issues:107Issues:261

swiper

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

Language:Emacs LispStargazers:2313Issues:52Issues:2161

avy

Jump to things in Emacs tree-style

Language:Emacs LispStargazers:1744Issues:38Issues:276

SATySFi

A statically-typed, functional typesetting system

Language:OCamlLicense:LGPL-3.0Stargazers:1177Issues:52Issues:167

cantata

Qt5 Graphical MPD Client

Language:C++License:GPL-3.0Stargazers:1038Issues:49Issues:1600

awesome-elisp

🏵️ A curated list of Emacs Lisp development resources

License:UnlicenseStargazers:770Issues:35Issues:12

gphoto2

The gphoto2 commandline tool for accessing and controlling digital cameras.

Language:CLicense:GPL-2.0Stargazers:716Issues:36Issues:626

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Language:CoqLicense:NOASSERTIONStargazers:713Issues:52Issues:409

quic

QUIC protocol for Erlang & Elixir

Language:ErlangLicense:Apache-2.0Stargazers:223Issues:26Issues:63

social4git

A decentralized social protocol based on git

Language:GoLicense:NOASSERTIONStargazers:129Issues:4Issues:19

mria

Asynchronously replicated Mnesia-like database for Erlang/Elixir

Language:ErlangLicense:Apache-2.0Stargazers:120Issues:14Issues:37

eministat

Port of Poul-Henning Kamp's ministat to the Erlang world

Language:ErlangLicense:NOASSERTIONStargazers:100Issues:10Issues:4

adoc-mode

A major-mode for editing AsciiDoc files in Emacs

Language:Emacs LispStargazers:68Issues:6Issues:28

emms

The Emacs Multimedia System

Language:Emacs LispLicense:GPL-3.0Stargazers:47Issues:3Issues:0

quic_dist

QUIC carrier for Erlang Distribution Protocol

Language:ErlangLicense:Apache-2.0Stargazers:44Issues:7Issues:16

xslTNG

DocBook xslTNG Stylesheets

Language:HTMLLicense:MITStargazers:43Issues:11Issues:220

hlc

hlc - Hybrid Logical Clock in Erlang.

Language:ErlangLicense:MPL-2.0Stargazers:25Issues:8Issues:1

Coq-Polyhedra

Formalizing convex polyhedra in Coq

Language:CoqLicense:NOASSERTIONStargazers:22Issues:5Issues:0

relcast

Relcast library

Language:ErlangStargazers:16Issues:27Issues:0

Lee

THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang

Language:ErlangLicense:UnlicenseStargazers:15Issues:2Issues:5

emqttb

A scriptable autotuning load generator for MQTT

Language:ErlangLicense:Apache-2.0Stargazers:14Issues:13Issues:2

cantata

Qt5 Graphical MPD Client

Language:C++License:GPL-3.0Stargazers:14Issues:7Issues:0

usched

To experiment with ligh-weight user threads based on stack copying.

Language:CStargazers:11Issues:4Issues:0

hocon-schema-viewer

Language:VueStargazers:8Issues:2Issues:0

ringbuffer

🔄 Ring buffer implementation for Erlang using ETS tables.

Language:ErlangLicense:Apache-2.0Stargazers:5Issues:7Issues:1

optvar

Fast condition variable primitive for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:2Issues:12Issues:0