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 5 months ago
- ☆11Updated 3 years ago
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- なにって...Hello World しただけだが?☆19Updated 5 years ago
- A SATySFi package to build simple tables.☆17Updated 3 years ago
- Nix configuration for desktops and home servers ❄️☆20Updated 3 weeks ago
- 株式会社HERPのエンジニア向け採用資料☆77Updated 8 months ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Updated last year
- tree-sitter grammar for SATySFi☆19Updated 2 years ago
- takeokunn's nixos-configuration☆48Updated this week
- tools to poke pdf using haskell☆45Updated 9 months ago
- Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門☆86Updated last week
- Create a slide with SATySFi!☆56Updated 2 years ago
- The SATySFi Language Server☆67Updated 2 years ago
- Algebraic effects and handlers for TypeScript☆24Updated 3 months ago
- A Programming Language implemented in JavaScript☆18Updated last year
- 🦊 My dotfiles☆53Updated 2 weeks ago
- ☆45Updated 3 years ago
- Are you SATySFi-ed with Nix?☆14Updated 2 years ago
- Tokyo NixOS meetup wiki pages☆35Updated 9 years ago
- ☆25Updated 3 years ago
- Japanese Morphological Analysis written in Rust☆81Updated 3 years ago
- Coqで様々な数学の定理を証明☆18Updated 3 years ago
- My will☆15Updated 9 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- 『TypeScriptではじめる型システム』(n月刊ラムダノート2024, Vol.4, No.3)サポートサイト☆80Updated 6 months ago
- A programming language written in an "easy to understand" way☆35Updated 6 months ago
- Package manager for SATySFi☆48Updated 2 years ago
- ☆81Updated this week
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆53Updated 7 months ago