Giters
Marco Siedentopf (siemato)

siemato

Geek Repo

6

followers

9

following

45

stars

Location:Berlin, Germany

Twitter:@siematos

Github PK Tool:Github PK Tool

Marco Siedentopf's starred repositories

computer-science

🎓 Path to a free self-taught education in Computer Science!

License:MITStargazers:172151Issues:5805Issues:645

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Language:ZigLicense:NOASSERTIONStargazers:74123Issues:602Issues:9255

traefik

The Cloud Native Application Proxy

Language:GoLicense:MITStargazers:51239Issues:674Issues:6034

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:NOASSERTIONStargazers:38273Issues:205Issues:1421

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigLicense:MITStargazers:34810Issues:367Issues:11513

Hyprland

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Language:C++License:BSD-3-ClauseStargazers:21467Issues:97Issues:6058

cosmopolitan

build-once run-anywhere c library

Language:CLicense:ISCStargazers:18347Issues:168Issues:555

automerge-classic

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Language:JavaScriptLicense:MITStargazers:14750Issues:200Issues:276

notebook

Jupyter Interactive Notebook

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:11725Issues:325Issues:4948

milligram

A minimalist CSS framework.

Language:HTMLLicense:MITStargazers:10218Issues:168Issues:202

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:9036Issues:61Issues:822

oni2

Native, lightweight modal code editor

Language:ReasonLicense:MITStargazers:7835Issues:84Issues:1583

Odin

Odin Programming Language

Language:OdinLicense:BSD-3-ClauseStargazers:6912Issues:87Issues:1990

atproto

Social networking technology created by Bluesky

Language:TypeScriptLicense:NOASSERTIONStargazers:6470Issues:98Issues:571

nteract

📘 The interactive computing suite for you! ✨

Language:TypeScriptLicense:BSD-3-ClauseStargazers:6205Issues:149Issues:1689

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:OCamlLicense:LGPL-2.1Stargazers:4849Issues:103Issues:10082

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:4434Issues:113Issues:2620

janet

A dynamic language and bytecode vm

Language:CLicense:MITStargazers:3517Issues:65Issues:704

pants

The Pants Build System

Language:PythonLicense:Apache-2.0Stargazers:3322Issues:67Issues:5898

ZSWatch

ZSWatch - the Open Source Zephyr™ based Smartwatch, including both HW and FW.

Language:CLicense:GPL-3.0Stargazers:2352Issues:102Issues:129

libxev

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + WASI. Available as both a Zig and C API.

Language:ZigLicense:MITStargazers:2117Issues:23Issues:45

odiff

The fastest pixel-by-pixel image visual difference tool in the world.

Language:OCamlLicense:MITStargazers:2060Issues:17Issues:57

gobetween

:cloud: Modern & minimalistic load balancer for the Сloud era

Language:GoLicense:NOASSERTIONStargazers:1940Issues:62Issues:256

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1900Issues:31Issues:138

NoCol

Trajectories finder

Language:C++License:MITStargazers:1385Issues:31Issues:11

live-iso

Vanilla OS Live ISO Builder.

Language:ShellLicense:GPL-3.0Stargazers:992Issues:23Issues:286

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Language:OCamlLicense:NOASSERTIONStargazers:840Issues:30Issues:241

verdi

A framework for formally verifying distributed systems implementations in Coq

Language:CoqLicense:BSD-2-ClauseStargazers:587Issues:67Issues:25

codin

Odin to C compiler

Language:CStargazers:149Issues:18Issues:4

bay.js

An easy to use, lightweight library for web-components.

Language:JavaScriptLicense:MITStargazers:126Issues:3Issues:4