mgttlinger Merlin Humml
github.com/mgttlinger · maintains 16 packages (16 directly), sole maintainer of 14, member of 0 teams
16 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Ordered resolution based theorem prover for Coalition Logic |
1.0.3 |
1 | 3 | 0 | 0 | single | ||
Tableaux-based reasoner for expressive Description Logics (DL) |
1.6.5 |
1 | 3 | 0 | 0 | single | ||
GPU-accelerated procedural modeler and slicer for 3D printing |
2.4.1 → 2.4.4 |
1 | 18 | 0 | 0 | single unfree outdated | ||
Modern take on the classic host DNS lookup utility including an easy to use and very fast Rust lookup library |
0.11.4 |
1 | 5 | 0 | 0 | single | ||
`nushell` plugin for syntax highlighting |
1.4.16+0.114.1 |
1 | 6 | 0 | 0 | single broken | ||
Nushell plugin for easily converting between common units |
0.1.8 |
1 | 6 | 0 | 0 | single broken | ||
New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems |
2.7.0 → 2.7.1 |
1 | 3 | 0 | 0 | single outdated | ||
Simple bindings to Minisat-C |
0.6 |
1 | 5 | 1 | 2 | single | ||
SAT Solvers For OCaml |
0.8 |
1 | 6 | 1 | 1 | single | ||
Command line interface for user input |
1.2 |
1 | 6 | 0 | 0 | single | ||
Collection of tools for generating, manipulating and - most of all - solving parity games |
4.4 |
1 | 8 | 0 | 0 | single | ||
Multi-purpose library for OCaml |
0.6 |
1 | 6 | 1 | 1 | single | ||
Implementation of a tableau-based decision procedure for the full Alternating-time Temporal Logic (ATL*) |
1.0 |
1 | 7 | 0 | 0 | single | ||
Graphical tool for rapidly creating graphs and diagrams using PGF/TikZ |
2.1.6 |
2 | 9 | 0 | 0 | maintained | ||
Source code spell checker |
1.50.3 |
2 | 6 | 0 | 0 | maintained | ||
Easy to setup Open Source client/server backup system |
2.5.25 → 2.5.31.0 |
1 | 5 | 0 | 0 | single outdated |