Lut99

Programmer guy I guess

University of AmsterdamAmsterdam

Pinned Repositories

brane
Programmable Orchestration of Applications and Networking
Language:Rust10 2 838
policy-reasoner
Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.
Language:Rust1 4 351
ArgumentParser
A custom-build ArgumentParser which focuses on easy-to-use for both the Programmer and the eventual command-line user.
Language:C++1 1 350
Computers
A repo for Tim's Computers project.
Language:C++1 1 10
CookieFactory
A github repo for Lut99 Cookie Factory's project
Language:Python1 1 00
FileHeaderGenerator
Repo for the Visual Studio Code Auto Header Generator.
Language:TypeScript2 1 00
lib-rs
A collection of Rust libraries that are useful across (my) projects.
0 1 00
Rasterizer
Yet Another Project that deals with me trying to make a cool rasterizer engine. Again, Vulkan-based, but it's not as tightly tied to any tutorial as last time. Let's just see where this goes, shall we?
Language:C++1 1 170
RayTracer
The RayTracer repository is made for Lut99's ray tracing renderer. The first version is simple, but trust me, it gets complicated rather fast.
Language:C++2 1 80
rust-proxy
A simple proxy service with TLS support and intuitive, quick-to-write configuration syntax.
Language:Rust2 2 00

Lut99's Repositories

Lut99/rust-proxy
A simple proxy service with TLS support and intuitive, quick-to-write configuration syntax.
Language:Rust2 2 00
Lut99/lib-rs
A collection of Rust libraries that are useful across (my) projects.
0 1 00
Lut99/ast-toolkit-rs
A collection of structs and interfaces extremely useful when working with compilers that parse text into ASTs.
Language:Rust1 0
Lut99/async-logger-rs
A logger for Rust projects relying on tokio parallelism - e.g., webservers.
Language:Rust
Lut99/auth-rs
Implements server-side handling for a simple user name/password authentication scheme. Build atop [database](https://github.com/Lut99/database-rs) and for [warp](https://github.com/seanmonstar/warp).
Language:Rust1 0
Lut99/cci-website
Fork of the official CCI website for my own bio management purposes :)
Language:TeX0 01
Lut99/daphnee-hrnas
HR-NAS: Searching Efficient High-Resolution Neural Architectures with Lightweight Transformers (CVPR21 Oral)
Language:Python0 0
Lut99/database-rs
A collection of Database structs that can serve as base for database connectors in Rust.
Language:Rust
Lut99/dnd-rs
A server for playing DnD online with your friends.
Language:Rust1 0
Lut99/download-rs
Collection of Rust functions for downloading files and archives conveniently.
Language:Rust1 0
Lut99/eflint-json-specification
A small repository containing the accompanying examples behind the eFLINT JSON specification.
1 0
Lut99/enum-debug
Simple crate that implements EnumDebug, which can automatically derive a formatter for enum variant names only.
Language:Rust1 3
Lut99/error-trace-rs
Small Rust crate for printing nice errors traits based on `Error::source()`.
Language:Rust1 0
Lut99/errors-rs
Provides macros and other tools that make working with Rust errors nicer.
Language:Rust
Lut99/gui-rs
A simple (I hope lol) GUI engine written for egui, with winit and wgpu.
Language:Rust1 0
Lut99/hackage-license-scraper
Utility Python script that does what it says on the tin.
Language:Python
Lut99/humanlog-rs
A simple logger for the [log](https://https://docs.rs/log/latest/log/) crate that aims to have a simple user mode and a comprehensive debug mode.
Language:Rust1 21
Lut99/just-act
Implementation of the JustAct framework[1]
Language:Rust
Lut99/k-shortest-paths
A repository for designing and comparing different K-Shortest Path algorithms.
Language:Rust
Lut99/literal-arithmetic-rs
Implements procedural macro for doing math on integer literals for use in Rust macros.
Language:Rust
Lut99/logging-py
A small Python library for standardising the same logging functions I keep writing for every script.
Language:Python
Lut99/names-rs
A crate providing a set of names that can be used as example names.
Language:Rust
Lut99/radio-player
A simple web radio player website that plays nice with notifications and indicating who is currently playing.
Language:JavaScript
Lut99/sense-workflow-agent
A test worker agent that will be capable of simulating traffic for experiments with the SENSE orchestrator.
Language:Python
Lut99/server-events-rs
A Rust application that is used to be updated of status of deployments on remote servers.
Language:Rust1 0
Lut99/slick
Slick is a logical specification language. It is similar to Datalog (typeless, bottom-up) and Seaso (syntax, tuple values)
Lut99/stackvec-rs
Implements an alterative to a Rust `Vec` that lives on the stack instead of on the heap, making creating it much faster.
Language:Rust1 0
Lut99/static-website-host
A generalised Rust webserver for hosting static website files.
Language:Rust
Lut99/transform-rs
A small Rust library that defined the `TransformIter`-iterator, which can map an element in a tuple to zero or more elements of a potentially different type.
Language:Rust1 0
Lut99/versioning-rs
A (suite of) Rust procedural macro(s) that can be used to compile a schema- or specification-like struct to multiple versions of itself.
Language:Rust1 0