wojciechkarpiel Goto Github PK

bloatkill

Zabójca programów które zajmują za dużo pamięci

book

A textbook on informal homotopy type theory

cayley-dickson

Repl for calculations on numbers constructed by Caley-Dickson's method

ciag-q-do-n

Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną

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.

cosine-similarity

Veryfying similarity of strings and text files on scale [0.0-1.0]

csp

CSP concurrency model implementation in Scheme

elf13

Czy da się być elfem w 1/13?

hott-cwiczenia

jhou

Higher-order unification library for JVM

lean4

Lean 4 programming language and theorem prover

math-comp

Mathematical Components

mcb

Mathematical Components (the Book)

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

projekt-na-gg-czw-0800

Projekt na Gramatyki Grafowe, grupa czwartek 8.00

rbt

shelm

SBT Helm plugin

sieciowy-kot

Implementacja Netcata w Raście

stream-demo

Spring Cloud Stream pipeline demo

swarm-intelligence-demo

Demonstration of swarm intelligence algorithms

szeregowicz

Wykona współbieżnie co się da!

tableaux

ustrukturyzuj

wiezniowie

Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach

wojciechkarpiel.github.io

wygryw

Game Theory lemmas

zfc

Obczajam nowe możliwości Javy implementując aksjomaty ZFC