Skip to content
View roman-kashitsyn's full-sized avatar

Block or report roman-kashitsyn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Emacs viewer for DevDocs

Emacs Lisp 396 21 Updated Oct 22, 2025

A native Emacs buffer to interact with LLM agents powered by ACP

Emacs Lisp 1,428 183 Updated Jun 21, 2026

Neovim support for the Lean theorem prover

Lua 545 54 Updated Jun 22, 2026

Fast Open-Source Search & Clustering engine × for Vectors & Arbitrary Objects × in C++, C, Python, JavaScript, Rust, Java, Objective-C, Swift, C#, GoLang, and Wolfram 🔍

C++ 4,181 326 Updated May 28, 2026

Aporetic fonts are a custom build of Iosevka with different style and metrics than the default. This is the successor to my "Iosevka Comfy" fonts.

310 6 Updated May 31, 2025

A language server for Standard ML.

Rust 250 12 Updated Jun 15, 2026

Writeroom-mode: distraction-free writing for Emacs.

Emacs Lisp 670 29 Updated Feb 25, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 54,495 1,620 Updated Jun 19, 2026

A dark charcoal theme for modern Neovim & classic Vim

Lua 1,294 75 Updated May 30, 2026

Master programming by recreating your favorite technologies from scratch.

Markdown 518,576 49,053 Updated Feb 21, 2026

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 1,487 133 Updated Jun 22, 2026

Collection of Vim themes with barely any colors

1,046 22 Updated Jan 25, 2026

Curated list of fonts and everything

2,011 1,018 Updated Jun 22, 2026

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

5,803 917 Updated Jan 23, 2026

A collection of learning resources for curious software engineers

Python 51,137 3,995 Updated Jun 8, 2026

vinegar.vim: Combine with netrw to create a delicious salad dressing

Vim Script 2,348 91 Updated Jun 28, 2024

🌷 Distraction-free writing in Vim

Vim Script 4,679 119 Updated Dec 21, 2025

A collection of modern/faster/saner alternatives to common unix commands.

32,941 830 Updated Sep 10, 2024

A literate programming tool for any language

D 908 58 Updated Jul 10, 2022

A powerful grammar checker for Vim using LanguageTool.

Vim Script 1,124 43 Updated Oct 25, 2022

VimR — Neovim GUI for macOS in Swift

Swift 6,969 229 Updated Jun 15, 2026

fugitive.vim: A Git wrapper so awesome, it should be illegal

Vim Script 21,682 1,064 Updated Mar 7, 2026

A bazel toolchain for using prebuilt binaries for buildifier and buildozer

Starlark 53 18 Updated Jun 16, 2026

A modern commutative diagram editor for the web.

JavaScript 3,565 119 Updated May 22, 2026

CBOR utilities

Rust 378 87 Updated Jun 19, 2026

An Emacs major mode for editing in pollen markup language

Emacs Lisp 45 9 Updated Sep 4, 2022

A curated list of data oriented design resources.

4,434 248 Updated Jan 28, 2024

The Update Framework specification

Python 401 58 Updated Jan 22, 2026

A modern Prolog implementation written mostly in Rust.

Rust 2,422 165 Updated Jun 11, 2026

A simple Wolfram Language clone in Haskell

Haskell 247 18 Updated Jul 10, 2019
Next