My configuration files
☆18Jan 3, 2024Updated 2 years ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Apr 19, 2025Updated 10 months ago
- Formatter for SATySFi☆17Jun 7, 2025Updated 8 months ago
- 数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。☆24Aug 6, 2023Updated 2 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 5 months ago
- ☆11Jul 4, 2022Updated 3 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A monorepo for ESLint shareable configs used in HERP, Inc.☆11Dec 19, 2024Updated last year
- A SATySFi package to build simple tables.☆17Apr 30, 2022Updated 3 years ago
- ☆15Feb 23, 2026Updated last week
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 3 months ago
- ☆25Jun 12, 2025Updated 8 months ago
- Typeset source code with SATySFi☆16Jan 1, 2025Updated last year
- [maintainer=@mrcjkb, @xBLACKICEx]☆27Feb 25, 2026Updated last week
- A SATySFi package containing A-to-Z mathematical commands.☆16Oct 10, 2022Updated 3 years ago
- Lisp方言ずら〜。え!? これを使えばQuasiQuotesでコンパイル時Lispが書けるずら!?☆17Dec 31, 2018Updated 7 years ago
- Archive of challenges @ Flatt Security Mini CTFs☆19Aug 20, 2025Updated 6 months ago
- 法律・判例関係のデータセット☆49Jan 8, 2025Updated last year
- testing-nextjs-gssp☆15May 16, 2022Updated 3 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Jun 3, 2024Updated last year
- Coqで様々な数学の定理を証明☆18Nov 13, 2022Updated 3 years ago
- SATySFi Support for VSCode☆20Nov 16, 2025Updated 3 months ago
- *pop* *pop* *pop*☆17Jul 14, 2024Updated last year
- takeokunn's nixos-configuration☆65Updated this week
- Nix dotfiles for NixOS, Darwin and WSL☆96Updated this week
- wildcard subdomain playground☆21Feb 4, 2026Updated last month
- tree-sitter grammar for SATySFi☆19Apr 8, 2023Updated 2 years ago
- Writing in typst, thesis template☆53Dec 30, 2024Updated last year
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- my environment☆45Apr 5, 2024Updated last year
- 縦書きエディタ☆24Updated this week
- My dotfiles, all my wisdom, my castle.☆62Updated this week
- ☆37Jun 11, 2025Updated 8 months ago
- Scrapboxの非公開・公開プロジェクトを分けて運用する際に面倒な「ページの転送」を自動で行うツール。「Deploy to Heroku」ボタンもあるので1 clickで試せます。☆56May 14, 2025Updated 9 months ago
- My typst templates & utilities (WIP)☆27Oct 21, 2025Updated 4 months ago
- Nix configuration for desktops and home servers ❄️☆23Updated this week
- Visualize and ranking the characters coupling of various anime / games / comics / and so on.☆23Dec 1, 2025Updated 3 months ago
- ☆71Sep 30, 2021Updated 4 years ago
- deepl-mock is a mock HTTP server that simulates some behavior of the DeepL API to simplify application testing.☆27Feb 23, 2026Updated last week