Benedikt Becker's starred repositories

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustLicense:Apache-2.0Stargazers:54835Issues:452Issues:5710

kitty

Cross-platform, fast, feature-rich, GPU based terminal

Language:PythonLicense:GPL-3.0Stargazers:22936Issues:182Issues:5423

YubiKey-Guide

Guide to using YubiKey for GnuPG and SSH

Language:HTMLLicense:MITStargazers:10952Issues:219Issues:231

broot

A new way to see and navigate directory trees : https://dystroy.org/broot

Language:RustLicense:MITStargazers:10374Issues:56Issues:676

scientific-visualization-book

An open access book on scientific visualization using python and matplotlib

Language:PythonLicense:NOASSERTIONStargazers:10174Issues:188Issues:43

i3

A tiling window manager for X11

Language:CLicense:BSD-3-ClauseStargazers:9305Issues:162Issues:3675

haven

Haven is for people who need a way to protect their personal spaces and possessions without compromising their own privacy, through an Android app and on-device sensors

Language:JavaLicense:GPL-3.0Stargazers:6581Issues:277Issues:296

nannou

A Creative Coding Framework for Rust.

PyOxidizer

A modern Python application packaging and distribution tool

Language:RustLicense:MPL-2.0Stargazers:5324Issues:62Issues:564

Practical-Cryptography-for-Developers-Book

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA

Language:CSSLicense:MITStargazers:3343Issues:131Issues:30

nano-emacs

GNU Emacs / N Λ N O - Emacs made simple

Language:Emacs LispLicense:GPL-3.0Stargazers:2500Issues:46Issues:103

Papers-Literature-ML-DL-RL-AI

Highly cited and useful papers related to machine learning, deep learning, AI, game theory, reinforcement learning

glom

☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️

Language:PythonLicense:NOASSERTIONStargazers:1855Issues:22Issues:173

hsluv

Human-friendly HSL, website and math

Language:MustacheLicense:MITStargazers:1263Issues:36Issues:65

byrne-euclid

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

Language:TeXLicense:GPL-3.0Stargazers:1169Issues:56Issues:66

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:1025Issues:98Issues:169

stderred

stderr in red

Stethoscope

A research-validated stethoscope whose plans are available Freely and openly. The cost of the entire stethoscope is between $2.5 to $5 to produce

Language:RubyLicense:NOASSERTIONStargazers:736Issues:93Issues:49

emacs-leuven-theme

This Emacs theme reduces eye strain with a light, high-contrast color scheme, syntax highlighting, and support for multiple modes. Enhance your coding experience! #emacs #theme #coding #orgmode

Language:Emacs LispLicense:GPL-3.0Stargazers:675Issues:20Issues:81

frap

Formal Reasoning About Programs

Language:CoqLicense:NOASSERTIONStargazers:646Issues:46Issues:27

hypermodern-python

Hypermodern Python

Language:PythonLicense:MITStargazers:605Issues:18Issues:36

SolrTextTagger

A text tagger based on Lucene / Solr, using FST technology

Language:JavaLicense:Apache-2.0Stargazers:173Issues:30Issues:71

preface

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

Language:OCamlLicense:MITStargazers:143Issues:8Issues:58

tufte-org-mode

An Org mode environment for producing Tufte-LaTeX books and handouts

Language:Emacs LispLicense:GPL-3.0Stargazers:135Issues:10Issues:9

Otoscope

An open source otoscope ear inspection device that uses disposable specula. The goal is to bring production down to approximately USD$5 per unit

acme-emacs-theme

An Emacs theme inspired by Plan 9's Acme & Sam Editor

Language:Emacs LispLicense:GPL-3.0Stargazers:81Issues:4Issues:1

genprintlib

general value printing within compiled programs

Language:OCamlLicense:MITStargazers:27Issues:3Issues:0
Language:CLicense:NOASSERTIONStargazers:11Issues:0Issues:0

latex-pdfa

Consolidated PDF/A macros for publishing with LaTeX