dyniec

dyniec's Stars

• openKolibri/halo-90

  Earrings with a ring of light

  Language:C12212

• analgesicproductions/Anodyne-2-Open-Source

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

  Language:C#995

• nijigenerate/nijigenerate

  Language:D1803

• PPKFS/roguefunctor

  A Haskell roguelike toolkit

  Language:Haskell3

• Aikoyori/ProgrammingVTuberLogos

  High-quality PNGs for logos I made for fun

  Language:CSS5.5k290

• CleverRaven/Cataclysm-DDA

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

  Language:C++10.3k4.1k

• smoltcp-rs/smoltcp

  a smol tcp/ip stack

  Language:Rust3.7k414

• cafkafk/fortune-kind

  Fortune favors the kind

  Language:Rust321

• Gabriella439/nix-diff

  Explain why two Nix derivations differ

  Language:Haskell34018

• ipetkov/crane

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

  Language:Nix88383

• taviso/loadlibrary

  Porting Windows Dynamic Link Libraries to Linux

  Language:C4.3k375

• dpndnt/library

  Library of the ##dependent distributed research support group

  Language:TeX11010

• embassy-rs/embassy

  Modern embedded framework, using Rust and async.

  Language:Rust5.2k724

• travisgoodspeed/gbrom-tutorial

  Tutorial for extracting the GameBoy ROM from photographs of the die.

  1.1k29

• DioxusLabs/dioxus

  Fullstack app framework for web, desktop, mobile, and more.

  Language:Rust20.3k778

• rust-lang/rust-by-example

  Learn Rust with examples (Live code editor included)

  Language:Handlebars7k1.3k

• lunasorcery/Blossom

  4K Executable Graphics framework

  Language:C2208

• juanfont/headscale

  An open source, self-hosted implementation of the Tailscale control server

  Language:Go22.2k1.2k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.7k878

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k187

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust32.9k2.4k

• rust-lang/nomicon

  The Dark Arts of Advanced and Unsafe Rust Programming

  Language:CSS1.8k261

• seeinglogic/ariadne

  Language:Python802

• isovector/cornelis

  agda-mode for neovim

  Language:Haskell13022

• flora-pm/flora-server

  A package index for the Haskell ecosystem

  Language:Haskell12538

• hibiii/Blahaj

  BLÅHAJ Soft toy, shark mod, 16px

  Language:Java16922

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean51627

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda35828

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28368

• rust-unofficial/too-many-lists

  Learn Rust by writing Entirely Too Many linked lists

  Language:Rust3.2k276