Like Prometheus, but for logs.
Updated 2024-07-02 07:11:20 +03:00
Material Design Web Components
Updated 2024-07-02 06:58:59 +03:00
Markdown for the component era
Updated 2024-07-02 06:57:37 +03:00
Deploy tool for Haskell applications, like Capistrano for Rails
Updated 2024-07-02 06:56:13 +03:00
Static type checker for Python
Updated 2024-07-02 06:50:20 +03:00
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Updated 2024-07-02 06:30:03 +03:00
Free universal database tool and SQL client
Updated 2024-07-02 06:16:59 +03:00
A Git-compatible VCS that is both simple and powerful
Updated 2024-07-02 06:05:08 +03:00
Cryptol: The Language of Cryptography
Updated 2024-07-02 06:02:07 +03:00
A fast, friendly, functional language. Work in progress!
Updated 2024-07-02 06:00:14 +03:00
Run compilers interactively from your web browser and interact with the assembly
Updated 2024-07-02 05:44:23 +03:00
Pure and reproducible nix overlay of binary distributed rust toolchains
Updated 2024-07-02 05:18:58 +03:00
An operating function
Updated 2024-07-02 05:18:40 +03:00
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Updated 2024-07-02 04:41:31 +03:00
⬆️ Free uptime monitor and status page powered by GitHub
Updated 2024-07-02 04:19:17 +03:00
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Updated 2024-07-02 03:50:24 +03:00
https://noogle.dev - like hoogle but for nix
Updated 2024-07-02 03:46:47 +03:00