-
conjin Public
PHP framework for rapid content generation
PHP GNU General Public License v3.0 UpdatedAug 19, 2025 -
system-config Public
Personal system config based on Ansible and Nix + home-manager
Nix MIT License UpdatedApr 14, 2025 -
eskuel-suite Public
Learn SQL in the browser
-
-
mainlab Public
Learning material for CS and math
PHP Creative Commons Attribution Share Alike 4.0 International UpdatedSep 1, 2024 -
-
dhall-docker-compose Public
Forked from sbdchd/dhall-docker-compose💨 A library for writing Docker Compose files in Dhall.
Dhall UpdatedAug 3, 2024 -
mainual Public
Content of www.mainual.de
PHP Creative Commons Attribution Share Alike 4.0 International UpdatedApr 20, 2024 -
simple-timeserver Public
Demonstration of a client-server architecture via TCP in Java
Java MIT License UpdatedMay 14, 2021 -
flanelly Public
Porgramming Lab: Writing a flow analyzer for a simple imperative programming language in Rust
Rust UpdatedApr 10, 2021 -
mycms Public
Simple CMS with focus on a puristic and (slightly overly) extensible architecture (discontinued after 2011, written in PHP 5)
PHP UpdatedJan 4, 2021 -
unikeyboard Public
Forked from emareg/unikeyboardxkb keyboard layout with 8 levels for often used unicode characters
Shell UpdatedNov 20, 2020 -
Make your cursors dance with Kakoune-like keybindings for VS Code.
TypeScript UpdatedMar 31, 2020 -
fzf-marks-advanced Public
A bookmarking plugin for zsh, inspired by fzf-marks and based on fzf
Python MIT License UpdatedMar 21, 2020 -
-
trifecta Public
Forked from ekmett/trifectaParser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
Haskell Other UpdatedJul 3, 2018 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedApr 2, 2018 -
frankjnr Public
Forked from cmcl/frankjnrAnother implementation of Frank.
{{ message }}