Skip to content
View JanSvejda's full-sized avatar
  • Frankfurt Metropolitan Area
  • 18:19 (UTC -12:00)

Block or report JanSvejda

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Local-first documentation for AI agents

TypeScript 353 41 Updated Jun 23, 2026

A deterministic, crash-safe distributed state machine with exactly-once side effects

Rust 34 Updated Feb 16, 2026

BPMN-Process automation for everyone

Java 441 120 Updated Jul 29, 2026

The P programming language.

C# 3,651 223 Updated Jul 22, 2026

This media type enables Zabbix to start workflows in the Serviceware AI Process Engine based on Trigger Actions.

2 Updated Oct 27, 2025

Micro second messaging that stores everything to disk

Java 3,785 567 Updated Jul 27, 2026

Replicate your Key Value Store across your network, with consistency, persistance and performance.

Java 2,979 478 Updated Jun 30, 2026

https://openjdk.org/projects/code-tools/jmh

Java 2,657 334 Updated Jul 14, 2026

Tips and tricks for working with Large Language Models like OpenAI's GPT-4.

9,569 515 Updated Oct 23, 2023

Generative Open API Specification Transformer

TypeScript 9 4 Updated Jul 26, 2026

open source training courses about distributed database and distributed systems

Rust 10,972 1,385 Updated Sep 18, 2023

learn database internals by building a storage engine in Rust

Rust 4,070 620 Updated Jul 27, 2026

A library for creating isolated embedded databases for Spring-powered integration tests.

Java 464 42 Updated Mar 12, 2026

List of Computer Science courses with video lectures.

82,798 11,410 Updated Jul 7, 2026

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 359,584 57,439 Updated Mar 20, 2026

Kani Rust Verifier

Rust 3,252 160 Updated Jul 29, 2026

Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions

Python 83,461 19,957 Updated Dec 27, 2025

A library for functional programming in Rust

Rust 1,428 69 Updated Mar 12, 2026

A curated list of Rust code and resources.

Rust 58,574 3,511 Updated Jul 28, 2026

A free book about developing secure and robust systems software.

Rust 1,409 44 Updated Jul 6, 2025

A collection of (mostly) technical things every software developer should know about

100,183 8,776 Updated Dec 29, 2025

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Rocq Prover 835 15 Updated May 14, 2026

Python Performance Profiling for Production

Python 105 3 Updated Apr 28, 2022

A computer science textbook

Jupyter Notebook 4,935 496 Updated Aug 11, 2024

Performant type-checking for python.

OCaml 7,170 452 Updated Jun 26, 2026

Make your functions return something meaningful, typed, and safe!

Python 4,336 150 Updated Jul 28, 2026

The Rust package manager

Rust 15,295 2,999 Updated Jul 27, 2026

🐚 A powerful relational ORM for Rust

Rust 9,829 718 Updated Jul 27, 2026

A Rust high performance cryptocurrency trading API with support for multiple exchanges and language wrappers.

Rust 322 53 Updated Jul 16, 2022

Easily handle day to day CLI operation via Python instead of regular Bash programs. 🇺🇦 #supporting

Python 735 17 Updated Nov 24, 2025
Next