Pinned Repositories
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?
projekt-na-gg-czw-0800
Projekt na Gramatyki Grafowe, grupa czwartek 8.00
WojciechKarpiel's Repositories
WojciechKarpiel/cosine-similarity
Veryfying similarity of strings and text files on scale [0.0-1.0]
WojciechKarpiel/projekt-na-gg-czw-0800
Projekt na Gramatyki Grafowe, grupa czwartek 8.00
WojciechKarpiel/csp
CSP concurrency model implementation in Scheme
WojciechKarpiel/elf13
Czy da się być elfem w 1/13?
WojciechKarpiel/bloatkill
Zabójca programów które zajmują za dużo pamięci
WojciechKarpiel/book
A textbook on informal homotopy type theory
WojciechKarpiel/cayley-dickson
Repl for calculations on numbers constructed by Caley-Dickson's method
WojciechKarpiel/ciag-Q-do-N
Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną
WojciechKarpiel/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.
WojciechKarpiel/hott-cwiczenia
WojciechKarpiel/jhou
Higher-order unification library for JVM
WojciechKarpiel/lean4
Lean 4 programming language and theorem prover
WojciechKarpiel/math-comp
Mathematical Components
WojciechKarpiel/mcb
Mathematical Components (the Book)
WojciechKarpiel/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
WojciechKarpiel/RBT
WojciechKarpiel/shelm
SBT Helm plugin
WojciechKarpiel/sieciowy-kot
Implementacja Netcata w Raście
WojciechKarpiel/stream-demo
Spring Cloud Stream pipeline demo
WojciechKarpiel/swarm-intelligence-demo
Demonstration of swarm intelligence algorithms
WojciechKarpiel/szemek
WojciechKarpiel/szeregowicz
Wykona współbieżnie co się da!
WojciechKarpiel/tableaux
WojciechKarpiel/ustrukturyzuj
WojciechKarpiel/wiezniowie
Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach
WojciechKarpiel/WojciechKarpiel.github.io
WojciechKarpiel/wygryw
Game Theory lemmas
WojciechKarpiel/zfc
Obczajam nowe możliwości Javy implementując aksjomaty ZFC