Jakub Janaszkiewicz's repositories
bootable-stuff
A two-stage bootloader, an x86-64 kernel, and an OS stub
mandelbrot-set-explorer
Colorful Mandelbrot set renderer in C# + OpenGL + ARM NEON
quantum-explorer
Bachelor's project: Compiler Explorer for Q#
raise-vscode
VS Code extension adding support for the RAISE Specification Language
rsl-language-server
Language Server for the RAISE Specification Language
homebridge-huawei-lte-router
Homebridge plugin for automating Huawei LTE routers.
minecraft-clone
Minecraft-like terrain from scratch with OpenGL
micro-c-analyzer
Program analysis module for MicroC
motif-discovery
Projekt badawczy w ramach przedmiotu "Grafy i sieci"
qsharp-compiler-mirror
A mirror of the qsharp-compiler repository
raise-docker-util
A shell wrapper around dockerized RAISE
rate-limited-api
ASP.NET Core rate-limited API using the Token Bucket algorithm
advent-of-code-2022
It's Rustin' time ⭐⭐
cognitive-maps
Applying cognitive map–based models to time series prediction
dotSpace
Programming with Spaces in .NET
Formal-Aspects-Docker
Docker image with RAISE tools for Apple M1
java-compiler
A Java compiler developed for 02247 Compiler Construction at DTU
ofmc-parallel
Multicore OFMC implementation
processing-raycasting
An exercise in raycasting using p5.js
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
pseudoassembler-compiler
HPA to C compiler written for prof. Homenda's pseudoassembly language.
ray-tracer
Ray tracing with Haskell's Parallel Evaluation Strategies
tichu-puzzle
Solving a puzzle with Prolog and Coq.
total-invigilation
Detecting students cheating on online tests