pogin503's Stars
nomeata/loogle
Mathlib search tool
Devographics/locale-ja-JP
aconite-ac/how_to_install_lean
Leanのインストール方法・elanとLakeの使い方
uemurax/hott-ja
HoTT in Japanese
haskell/criterion
A powerful but simple library for measuring the performance of Haskell code.
douo/magit-gptcommit
Magit commit with help of gpt
rolandwalker/ignoramus
Ignore backups, build files, et al. in Emacs
erg-lang/erg
A statically typed language compatible with Python
MisskeyIO/misskey
🌎 A federated blogging platform 🚀
misskey-dev/misskey
🌎 A completely free and open interplanetary microblogging platform 🚀
battlelinegames/ArtOfWasm
Code repo for "The Art of WebAssembly" by Rick Battagline
k-ayaki/benizara
Yet another NICOLA Emulaton Software
chuntaro/toy-byte-code.el
Emacs byte-code interpreter implemented in Emacs Lisp
obsproject/obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
jart/emacs-copilot
Large language model code completion for Emacs
ttsuki/styleguide
Google C++ Style Guideを日本語に訳しているリポジトリ
oowl/quicssh-rs
QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.
pglen/libgcrypt_samples
Samples for the libgcrypt library. Keygen / Encrypt / Decrypt
zick/Magical-Language-Lyrical-Lisp
A Lisp tutorial game
YujiSoftware/java_spec_diff
The Java Language Specification diffs
mtoyoda/sl
SL(1): Cure your bad habit of mistyping
lean-ja/lean-by-example
コード例で学ぶ Lean 言語
fenril058/satysfi-mode.el
An Emacs major mode for SATySFi
nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
sasagawa888/eisl
ISLisp interpreter/compiler
json-emacs/json-mode
Major mode for editing JSON files with emacs
joaotavora/eglot
A client for Language Server Protocol servers
MaggieAppleton/digital-gardeners
Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs
google/mozc
Mozc - a Japanese Input Method Editor designed for multi-platform
geolonia/normalize-japanese-addresses
オープンソースの住所正規化ライブラリ。