V0ldek

V0ldek

Geek Repo

Company:Technische Universität München

Location:Munich

Home Page:https://v0ldek.com

Github PK Tool:Github PK Tool


Organizations
rsonquery

V0ldek's repositories

DotnetClassroomTemplate

Template for autograding enabled .NET projects in GitHub Classroom.

Language:C#License:MITStargazers:8Issues:1Issues:0

criterion-decimal-throughput

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).

Language:RustLicense:MITStargazers:3Issues:1Issues:1

plutarch-examples

Example contracts written with Plutarch and usual PlutusTx

Language:NixLicense:Apache-2.0Stargazers:3Issues:2Issues:1

rsonpath-benchmarks

Benchmarks for the rsonpath crate

Language:RustLicense:MITStargazers:3Issues:2Issues:0

Latte

Compiler for a Java-like language Latte for x86_64.

Language:HaskellLicense:MITStargazers:2Issues:0Issues:0

Usosfetch

A Python script pushing email notifications for grade changes on USOSWeb.

Language:PythonLicense:GPL-3.0Stargazers:2Issues:2Issues:7

aligners

Rust crate for type-level byte alignment guarantees.

Language:RustLicense:MITStargazers:1Issues:0Issues:0

GameBoard

A web platform for board game meetings.

Language:C#Stargazers:1Issues:0Issues:0

Instant

Simple JVM and LLVM compiler for a calculator language.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

LeagueOfBets

Microservice application for LoL esports casual betting.

Language:C#Stargazers:1Issues:0Issues:0

Sorcery

Blazor website (https://v0ldek.com).

Language:HTMLLicense:MITStargazers:1Issues:0Issues:0

Sorcery-CSharp-Notebooks

Interactive notebooks for the C#.NET course at https://gienieczko.com/teaching/csharp

Language:C#License:MITStargazers:1Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

AdventOfCode2021

Solutions for AdventOfCode 2021.

Language:C#Stargazers:0Issues:0Issues:0

arrow-rs

Official Rust implementation of Apache Arrow

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

crev-proofs

Crev proof repository

Stargazers:0Issues:0Issues:0

criterion.rs

Statistics-driven benchmarking library for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:C#Stargazers:0Issues:1Issues:0

DuckMaster

Example REST API created for a recruitment process.

Language:C#Stargazers:0Issues:0Issues:0

examples

MoreLINQ examples that can be run & tested live (powered by Try .NET)

Stargazers:0Issues:0Issues:0

JSONSki

JSONPath Streaming Framework with Bit-Parallel Fast-Forwarding

Language:C++Stargazers:0Issues:0Issues:0

mimuw-prolog-safety-checker

Grading tools and tests for Programming Languages assignment in Prolog for MIMUW.

Language:C#Stargazers:0Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

MudBlazor

Blazor Component Library based on Material design. The goal is to do more with Blazor, utilizing CSS and keeping Javascript to a bare minimum.

License:MITStargazers:0Issues:0Issues:0

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

License:UnlicenseStargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

setup-mingw

GitHub action to set up MinGW-w64

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0