Stars
Begit β ΠΌΠΎΡΠΈΠ²Π°ΡΠΈΠΎΠ½Π½ΡΠΉ ΡΡΠΈΡΡ Π΄Π»Ρ TODO-ΡΠΏΠΈΡΠΊΠΎΠ²
Passive hostname, domain and IP lookup tool for non-robots
The official repository of Mozilla's Firefox web browser.
An extremely fast Python type checker and language server, written in Rust.
Some notes taken while working on Prolog
Text Adventure game in SWI Prolog.
Systems language with linear types and capability-based security.
Linux Kernel Defence Map shows the relationships between vulnerability classes, exploitation techniques, bug detection mechanisms, and defence technologies
A fast, memory-safe web server written in Rust.
High-performance data-driven data specification library for Clojure/Script.
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
Generate impressive-looking terminal output to look busy when stakeholders walk by
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications!
xlskubectl β a spreadsheet to control your Kubernetes cluster
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
Monadic error utilities for general use in Clojure(script) projects
dvershinin / gixy
Forked from yandex/gixyNGINX configuration static analyzer
An open source book about ClojureScript
View HTTP/HTTPS requests made by any Linux program
A Clojure web framework for solo developers.
Linux running inside a PDF file via a RISC-V emulator