V0ldek's Projects
Solutions for AdventOfCode 2021.
Rust crate for type-level byte alignment guarantees.
Crev proof repository
Custom measurement format for Criterion.rs that displays throughput in decimal byte-multiples (KB/s, MB/s, GB/s) instead of binary (KiB/s, MiB/s, GiB/s).
Statistics-driven benchmarking library for Rust
Template for autograding enabled .NET projects in GitHub Classroom.
PoC example ASP.NET Core app.
Example REST API created for a recruitment process.
Tetris clone made in Unity Engine.
MoreLINQ examples that can be run & tested live (powered by Try .NET)
A web platform for board game meetings.
Hybrid functional/imperative language with side effects handled at the type system.
Simple JVM and LLVM compiler for a calculator language.
JSONPath Streaming Framework with Bit-Parallel Fast-Forwarding
Compiler for a Java-like language Latte for x86_64.
Microservice application for LoL esports casual betting.
Assignments from Introduction to Programming (Functional approach), MIM UW, year 1
The small graded assignment during 2017/2018 IPP course on MIMUW.
Grading tools and tests for Programming Languages assignment in Prolog for MIMUW.
An interpreter for Rust's mid-level intermediate representation
Moking Entity Framework Core operations such ToListAsync, FirstOrDefaultAsync etc
Extensions to LINQ to Objects
Blazor Component Library based on Material design. The goal is to do more with Blazor, utilizing CSS and keeping Javascript to a bare minimum.
Example contracts written with Plutarch and usual PlutusTx
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.