Alizter Ali Caglayan
github.com/Alizter · maintains 11 packages (11 directly), sole maintainer of 10, member of 0 teams
10 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Language Server Protocol and VS Code Extension for Coq |
0.2.5+9.1 |
1 | 6 | 0 | 0 | single | ||
Tool for working with a stack of patches |
7.3.1 |
1 | 8 | 0 | 0 | single | ||
Git mergetool leveraging code formatters |
0.3 |
1 | 8 | 0 | 0 | single | ||
Lightweight reactive documents |
0.5 |
1 | 6 | 4 | 6 | single | ||
Collects and displays high-resolution traces of what a process is doing |
1.2.4 |
1 | 19 | 0 | 0 | single | ||
Memory limits, allocation limits, and thread cancellation for OCaml |
0.2.1 → 0.3.0 |
1 | 5 | 0 | 0 | single broken outdated | ||
UI toolkit for the terminal built on top of Notty and Lwd |
0.5 |
1 | 7 | 4 | 4 | single | ||
Run Nottui UIs in Lwt |
0.5 |
1 | 7 | 0 | 0 | single | ||
Pretty-printer based on PPrint rendering UIs |
0.5 |
1 | 6 | 0 | 0 | single | ||
Make reactive webpages in Js_of_ocaml using Tyxml and Lwd |
0.5 |
1 | 9 | 0 | 0 | single |