Alternatives and similar repositories for dotfiles:

Users that are interested in dotfiles are comparing it to the libraries listed below

• usagrada / satysfi-formatter
  Formatter for SATySFi
  ☆17Updated 11 months ago
• YuheiNakasaka / sb2md-rs
  ☆11Updated 2 years ago
• ymgyt / mynix
  Nix configuration for desktops and home servers ❄️
  ☆20Updated last week
• namachan10777 / BiByFi
  A bibliography framework for SATySFi.
  ☆23Updated 2 years ago
• monaqa / satysfi-easytable
  A SATySFi package to build simple tables.
  ☆17Updated 2 years ago
• LambdaNote / support-ts-tapl
  『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト
  ☆17Updated 4 months ago
• takeokunn / nixos-configuration
  takeokunn's nixos-configuration
  ☆32Updated this week
• sankantsu / satysfi.nvim
  nvim-lspconfig and nvim-treesitter settings for SATySFi language.
  ☆9Updated last year
• monaqa / tree-sitter-satysfi
  tree-sitter grammar for SATySFi
  ☆19Updated last year
• qnighy / metaflow-js
  ☆14Updated 3 months ago
• yabaitechtokyo / satysfi-derive
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Updated 4 years ago
• times-yasunori / awesome-yasunori
  A curated list of awesome yasunori
  ☆23Updated 3 weeks ago
• Kyure-A / dotfiles
  This repository is moved to github.com/Kyure-A/nixos-config and github.com/Kyure-A/.emacs.d
  ☆9Updated 6 months ago
• cotowali / litsu
  ☆45Updated 2 years ago
• tanakh / argio
  ☆12Updated 3 years ago
• gfngfn / satysfi.el
  An Emacs major mode for SATySFi
  ☆17Updated 6 months ago
• KOBA789 / ssh-rev-exec
  Execute command in local client from remote host
  ☆23Updated 2 years ago
• times-yasunori / kuusay
  Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]
  ☆11Updated 4 months ago
• qnighy / umo
  A programming language (WIP)
  ☆29Updated 8 months ago
• gfngfn / the_satysfibook
  The manuscript for The SATySFi​book (1st edition for the Web)
  ☆36Updated 5 months ago
• monaqa / satysfi-language-server
  The SATySFi Language Server
  ☆67Updated 2 years ago
• Comamoca / dotfiles
  🦊 My dotfiles
  ☆42Updated 3 weeks ago
• kbwo / testing-language-server
  Language server for real-time testing diagnostics
  ☆43Updated 3 weeks ago
• MikuroXina / mini-fn
  The minimal functional programming library.
  ☆15Updated last week
• togatoga / monkey-json
  A hobby project to write JSON parser from the scratch
  ☆28Updated 2 years ago
• sadnessOjisan / HelloWorldEnterpriseEdition
  なにって...Hello World しただけだが？
  ☆10Updated 4 years ago
• monaqa / todome
  Text-based to-do management CLI & language server
  ☆17Updated 2 years ago
• monaqa / satysfi-parser
  SATySFi parser writtern in Rust.
  ☆14Updated 2 years ago
• na4zagin3 / satyrographos
  Package manager for SATySFi
  ☆45Updated last year
• itleigns / CoqLibrary
  Coqで様々な数学の定理を証明
  ☆18Updated 2 years ago