stefanradziuk Goto Github PK

3nav

3Nav: mobile app for in-building navigation - educational project w III High School in Gdynia

adv360-zmk

Production repository for the all-new Advantage360 Professional using ZMK engine

bishop

bishopjs

Animation inspired by OpenSSH's key randomart

bishoprs

compcert

Fork of CompCert that extracts a specific set of modules useful for Gillian-C

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.

dotfiles

gameoflife

conway's game of life

hanaspeak

SSDSKSJHSKSSHKJJMSHJSKA

landing_page

my-dots

shell scripts and dotfiles for a minimal linux setup

naturaldeduction

Scala tool for representation and verification of natural deduction proofs

nix-snippets

nixos

❄ NixOS config + dots

nixpkgs

Nix Packages collection

paars

a toy parser combinator library

parsley

An exceptionally fast parser combinator library for Scala

pendula

picom

A lightweight compositor for X11

placingbeacons

population_simulator

population_simulator

pv-calculators

Calculators for photovoltaic systems

randombooleannetworks

randombooleannetworksplay

rbn

rbnjs

random boolean networks implemented using scala.js

rofimoji

A simple emoji and character picker for rofi 😁

scalaplayground

hello, scala!

seoul256.vim

:deciduous_tree: Low-contrast Vim color scheme based on Seoul Colors