denjiry

llama.cpp

LLM inference in C/C++

exwm

Emacs X Window Manager

erg

A statically typed language compatible with Python

aquascope

Interactive visualizations of Rust at compile-time and run-time

vertico

:dizzy: vertico.el - VERTical Interactive COmpletion

lsp-bridge

A blazingly fast LSP client for Emacs

eyre

A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications

consult

:mag: consult.el - Consulting completing-read

awesome-japanese-nlp-resources

A curated list of resources dedicated to Python libraries, LLMs, dictionaries, and corpora of NLP for Japanese

japanese-pretrained-models

Code for producing Japanese pretrained models provided by rinna Co., Ltd.

anyenv-update

anyenv plugin that provides `anyenv update` command to update all **env and all plugins

rfc-translater

RFCを翻訳するツール群 & 翻訳済みRFCサイト

git-gutter-fringe

Fringe version of git-gutter.el

auto-git-diff

A vim plugin which shows git diff for Git Rebase Interactive

jq-mode

Emacs major mode for editing jq queries.

python-lsp-black

python-lsp-server plugin that adds support to black autoformatter, forked from https://github.com/rupert/pyls-black/

react-declassify

say goodbye to class components

symmetric_project

jinja-lsp

Language Server for jinja

guardian

guardian - the border guardian for your Haskell monorepo package dependencies

dmacro

Repeated detection and execution of key operation

BiByFi

A bibliography framework for SATySFi.

tactic-cheatsheet

Lean4 の逆引きタクティクリスト

bib-satysfi

Citation in SATySFi like BibTeX

mic

Minimal and combinable configuration manager for Emacs

Zenml

TypeScript implementation of ZenML parser and XML manipulation utilities

theorem_proving_in_lean4

Theorem Proving in Lean 4 日本語訳

type-utilities-rs

Type utilities in Rust

BibSATySFi

Convert Bib file to SATySFi file

SATySFi-xml

XML parser with SATySFi