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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell bindings for systemd☆20Jul 10, 2024Updated last year
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Mar 22, 2018Updated 8 years ago
- Java library based on the VLog rule engine☆34Jul 12, 2025Updated 8 months ago
- Tool for generating filtered Wikidata RDF exports☆44Apr 9, 2022Updated 3 years ago
- My personal (public) NixOS configurations and common Nix(OS) modules, pkgs, and libs.☆17Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Minimal Bitcoin wallet intended for teaching rust-bitcoin☆11May 30, 2023Updated 2 years ago
- ☆15Aug 19, 2024Updated last year
- Supercharge your email management with Gnus -- an Emacs configuration with improved defaults. Simplify your inbox with our optimized setu…☆10Jan 12, 2025Updated last year
- RDF parsers library☆87Dec 30, 2024Updated last year
- After KernelUpgrade Loadable Modules☆13Mar 22, 2021Updated 5 years ago
- Small library to extract media information from local files.☆17Apr 5, 2022Updated 3 years ago
- Emacs major mode for Dyalog APL☆16Feb 14, 2023Updated 3 years ago
- Courier Mail Server - shared libraries☆12Jan 31, 2026Updated last month
- A simple zsh completion file for borgbackup☆11Nov 16, 2017Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Emacs dired visited paths history☆24Jul 18, 2022Updated 3 years ago
- Transparenzranking.de vergleicht alle Transparenzregelungen Deutschlands☆12Updated this week
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Eine technische Wahlentscheidungshilfe☆13Jan 25, 2025Updated last year
- ☆19Apr 7, 2025Updated 11 months ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Mar 9, 2026Updated 3 weeks ago
- A simple tool for monitoring the progress of OpenFOAM simulations☆12Nov 9, 2018Updated 7 years ago
- Nagios Checks☆11Jan 9, 2024Updated 2 years ago
- Generate valid looking random MAC address☆17Feb 13, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- a geographical visualization☆12Mar 28, 2018Updated 8 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29May 21, 2025Updated 10 months ago
- [OBSOLETE] Replaced by https://gitlab.wikimedia.org/toolforge-repos/python-toolforge☆22Apr 2, 2023Updated 2 years ago
- Simple music player for Sailfish OS☆28May 19, 2021Updated 4 years ago
- A Full-Source Bootstrap for NixOS☆70Mar 1, 2026Updated 3 weeks ago
- Examples showing how to use Wikidata Toolkit as a Maven library in your project☆55Sep 10, 2025Updated 6 months ago
- The package manager for Cyclone Scheme.☆33Feb 14, 2024Updated 2 years ago
- add "send to bluetooth device" option in nautilus right-click menu☆15Mar 5, 2024Updated 2 years ago
- A multiplayer Warnet competition☆35Jan 25, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Aug 19, 2019Updated 6 years ago
- A file that behaves the same when executed as Ruby, C, PHP, and Javascript.☆22Mar 27, 2018Updated 8 years ago
- dotfiles☆20Apr 26, 2025Updated 11 months ago
- ☆15Aug 30, 2024Updated last year
- PhipsBoot is a relocatable x86_64 bootloader for legacy boot written in Rust and assembly.☆14Mar 2, 2025Updated last year
- ☆32Updated this week
- Fitbit SDK example application.☆10Mar 7, 2023Updated 3 years ago