eneoli
Hi there! I'm a computer science student from Germany. I like programming language theory and type systems.
Karlsruhe Institute of Technology
Pinned Repositories
alice
A proof checker for constructive logic
crestronclient
A Python lib for connecting to crestron processors as an XPanel app
di
A lightweight TypeScript Dependency Injector using reflect-metadata
domain-check
A promise based lib to check if a domain name is available or not
flakeshot
A screenshot tool for unix-systems which runs natively on Wayland and X11!
helix-config
My personal config for the Helix Editor
ldap2moodle
Sync LDAP users and classes from linuxmuster.net to a Moodle installation using its REST api.
moodle3session
unifi-voucher-terminal
Unifi Voucher Terminal is an inofficial app for voucher code printing by pressing a button using a raspberry pi and an Epson TM88-IV (other serial printers may be supported)
vertretungApp
⚛ Vertretungsplan am Leo App in React Native ⚛
eneoli's Repositories
eneoli/flakeshot
A screenshot tool for unix-systems which runs natively on Wayland and X11!
eneoli/crestronclient
A Python lib for connecting to crestron processors as an XPanel app
eneoli/alice
A proof checker for constructive logic
eneoli/domain-check
A promise based lib to check if a domain name is available or not
eneoli/unifi-voucher-terminal
Unifi Voucher Terminal is an inofficial app for voucher code printing by pressing a button using a raspberry pi and an Epson TM88-IV (other serial printers may be supported)
eneoli/di
A lightweight TypeScript Dependency Injector using reflect-metadata
eneoli/helix-config
My personal config for the Helix Editor
eneoli/moodle3session
eneoli/node-whois
A simple WHOIS client for NodeJs using promises
eneoli/Vertretungsplan-Leoninum-Backend
Das Git Repository des Vertretungsplan-Backends des Gymnasium Leoninum Handrup Version 2.0
eneoli/VertretungsplanLeoninumApp
Web: Die Vertretungsplan APP des Gymnasiums Leoninum Handrup 2.0
eneoli/AlumniNet
Ehemaligenverwaltung des Gymnasium Leoninum Handrup
eneoli/ldap2moodle
Sync LDAP users and classes from linuxmuster.net to a Moodle installation using its REST api.
eneoli/pyTetris
Tetris written in python (using pygame)
eneoli/vertretungApp
⚛ Vertretungsplan am Leo App in React Native ⚛
eneoli/huffman-pascal
Huffman Encoder written in Pascal (Lazarus)
eneoli/ImageManageBundle
eneoli/kit-thesis-template
A Typst Template that mimics the thesis style at Karlsruhe Institute of Technology
eneoli/koeri-tests
JUnit 5 tests for all IPv4 forest lovers out there
eneoli/mandelbrot
The Mandelbrot set in C++ using SDL2
eneoli/moorhuhn-lasertag
Visit http://www.el-voss.de/?p=159 for more information
eneoli/nixpkgs
Nix Packages collection & NixOS
eneoli/OfficeAddin
For https://github.com/OfficeDev/office-js/issues/1548
eneoli/parameterized-algorithms
Materials I made for proseminar "Algorithmen für NP-schwere Probleme" at Karlsruhe Institute of Technology
eneoli/Snake
The popular snake game written in pure Javascript with html5 canvas
eneoli/tsify
A library for generating TypeScript definitions from rust code.
eneoli/vertretungAppBackend
Vertretungsplan Backend der Vertrtungsplannapp des Gymnasium Leoninum Handrup
eneoli/web
My personal website
eneoli/xdg-desktop-portal-hyprland
xdg-desktop-portal backend for hyprland
eneoli/zeiterfassung
Eine kleine Zeiterfassung für meinen Schülerjob mit CSV Export