Stars
- All languages
- Agda
- Astro
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Makefile
- MoonBit
- Nix
- OCaml
- PHP
- PLpgSQL
- Pascal
- Perl
- Python
- Ruby
- Rust
- Scheme
- Shell
- Smalltalk
- Svelte
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Vim Script
- YASnippet
An end to end semantic and meta-data search engine for personal data.
🐍 Scan your Python dependencies for known security vulnerabilities with Rust-powered scanner
An extremely fast Python type checker and language server, written in Rust.
isd (interactive systemd) – a better way to work with systemd units
A Zsh script to detect Syncthing file conflicts and send notifications via ntfy.
openEMS is a free and open electromagnetic field solver using the FDTD method.
Catalog of profilers, profile data formats, data format converters, and profile analysis UIs.
A minimal GPU design in Verilog to learn how GPUs work from the ground up
A curated list of amazingly awesome open-source sysadmin resources.
Open-source framework for exporting your personal data.
Random bits of Lean code, mostly for the learning purpose
This is the way I manage different folder structures for myself.
Rich is a Python library for rich text and beautiful formatting in the terminal.
Backup and restore Android devices, list contents of, unpack, and convert Android Backup files to TAR files and back, decrypt, encrypt, split them into by-app pieces, etc. Android Backup files are …
A Collection of Awesome Personal Search Engines and Related Projects
A Social Annotation Tool Powered by Matrix
A fast file search utility for Unix-like systems based on GTK3
Backport of pathlib aiming to support the full stdlib Python API.
cookiecutter template for a strongly typed python package w/ click, pytest, mypy, flake8 and CI using github actions
Extensible memoizing collections and decorators
Modern Android client for Hacker News