ryota-ka / dotfiles
My configuration files
☆16Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for dotfiles
- Formatter for SATySFi☆17Updated 8 months ago
- ☆11Updated 2 years ago
- A SATySFi package to build simple tables.☆17Updated 2 years ago
- A bibliography framework for SATySFi.☆23Updated last year
- Nix configuration for desktops and home servers ❄️☆19Updated 2 weeks ago
- nvim-lspconfig and nvim-treesitter settings for SATySFi language.☆9Updated 11 months ago
- The manuscript for The SATySFibook (1st edition for the Web)☆35Updated 2 months ago
- tree-sitter grammar for SATySFi☆19Updated last year
- 『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト☆16Updated last month
- The SATySFi Language Server☆67Updated last year
- ☆18Updated this week
- A curated list of awesome yasunori☆22Updated this week
- Tokyo NixOS meetup wiki pages☆34Updated 8 years ago
- 株式会社HERPのエンジニア向け採用資料☆74Updated this week
- ☆14Updated 3 years ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- It's a joke repository☆35Updated 11 months ago
- Text-based to-do management CLI & language server☆16Updated last year
- ☆45Updated 2 years ago
- かな漢字変換エンジン SKKのための新しい辞書形式☆22Updated last year
- Execute command in local client from remote host☆23Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 3 years ago
- 👀: Icon☆10Updated 5 years ago
- ☆28Updated 3 years 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 this week
- An Emacs major mode for SATySFi☆17Updated 3 months ago
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Updated last month
- This repository is moved to github.com/Kyure-A/nixos-config and github.com/Kyure-A/.emacs.d☆9Updated 3 months ago
- なにって...Hello World しただけだが？☆10Updated 4 years ago