Pinned Repositories
lima
Group Project Lima
advent-of-code
expected-lite
expected lite - Expected objects in C++11 and later in a single-file header-only library
idris-scientific
Exploring the potential use of dependent types in scientific programming.
minimal
Minimal is a Jekyll theme for GitHub Pages
test
tscheme
6.945 final project - a scheme interpreter with type inference
vscode-clangd
Visual Studio Code extension for clangd
polasek's Repositories
polasek/idris-scientific
Exploring the potential use of dependent types in scientific programming.
polasek/advent-of-code
polasek/expected-lite
expected lite - Expected objects in C++11 and later in a single-file header-only library
polasek/minimal
Minimal is a Jekyll theme for GitHub Pages
polasek/test
polasek/tscheme
6.945 final project - a scheme interpreter with type inference
polasek/vscode-clangd
Visual Studio Code extension for clangd