Pinned Repositories
frank
Frank compiler
conjin
PHP framework for rapid content generation
conjin-demo
Demo of conjin project
conjin-vscode
Visual Studio Code extension for conjin
dance
Make your cursors dance with Kakoune-like keybindings for VS Code.
eskuel-suite
Learn SQL in the browser
flanelly
Porgramming Lab: Writing a flow analyzer for a simple imperative programming language in Rust
frankjnr
Another implementation of Frank.
mycms
Simple CMS with focus on a puristic and (slightly overly) extensible architecture (discontinued after 2011, written in PHP 5)
system-config
Personal system config based on Ansible and Nix + home-manager
lucques's Repositories
lucques/eskuel-suite
Learn SQL in the browser
lucques/frankjnr
Another implementation of Frank.
lucques/conjin
PHP framework for rapid content generation
lucques/conjin-demo
Demo of conjin project
lucques/conjin-vscode
Visual Studio Code extension for conjin
lucques/dance
Make your cursors dance with Kakoune-like keybindings for VS Code.
lucques/dhall-docker-compose
:dash: A library for writing Docker Compose files in Dhall.
lucques/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
lucques/flanelly
Porgramming Lab: Writing a flow analyzer for a simple imperative programming language in Rust
lucques/mycms
Simple CMS with focus on a puristic and (slightly overly) extensible architecture (discontinued after 2011, written in PHP 5)
lucques/system-config
Personal system config based on Ansible and Nix + home-manager
lucques/fzf-marks-advanced
A bookmarking plugin for zsh, inspired by fzf-marks and based on fzf
lucques/links
Links
lucques/mainlab
Learning material for CS and math
lucques/mainual
Content of www.mainual.de
lucques/simple-timeserver
Demonstration of a client-server architecture via TCP in Java
lucques/trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
lucques/unikeyboard
xkb keyboard layout with 8 levels for often used unicode characters