ryota-ka / dotfiles
My configuration files
☆16Updated last year
Alternatives and similar repositories for dotfiles:
Users that are interested in dotfiles are comparing it to the libraries listed below
- Formatter for SATySFi☆17Updated last year
- Nix configuration for desktops and home servers ❄️☆20Updated 2 weeks ago
- ☆11Updated 2 years ago
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- A SATySFi package to build simple tables.☆17Updated 3 years ago
- Execute command in local client from remote host☆23Updated 2 years ago
- tree-sitter grammar for SATySFi☆19Updated 2 years ago
- takeokunn's nixos-configuration☆36Updated this week
- ☆45Updated 2 years ago
- This repository is moved to github.com/Kyure-A/nixos-config and github.com/Kyure-A/.emacs.d☆9Updated 9 months ago
- Synthesizer (using Web Audio API)☆14Updated 4 years ago
- The SATySFi Language Server☆67Updated 2 years ago
- An Emacs major mode for SATySFi☆18Updated 9 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- nvim-lspconfig and nvim-treesitter settings for SATySFi language.☆9Updated last year
- The manuscript for The SATySFibook (1st edition for the Web)☆36Updated 8 months ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- 縦書きエディタ☆17Updated this week
- かな漢字変換エンジン SKKのための新しい辞書形式☆22Updated last year
- My will☆15Updated 8 years ago
- A programming language (WIP)☆29Updated 11 months ago
- 株式会社HERPのエンジニア向け採用資料☆76Updated 2 months ago
- I hate the date and time notation method like RFC 2822. This extension converts time notation to native language as much as possible.☆20Updated last week
- traO Judge ドキュメント☆12Updated this week
- tools to poke pdf using haskell☆43Updated 3 months ago
- Text-based to-do management CLI & language server☆17Updated 2 years ago
- 🦊 My dotfiles☆42Updated this week
- visualize link relations on scrapbox's project☆10Updated 3 months ago
- Package manager for SATySFi☆46Updated last year
- 文末の句点(。)の統一 と 抜けをチェックするtextlintルール☆9Updated 2 years ago