Sunbelt Computer Software

formalgorithms

BSc thesis project, support code.

Name		Name	Last commit message	Last commit date
Latest commit History 75 Commits
.vscode		.vscode
io-bench-tokio		io-bench-tokio
spec		spec
src		src
.envrc		.envrc
.gitignore		.gitignore
10k-sch.txt		10k-sch.txt
10k-tokio.txt		10k-tokio.txt
20k-sch.txt		20k-sch.txt
20k-tokio.txt		20k-tokio.txt
25k-sch.txt		25k-sch.txt
25k-tokio.txt		25k-tokio.txt
LICENSE		LICENSE
README.md		README.md
alire.toml		alire.toml
bench-sch.sh		bench-sch.sh
bench-tokio.sh		bench-tokio.sh
compute-confidence-intervals.py		compute-confidence-intervals.py
flake.lock		flake.lock
flake.nix		flake.nix
formalgorithms.gpr		formalgorithms.gpr
results-sch.txt		results-sch.txt
results-tokio.txt		results-tokio.txt
sch-benchmarks.txt		sch-benchmarks.txt
test.py		test.py
test_socket.sh		test_socket.sh
test_socket_2.sh		test_socket_2.sh
tokio-benchmarks.txt		tokio-benchmarks.txt