WojciechKarpiel's repositories
cosine-similarity
Veryfying similarity of strings and text files on scale [0.0-1.0]
projekt-na-gg-czw-0800
Projekt na Gramatyki Grafowe, grupa czwartek 8.00
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.
jhou
Higher-order unification library for JVM
math-comp
Mathematical Components
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!
wiezniowie
Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach