|
|
OCaml |
45 |
The TLA Proof Manager |
Jan 13, 2023 |
|
|
Clojure |
6 |
Simple TLA+ Dependency Manager |
Apr 14, 2023 |
|
|
TLA |
2 |
Projects specified in TLA+ |
Apr 27, 2019 |
|
|
Rust |
2 |
Package manager written in Rust |
Jan 06, 2023 |
|
|
Java |
2014 |
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is … |
Apr 24, 2023 |
|
|
Rust |
5 |
openSUSE package manager written in Rust. |
May 19, 2022 |
|
|
Rust |
141 |
zsh plugin manager written in rust |
Aug 01, 2022 |
|
|
Rust |
16 |
A Window Manager Written in Rust |
Mar 03, 2023 |
|
|
Rust |
21 |
TUI Password Manager written in Rust |
May 08, 2023 |
|
|
Rust |
2 |
a dotfile manager written in rust |
Apr 18, 2023 |
|
|
Rust |
2 |
Eye-candy manager written in Rust |
Aug 28, 2023 |
|
|
Rust |
2 |
Task manager for the terminal written in Rust |
Nov 23, 2022 |
|
|
Rust |
121 |
git hook manager, geared toward Rust projects |
Sep 07, 2022 |
|
|
Rust |
7 |
A simple password manager written in rust |
Aug 26, 2021 |
|
|
Rust |
2 |
A simple dotfiles manager written in Rust |
Oct 08, 2021 |
|
|
Rust |
2 |
Simplified Windows process manager written in Rust. |
Aug 24, 2016 |
|
|
Rust |
589 |
A simple password manager written in Rust |
May 02, 2023 |
|
|
Rust |
2 |
A simple window manager written in Rust |
Mar 24, 2023 |
|
|
Rust |
596 |
Modular wayland window manager written in rust |
May 13, 2023 |
|
|
Rust |
2 |
Yet another .dotfiles manager written in Rust |
Jun 26, 2023 |
|
|
Rust |
69 |
A fast package manager for NodeJS written in Rust. |
Jan 21, 2024 |
|
|
Shell |
7 |
Templates for getting started with Nix: home-manager, Rust projects, Python projects, C++ projects, etc. |
Apr 16, 2023 |
|
|
Rust |
13 |
A CLI-based task manager written in Rust. |
Mar 20, 2022 |
|
|
Rust |
892 |
ranger-like terminal file manager written in Rust |
Aug 11, 2022 |
|
|
C++ |
10 |
A process manager written in C++ and Rust. |
Nov 02, 2022 |
|
|
Rust |
32 |
Just another tmux session manager written in rust |
Apr 23, 2023 |
|
|
Rust |
2 |
Dotfiles manager reinvented, written in Rust (early development) |
Nov 28, 2020 |
|
|
Rust |
17 |
Modular Telegram Group Manager Bot written in Rust |
Apr 23, 2023 |
|
|
Rust |
4 |
A Joymax File Manager Wrapper written in Rust |
Sep 29, 2021 |
|
|
Rust |
6 |
An ultimately tiny window manager, written in Rust |
Aug 20, 2022 |
|
|
Rust |
6 |
A power manager written in Rust using neli |
Dec 14, 2021 |
|
|
Rust |
4 |
A terminal based task manager. Written in Rust. |
Dec 07, 2022 |
|
|
Rust |
6 |
A git projects monitor, written in Rust |
Dec 10, 2021 |
|
|
TLA |
19 |
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to … |
Jul 07, 2022 |
|
|
Rust |
53 |
🌎 A global Node binary manager written in Rust |
Jul 27, 2022 |
|
|
Rust |
543 |
A dotfile manager and templater written in rust 🦀 |
Apr 28, 2023 |
|
|
Rust |
2 |
A password manager based on pass, written in rust |
Feb 12, 2023 |
|
|
Rust |
7 |
Small programs written in Rust. Warm up for the upcoming Selenium Manager |
Mar 23, 2023 |
|
|
Rust |
2 |
Window Tiling For The Win. A tiling window manager written in Rust |
Jun 21, 2021 |
|
|
Rust |
11 |
↔️ A text truncation utility for your window manager, written in Rust. |
Mar 17, 2023 |
|
|
TLA |
3 |
EDN Operators for TLA+ |
Apr 17, 2023 |
|
|
Python |
112 |
Jupyter kernel for TLA⁺ |
Oct 09, 2022 |
|
|
TLA |
6 |
Bazel rules for TLA+ |
May 23, 2021 |
|
|
Emacs Lisp |
2 |
Flycheck checker for TLA+ |
Mar 01, 2019 |
|
|
TLA |
2 |
TLA+ models for µONOS |
Oct 04, 2022 |
|
|
VimL |
2 |
TLA+ plugin for Gvim |
Sep 18, 2020 |
|
|
TLA |
2 |
Learning Material for TLA+ |
Jul 30, 2023 |
|
|
Rust |
6 |
Yet another hosts file manager. This one written in rust. |
Aug 04, 2022 |
|
|
Rust |
8 |
command line and geek style password manager written in rust |
Jul 29, 2022 |
|
|
Rust |
39 |
A customizable TUI display/login manager written in Rust 🐒 |
Aug 13, 2022 |