one's dot files collection
☆31Jan 14, 2026Updated 2 months ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Built on top of lazy.nvim.☆13Jan 8, 2026Updated 2 months ago
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 2 years ago
- Loengfan (粵語兩分) is the Cantonese version of the Liang Fen input method☆15Mar 3, 2022Updated 4 years ago
- Alex Chi's personal site☆23Aug 17, 2025Updated 7 months ago
- A tool to collect diagnostic data from TiDB Clusters☆26Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆23Sep 22, 2021Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Collections Library for Adapton, in Rust☆14Sep 1, 2017Updated 8 years ago
- $HOME — neovim, literate vanilla emacs and doom emacs, fish, tmux, and others☆18Sep 19, 2025Updated 6 months ago
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Tools for speech recognition☆11Jun 24, 2017Updated 8 years ago
- A LALR(1) OpenQASM Parser and AST Generator.☆13Jul 29, 2024Updated last year
- 在 Telegram 上快速模仿迟先生卖弱。☆16Mar 16, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 东南大学信息技术相关领域交流平台☆10Oct 22, 2022Updated 3 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 9 months ago
- Go through the list of accepted papers for ICLR in terminal and add them to your reading list.☆13Jan 30, 2021Updated 5 years ago
- Endless kde is a materia Design theme for KDE Plasma desktop.☆12May 7, 2025Updated 10 months ago
- [IROS 2022] Transporters with Visual Foresight (TVF)☆11Jul 25, 2022Updated 3 years ago
- Method generation for enumerated types in Rust☆12Apr 11, 2019Updated 6 years ago
- Awesome profiling page☆12Apr 26, 2022Updated 3 years ago
- A regression based approach to estimate the Remaining Useful Life (RUL) of a paper mill for a web break prediction problem.☆13May 5, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- Repo for Stochastic Processes & Optimization Lab (Public Repo)☆11May 18, 2025Updated 10 months ago
- Rust UI Rundown: Tauri☆11Jan 18, 2021Updated 5 years ago
- ☆17Oct 20, 2024Updated last year
- A rust crate providing a vector like struct that stores data as runs of identical values.☆15Feb 19, 2021Updated 5 years ago
- ☆15Mar 21, 2026Updated last week
- An enhanced version of the original virtualizor plug-in☆28Aug 24, 2022Updated 3 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- convert GitHub issues to a website☆28Mar 2, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆10Dec 27, 2025Updated 3 months ago
- The Atlas multi-GPU quantum circuit simulator.☆15Aug 17, 2024Updated last year
- Make your own run route show, for running_page and others☆21Dec 30, 2024Updated last year
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- A videogame made with PyGame turned into an Open AI Gym Learning Environment for Reinforcement Learning agents.☆15Jan 3, 2023Updated 3 years ago
- ☆14Mar 25, 2023Updated 3 years ago
- A Modern Text-based User Interface for ChatGPT.☆13Jul 25, 2023Updated 2 years ago