-
raise-vscode Public
VS Code extension adding support for the RAISE Specification Language
-
raise-docker-util Public
A shell wrapper around dockerized RAISE
-
rsl-language-server Public
Language Server for the RAISE Specification Language
-
RAISE-tools Public
Forked from HerrKatzen/Formal-Aspects-DockerDocker image with RAISE tools
-
mandelbrot-set-explorer Public
Colorful Mandelbrot set renderer in C# + OpenGL + ARM NEON
-
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedOct 27, 2023 -
java-compiler Public
A Java compiler developed for 02247 Compiler Construction at DTU
Java UpdatedFeb 14, 2023 -
bootable-stuff Public
A two-stage bootloader, an x86-64 kernel, and an OS stub
-
-
-
-
dotSpace Public
Forked from pSpaces/dotSpaceProgramming with Spaces in .NET
C# MIT License UpdatedJan 3, 2022 -
micro-c-analyzer Public
Program analysis module for MicroC
-
rate-limited-api Public
ASP.NET Core rate-limited API using the Token Bucket algorithm
-
qsharp-compiler-mirror Public
A mirror of the qsharp-compiler repository
-
quantum-explorer Public
Bachelor's project: Compiler Explorer for Q#
-
homebridge-huawei-lte-router Public
Homebridge plugin for automating Huawei LTE routers.
-
-
-
ray-tracer Public
Ray tracing with Haskell's Parallel Evaluation Strategies
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 15, 2021 -
minecraft-clone Public
Minecraft-like terrain from scratch with OpenGL
-
BFC-10000 Public
Heavily optimising Brainf*** compiler targeting LLVM
-
cognitive-maps Public
Applying cognitive map–based models to time series prediction
Python UpdatedJan 6, 2021 -
-
mini-lang Public
A simple programming language compiled to .NET's CIL
-
total-invigilation Public
Detecting students cheating on online tests
JavaScript UpdatedJul 9, 2020 -
-
motif-discovery Public
Projekt badawczy w ramach przedmiotu "Grafy i sieci"
-
Stalky Public
Forked from defaultnamehere/zzzzzAnalyse your Facebook friends' online activity patterns
-
pseudoassembler-compiler Public
HPA to C compiler written for prof. Homenda's pseudoassembly language.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 25, 2020
{{ message }}