Leon Becker (beleon)

beleon

Geek Repo

Location:Germany

Github PK Tool:Github PK Tool


Organizations
SecureSmartHome

Leon Becker's starred repositories

oasis

a small statically-linked linux system

Language:RoffLicense:NOASSERTIONStargazers:2746Issues:0Issues:0

earthstar

Storage for private, distributed, offline-first applications.

Language:TypeScriptLicense:LGPL-3.0Stargazers:622Issues:0Issues:0

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Language:RustLicense:Apache-2.0Stargazers:20652Issues:0Issues:0

svg_heatmap

SVG based heatmaps analogous to `seaborn.heatmap`

Language:HTMLStargazers:1Issues:0Issues:0

urbit

An operating function

Language:hoonLicense:MITStargazers:3402Issues:0Issues:0

kubo

An IPFS implementation in Go

Language:GoLicense:NOASSERTIONStargazers:15889Issues:0Issues:0

passgo

Simple golang password manager.

Language:GoLicense:MITStargazers:520Issues:0Issues:0

vello

An experimental GPU compute-centric 2D renderer.

Language:RustLicense:Apache-2.0Stargazers:2098Issues:0Issues:0

alpine

A rugged, minimal framework for composing JavaScript behavior in your markup.

Language:HTMLLicense:MITStargazers:27416Issues:0Issues:0

theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

Language:TypeScriptLicense:EPL-2.0Stargazers:19158Issues:0Issues:0

tailwindcss

A utility-first CSS framework for rapid UI development.

Language:TypeScriptLicense:MITStargazers:80239Issues:0Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:60199Issues:0Issues:0

summoner

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

Language:HaskellLicense:MPL-2.0Stargazers:690Issues:0Issues:0

upx

UPX - the Ultimate Packer for eXecutables

Language:C++License:NOASSERTIONStargazers:13776Issues:0Issues:0

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

Language:RustLicense:MITStargazers:18193Issues:0Issues:0

filestash

🦄 A modern web client for SFTP, S3, FTP, WebDAV, Git, Minio, LDAP, CalDAV, CardDAV, Mysql, Backblaze, ...

Language:JavaScriptLicense:AGPL-3.0Stargazers:9734Issues:0Issues:0

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:29366Issues:0Issues:0

Qogir-theme

Qogir is a flat Design theme for GTK

Language:CSSLicense:GPL-3.0Stargazers:1515Issues:0Issues:0

marktext

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Language:JavaScriptLicense:MITStargazers:45513Issues:0Issues:0

wendli01.github.io

github io repo

Stargazers:1Issues:0Issues:0

relude

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Language:HaskellLicense:MITStargazers:689Issues:0Issues:0

vim-two-firewatch

A blend between duotone light and firewatch for atom

Language:VimLStargazers:456Issues:0Issues:0

letter-boilerplate

Finest letter typesetting from the command line

Language:TeXStargazers:444Issues:0Issues:0

cv-boilerplate

Programmatic generation of high-quality CVs

Language:TeXStargazers:1092Issues:0Issues:0

upapap

Universität PAssau PrüfungsAusschussParser

Language:PythonStargazers:1Issues:0Issues:0

shake

Shake build system

Language:HaskellLicense:NOASSERTIONStargazers:763Issues:0Issues:0

pLam

An interpreter for learning and exploring pure λ-calculus

Language:HaskellLicense:MITStargazers:445Issues:0Issues:0

dhall-lang

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:4176Issues:0Issues:0

wire-server

🇪🇺 Wire back-end services

Language:HaskellLicense:AGPL-3.0Stargazers:2595Issues:0Issues:0

monad-memo

Memoization monad transformer

Language:HaskellLicense:BSD-3-ClauseStargazers:29Issues:0Issues:0