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 392 20 Updated Oct 22, 2025

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

Emacs Lisp 1,147 164 Updated May 10, 2026

Neovim support for the Lean theorem prover

Lua 520 49 Updated May 9, 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,080 314 Updated May 2, 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.

300 5 Updated May 31, 2025

A language server for Standard ML.

Rust 247 12 Updated Apr 12, 2026

Writeroom-mode: distraction-free writing for Emacs.

Emacs Lisp 668 29 Updated Feb 25, 2025

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

Rust 53,440 1,567 Updated May 11, 2026

A dark charcoal theme for modern Neovim & classic Vim

Lua 1,280 73 Updated Apr 26, 2026

Master programming by recreating your favorite technologies from scratch.

Markdown 500,380 47,435 Updated Feb 21, 2026

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

TypeScript 1,350 129 Updated May 5, 2026

Collection of Vim themes with barely any colors

1,035 22 Updated Jan 25, 2026

Curated list of fonts and everything

1,967 1,016 Updated Apr 4, 2026

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

5,795 916 Updated Jan 23, 2026

A collection of learning resources for curious software engineers

Python 50,802 3,969 Updated May 1, 2026

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

Vim Script 2,338 91 Updated Jun 28, 2024

🌷 Distraction-free writing in Vim

Vim Script 4,675 119 Updated Dec 21, 2025

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

32,908 830 Updated Sep 10, 2024

A literate programming tool for any language

D 905 57 Updated Jul 10, 2022

A powerful grammar checker for Vim using LanguageTool.

Vim Script 1,122 42 Updated Oct 25, 2022

VimR — Neovim GUI for macOS in Swift

Swift 6,956 228 Updated Apr 25, 2026

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

Vim Script 21,597 1,060 Updated Mar 7, 2026

A bazel toolchain for using prebuilt binaries for buildifier and buildozer

Starlark 53 18 Updated Apr 10, 2026

A modern commutative diagram editor for the web.

JavaScript 3,546 118 Updated May 9, 2026

CBOR utilities

Rust 371 86 Updated Apr 25, 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,410 248 Updated Jan 28, 2024

The Update Framework specification

Python 398 58 Updated Jan 22, 2026

A modern Prolog implementation written mostly in Rust.

Rust 2,397 161 Updated May 6, 2026

A simple Wolfram Language clone in Haskell

Haskell 247 18 Updated Jul 10, 2019
Next