honzasp

Jan Špaček's repositories

makiko

Asynchronous SSH client library in pure Rust

Language:RustUnlicense37 2 5

rust-turbojpeg

Rust bindings for TurboJPEG library

Language:RustMIT15 2 8

geosick

Are you infected?

Language:C++9 50

spiral

A simple compiled programming language

Language:RustUnlicense5 20

vp8l

WebP lossless (VP8L) image encoder

Language:C#5 30

dort

A physically based renderer

Language:C++3 20

libext2

Library that can read and write ext2 filesystem (first semestral program)

Language:RustUnlicense3 20

inkvizitor

Language:HaskellGPL-3.02 20

ropucha

Language:Ruby1 20

typing

Haskell implementation of some interpreters from "Types and Programming Languages" by Benjamin C. Pierce

Language:Haskell1 20

vim_config

Configuration of my Vim

Language:Vim script1 20

totem_destroyer

An old game I made in September 2009.

Language:C++NOASSERTION020

arrayvec

A vector with a fixed capacity. (Rust)

Apache-2.0000

balloon_watcher

Watch your balloons with Android :)

Language:Java020

cjunimir

Reimplementation of the good old Krunimir in Clojure

Language:ClojureUnlicense020

comprsr

Language:Rust020

comprsr_test

Language:Rust020

deep_moo

Algorithm for playing "6 nimmt" (aka "Cows")

Language:Rust020

diplot

Language:Ruby020

embassy

Modern embedded framework, using Rust and async.

Language:RustApache-2.0000

funsp

Repository of SOČ paper "Líně, čistě, funkcionálně"

Language:Haskell030

glam-rs

A simple and fast linear algebra library for games and graphics

Apache-2.0000

honzasp.github.io

Language:HTML020

lemon-rs

LALR(1) parser generator for Rust based on Lemon + SQL parser

Language:RustUnlicense000

libsql-client-go

Go client API for libSQL

Language:GoMIT000

logistics

Solution to NAIL069 task 2 (logistics)

Language:Rust020

nvim_config

Language:Vim Script020

quinn_leak

Language:Rust010

sqld

sqld is a server mode for libSQL

Language:RustMIT000

vampire

Scrape information about blood storage levels

Language:PythonUnlicense020