Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
☆24Jul 15, 2024Updated last year
Alternatives and similar repositories for TheoLog
Users that are interested in TheoLog are comparing it to the libraries listed below
Sorting:
- Haskell bindings for systemd☆20Jul 10, 2024Updated last year
- The Supreme Information Providing Application☆13Mar 1, 2026Updated last week
- Django Code for the Webpage☆10Jan 26, 2025Updated last year
- Fitbit SDK example application.☆10Mar 7, 2023Updated 3 years ago
- Nagios Checks☆11Jan 9, 2024Updated 2 years ago
- This repo contains allows you to quickly and easily create a Virtual Machine with a working Pebble SDK install using Vagrant and Virtualb…☆14Oct 1, 2025Updated 5 months ago
- ⚙️ An Arma 3 Mod Manager Console for Linux & MacOS. Easily enable, disable, and manage Steam Workshop mods and CDLCs without the official…☆19Feb 18, 2026Updated 2 weeks ago
- ☆11Jun 16, 2022Updated 3 years ago
- A simple zsh completion file for borgbackup☆11Nov 16, 2017Updated 8 years ago
- Converter for Arma 3's PAA format that works 100% in the browser.☆13Jan 25, 2026Updated last month
- Courier Mail Server - shared libraries☆12Jan 31, 2026Updated last month
- Syntax highlighting file for vim or neovim for Arma's SQF script syntax☆10Oct 10, 2021Updated 4 years ago
- A proof-of-concept for SVG-based unobtrusive highlighting on web pages.☆11Nov 12, 2022Updated 3 years ago
- PhipsBoot is a relocatable x86_64 bootloader for legacy boot written in Rust and assembly.☆14Mar 2, 2025Updated last year
- View the GPN19 Fahrplan in your terminal☆12Dec 27, 2022Updated 3 years ago
- Collect User templates for everyone to use☆10Aug 18, 2025Updated 6 months ago
- ☆11Mar 22, 2018Updated 7 years ago
- A cross-compiling toolchain for the Amazon Kindle☆19Sep 6, 2014Updated 11 years ago
- Unicorn theme for Icinga Web 2☆17Oct 6, 2023Updated 2 years ago
- Eine technische Wahlentscheidungshilfe☆13Jan 25, 2025Updated last year
- Minimal Bitcoin wallet intended for teaching rust-bitcoin☆11May 30, 2023Updated 2 years ago
- a geographical visualization☆12Mar 28, 2018Updated 7 years ago
- A beautifully crafted, accessible theme for Logseq inspired by Steph Ango's Flexoki color scheme. Enhanced with professional design syste…☆18Mar 2, 2026Updated last week
- ☆11Aug 19, 2019Updated 6 years ago
- A simple tool for monitoring the progress of OpenFOAM simulations☆12Nov 9, 2018Updated 7 years ago
- The only winning move is not to play☆14Aug 3, 2021Updated 4 years ago
- A translation layer allowing clients from other music servers to work with Swing Music.☆15Dec 17, 2025Updated 2 months ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated 5 months ago
- ☆19Apr 7, 2025Updated 11 months ago
- Unofficial Git mirror of the Sword library SVN. Pull requests are not accepted.☆12Aug 11, 2025Updated 6 months ago
- Folien und Skript zur Vorlesung "Programmiersprachen und Übersetzer"☆13Jan 26, 2024Updated 2 years ago
- Srtm2Osm tool uses Shuttle Radar Topography Mission (SRTM) digital elevation model (DEM) to generate elevation contours (isohypses) of a …☆14Aug 27, 2024Updated last year
- ☆14Oct 29, 2022Updated 3 years ago
- ☆14Nov 4, 2025Updated 4 months ago
- Files for getting started with the TTGO EPaper Display unit with ESP-32 and Arduino IDE☆14Jul 9, 2024Updated last year
- Execute R Scripts from within Excel☆19Jun 9, 2019Updated 6 years ago
- This is a base image for building packages for Arch Linux.☆15Sep 11, 2021Updated 4 years ago
- ☆21Jan 3, 2025Updated last year
- ☆13Jun 26, 2021Updated 4 years ago