Skip to content
View dyniec's full-sized avatar
:octocat:
I boop computers
:octocat:
I boop computers

Organizations

@Continuum-UWr

Block or report dyniec

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

Rust 2,644 107 Updated Jan 31, 2026

Peer-to-peer, editor-agnostic collaborative editing of local text files.

Rust 1,689 39 Updated Feb 4, 2026

VS Code extension for Haskell, powered by haskell-language-server

TypeScript 589 93 Updated Feb 2, 2026

Haskell implemented with combinators

Haskell 684 65 Updated Jan 31, 2026
HTML 7 Updated Oct 11, 2025

A collection of resources for learning type theory and type theory adjacent fields.

2,412 133 Updated Apr 21, 2025

Compiler for a small stack-based imperative language, targeting the Piet language.

Haskell 14 Updated Dec 17, 2025

An experimental programming language that combines effect handlers and implicit parameters

OCaml 40 25 Updated Jan 31, 2026

🎧☁️ Your Personal Streaming Service

Go 19,066 1,356 Updated Feb 5, 2026

Magit for VSCode

TypeScript 1,520 86 Updated Jan 5, 2026

Visualise which gc-roots to delete to free some space in your nix store

Rust 460 6 Updated May 12, 2025

a game where you're given a potato and your job is to implement a firmware for it

504 9 Updated Aug 12, 2025
Nix 54 24 Updated Feb 2, 2026

Haskell Playground

Haskell 157 12 Updated Jan 18, 2026

Automated Smart Meter readings data collection from ESB Ireland registred account (regardless of your current supply provider)

Python 87 15 Updated Aug 28, 2025

Rogue Legacy Source Code

C# 1,893 175 Updated Apr 7, 2025

Build retro games using WebAssembly for a fantasy console.

TypeScript 1,461 195 Updated Feb 4, 2026

Earrings with a ring of light

C 147 13 Updated Feb 4, 2026

Full code/assets of Anodyne 2: Return to Dust (2019)

C# 144 8 Updated Aug 14, 2024

A Haskell roguelike toolkit

Haskell 12 Updated Jul 10, 2025

High-quality PNGs for logos I made for fun

CSS 6,115 302 Updated Jun 3, 2024

Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.

C++ 12,018 4,428 Updated Feb 5, 2026

a smol tcp/ip stack

Rust 4,344 505 Updated Feb 3, 2026

Fortune favors the kind

Rust 41 3 Updated Dec 29, 2024

Explain why two Nix derivations differ

Haskell 453 20 Updated Sep 6, 2025

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Nix 1,269 121 Updated Feb 4, 2026

Porting Windows Dynamic Link Libraries to Linux

C 4,469 392 Updated Apr 10, 2025

Library of the ##dependent distributed research support group

TeX 119 11 Updated Jul 12, 2024

Modern embedded framework, using Rust and async.

Rust 8,731 1,352 Updated Feb 4, 2026
Next