ryota-ka / dotfilesLinks
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
Sorting:
- Formatter for SATySFi☆17Updated last month
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- tree-sitter grammar for SATySFi☆19Updated 2 years ago
- Nix configuration for desktops and home servers ❄️☆20Updated last month
- takeokunn's nixos-configuration☆42Updated this week
- A SATySFi package to build simple tables.☆17Updated 3 years ago
- ☆11Updated 3 years ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Updated 11 months ago
- 株式会社HERPのエンジニア向け採用資料☆77Updated 4 months ago
- nvim-lspconfig and nvim-treesitter settings for SATySFi language.☆9Updated last year
- This repository is moved to github.com/Kyure-A/nixos-config and github.com/Kyure-A/.emacs.d☆9Updated last year
- ☆45Updated 2 years ago
- Package manager for SATySFi☆47Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- The SATySFi Language Server☆67Updated 2 years ago
- Create a slide with SATySFi!☆55Updated 2 years ago
- A SATySFi package containing A-to-Z mathematical commands.☆15Updated 2 years ago
- Are you SATySFi-ed with Nix?☆14Updated 2 years ago
- A Programming Language implemented in JavaScript☆18Updated last year
- 🦊 My dotfiles☆52Updated last month
- tools to poke pdf using haskell☆44Updated 5 months ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆52Updated 4 months ago
- traO Judge ドキュメント☆13Updated 2 weeks ago
- Text-based to-do management CLI & language server☆17Updated 2 years ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Updated 9 months ago
- Typeset source code with SATySFi☆17Updated 7 months ago
- An Emacs major mode for SATySFi☆18Updated 11 months ago
- SATySFi Support for VSCode☆19Updated last month
- My will☆15Updated 8 years ago