Giters
joachimneu

joachimneu

Geek Repo

41

followers

10

following

67

stars

Github PK Tool:Github PK Tool

joachimneu's starred repositories

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustLicense:Apache-2.0Stargazers:55482Issues:451Issues:5764

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:32526Issues:182Issues:4431

sway

i3-compatible Wayland compositor

Language:CLicense:MITStargazers:14396Issues:214Issues:4624

docker-mailserver

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

Language:ShellLicense:MITStargazers:14213Issues:198Issues:2114

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Language:RustLicense:MITStargazers:13376Issues:87Issues:1489

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustLicense:Apache-2.0Stargazers:8093Issues:79Issues:4135

Mailu

Insular email distribution - mail server as Docker images

Language:PythonLicense:NOASSERTIONStargazers:5725Issues:94Issues:1842

DietPi

Lightweight justice for your single-board computer!

Language:ShellLicense:GPL-2.0Stargazers:4780Issues:149Issues:5129

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Language:RustLicense:Apache-2.0Stargazers:4603Issues:30Issues:159

reth

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Language:RustLicense:Apache-2.0Stargazers:3778Issues:55Issues:2999

noto-emoji

Noto Emoji fonts

Language:PythonLicense:OFL-1.1Stargazers:3728Issues:120Issues:274

distributed-consensus-reading-list

A list of papers about distributed consensus.

Stargazers:2341Issues:113Issues:3

acmart

ACM consolidated LaTeX styles

Language:TeXStargazers:586Issues:22Issues:370

protocol-bugs-list

List of bugs found in distributed protocols

Language:TeXStargazers:190Issues:15Issues:1

pos-evolution

Evolution of the Ethereum Proof-of-Stake Consensus Protocol

Stargazers:168Issues:11Issues:0

cryptocode

LaTeX package for typesetting pseudocode and cryptographic games

Language:TeXStargazers:151Issues:5Issues:15

collaborative-zksnark

Prototype implementations of various Collaborative zkSNARKs.

Language:RustLicense:NOASSERTIONStargazers:105Issues:4Issues:3

nanopi-r5

stock debian arm64 linux for the nanopi r5c & r5s

Language:ShellLicense:GPL-3.0Stargazers:100Issues:8Issues:29

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

Language:LeanStargazers:84Issues:2Issues:2

mdframed

auto-split frame environment for LaTeX

Language:TeXStargazers:66Issues:8Issues:37

rebib

Retrieve information from DBLP and update BibTex files automatically

Language:PythonLicense:MITStargazers:54Issues:2Issues:1

distributed-computing-lecture-notes

Lecture notes on Distributed Computing that are publicly accessible.

Stargazers:52Issues:4Issues:0

patronum

Patronum: Ethereum RPC proxy that verifies RPC responses against given trusted block hashes

Language:TypeScriptStargazers:21Issues:6Issues:15

bibtex-dblp

Create and revise bibtex entries from DBLP

Language:PythonLicense:GPL-3.0Stargazers:19Issues:2Issues:1

dblpbibtex

DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads

Language:C++License:BSL-1.0Stargazers:17Issues:3Issues:11

TrustBoost

Language:RustStargazers:17Issues:1Issues:0

LaTeX-snippets

Powerful LaTeX Snippets for CS Paper Writing

Language:JSONLicense:MITStargazers:14Issues:3Issues:5

tidyarxiv

A script to cleanup your paper before uploading it to arXiv

Language:PythonStargazers:6Issues:3Issues:0

tfl-book

A Trailing Finality Layer book for a proposed Zcash protocol change.

Language:CSSLicense:MITStargazers:5Issues:10Issues:112

finitebwlc

Simulation of Finite Bandwidth Longest-Chain protocols

Language:PythonStargazers:1Issues:2Issues:0