Pinned Repositories
abstract-network
An abstraction over the network layer in Haskell, facilitating easy development of distributed applications.
AdventOfCode
agda-vim
Agda interaction in vim
blogc
A blog compiler.
CurryHoward
Moje przygody z rachunkiem λ
mycelium
Mycelium growth with Processing and JBox2D
ParallelMultiplication
Parallel multiplication algorithms (MPI, OMP)
pltak
Prosty program do edycji plików JPK_VAT(3)
reaction-diffusion-gpu
Reaction-diffusion system with glsl shader
rszczers's Repositories
rszczers/abstract-network
An abstraction over the network layer in Haskell, facilitating easy development of distributed applications.
rszczers/AdventOfCode
rszczers/agda-vim
Agda interaction in vim
rszczers/blogc
A blog compiler.
rszczers/CurryHoward
Moje przygody z rachunkiem λ
rszczers/brainfuck
bf interpreter
rszczers/burgers
Burgers PDE
rszczers/calcurse
A text-based calendar and scheduling application
rszczers/CESR-Parser
Haskell CESR parser library
rszczers/cierpliwosc-zasadzka
My hakyll sources
rszczers/cis194-solutions
Solutions for cis194 exercises
rszczers/declarative-hangman
Playing around with gi-gtk-declarative
rszczers/documentation
Documentation for the PureScript language, compiler, and tools.
rszczers/dotfiles
rszczers/enummapset
IntMap and IntSet with Enum keys/elements.
rszczers/flapigen-rs
Tool for connecting programs or libraries written in Rust with other languages
rszczers/HaTeX
The Haskell LaTeX library.
rszczers/hipio
A DNS server that parses a domain for an IPv4 Address
rszczers/LambdaCube
rszczers/LambdaHack
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
rszczers/latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
rszczers/Oblicze2
rszczers/oblicze_poll
Poll system and mobile backend for θβℓιcℤε 2017-2019 conference
rszczers/osmpbfreader-rs
Read OpenStreetMap PBF files in rust.
rszczers/Oxygengine
Rust implementation of Oxygen Core HTML5 game engine
rszczers/rszczers.github.io
rszczers/slist
♾️ Sized list
rszczers/spacecookie
gopher library & server written in Haskell
rszczers/Twarog
:scroll: Team manager for MYFAROG tabletop rpg
rszczers/xmonad-rszczers