ercdude

ercdude's Stars

• jqlang/jq

  Command-line JSON processor

  Language:C30.5k3222.2k1.6k

• Chocobozzz/PeerTube

  ActivityPub-federated video streaming platform using P2P directly in your web browser

  Language:TypeScript13.1k3085.4k1.5k

• coturn/coturn

  coturn TURN server project

  Language:C11.3k3231.1k2k

• nextcloud/docker

  ⛴ Docker image of Nextcloud

  Language:Shell6k1421.5k1.8k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10410.1k646

• rathena/rathena

  rAthena is an open-source cross-platform MMORPG server.

  Language:C++2.9k2654.7k2.3k

• Clozure/ccl

  Clozure Common Lisp

  Language:Common Lisp85363409103

• portabilis/i-educar

  Lançando o maior software livre de educação do Brasil!

  Language:PHP60491387452

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp4911353288

• 50an6xy06r6n/hotswap_pcb_generator

  OpenSCAD script for generating 3D-printable hotswap keyboard PCBs.

  Language:OpenSCAD432161734

• stingray127/handwirehotswap

  A 3D printed, Solderless Hot Swap Socket to build keyswitch matrixes

  Language:OpenSCAD35611519

• jhoenicke/mempool

  Bitcoin Mempool Statistics

  Language:JavaScript334356392

• e3w2q/su120-keyboard

  Expandable keyboard with up to 120 keys

  3308428

• EasyCrypt/easycrypt

  EasyCrypt: Computer-Aided Cryptographic Proofs

  Language:OCaml3172124749

• jrmarino/synth

  Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)

  Language:Ada2552220415

• malcolmstill/ulubis

  A Wayland compositor written in Common Lisp

  Language:Common Lisp239243719

• ploopyco/mini-trackball

  A small, open-source trackball, powered by QMK.

  23712416

• victorlucachi/void_ergo

  A handwired split keyboard, running QMK firmware

  21841314

• Lenbok/scad-keyboard-cases

  OpenSCAD Mechanical Keyboard Cases

  Language:OpenSCAD21412347

• mrclksr/linux-browser-installer

  Script to install Linux browsers under a Linux chroot on FreeBSD

  Language:Shell169105125

• Samourai-Wallet/samourai-dojo

  End-to-end bitcoin wallet backing server for powering Samourai Wallet and other light wallets

  Language:JavaScript168196679

• Convex-Dev/convex

  Convex Main Repository - Decentralised platform for the Internet of Value

  Language:Java94734330

• g4klx/ircDDBGateway

  The ircDDB Gateway for D-Star

  Language:C++61153141

• Convex-Dev/convex.cljc

  Any aspect of the Convex stack, from Clojure

  Language:Clojure531087

• e3w2q/su120-keyboard-doc

  411011

• TokTok/toxic

  An ncurses-based Tox client

  Language:C272474

• satshakit/satshakit-grbl

  An open source & fabbable GRBL controller board.

  24415

• glv2/cl-monero-tools

  Common Lisp toolbox to work with the Monero cryptocurrency

  Language:Common Lisp19434

• CicadaLabs/bips

  Bitcoin Improvement Proposals implemented in Clojure.

  Language:Clojure121392

• ropg/ipocalypse

  FreeBSD jails with web servers on a single IPv4 address

  Language:Shell10101