awdeorio's favorite dot files
☆102Oct 7, 2026Updated last week
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:
- ☆15Mar 26, 2024Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 4 years ago
- nool is nool☆11Sep 7, 2026Updated last month
- elevenlabs react example☆18Mar 31, 2023Updated 3 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Pure OCaml library for working with TIFF files☆19Sep 18, 2026Updated 3 weeks ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆22Jun 16, 2024Updated 2 years ago
- CIS 6700, Spring 2023☆19Feb 15, 2023Updated 3 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆19Sep 29, 2025Updated last year
- Adding extensions to DOT calculus☆24Jan 19, 2020Updated 6 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆18Apr 11, 2023Updated 3 years ago
- AWS Certificated Solutions Architect☆19Feb 8, 2020Updated 6 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 4 years ago
- x64 semantics in Lean☆49Updated 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.
- A server side rendering framework for Deno CLI and Deploy. 🦟 🦕☆15Jun 22, 2022Updated 4 years ago
- 🦕 Open a file or URL using the default application of the user's platform (support Windows, macOS, and Linux)☆13Apr 6, 2024Updated 2 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated last year
- Anil's OCaml Claude plugin collection☆36Sep 2, 2026Updated last month
- .files, including ~/.osx — sensible hacker defaults for OS X☆24Sep 6, 2026Updated last month
- Mixing shell and lisp on the Lisp repl for easier everyday life☆11Aug 20, 2018Updated 8 years ago
- Create code migration tool for your tool/library/framework.☆12Aug 25, 2018Updated 8 years ago
- A WIP little dependently-typed systems language☆42Aug 13, 2024Updated 2 years ago
- Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on Deno.☆11May 7, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Common Lisp SPARQL query generation library☆13Aug 3, 2019Updated 7 years ago
- tauri binding for Deno.☆12Aug 24, 2020Updated 6 years ago
- ☆15Jun 13, 2025Updated last year
- 🎨 Logo images of denops.vim☆15Aug 18, 2024Updated 2 years ago
- ☆12Jan 6, 2023Updated 3 years ago
- Registers the `Deno.tracing` API as an exporter with the OpenTelemetry library.☆17Nov 18, 2024Updated last year
- ☆13Oct 9, 2026Updated last week
- Imaging utility for Deno☆16Feb 15, 2020Updated 6 years ago
- Web pub/sub architecture example☆10Feb 13, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Get in touch with the DLang community☆12Jun 12, 2018Updated 8 years ago
- Run commands on any specified Node version, or as defined in .travis.yml or circle.yml.☆18Jun 3, 2020Updated 6 years ago
- Trivial Lisp-2 Interpreter (and my first Lisp!) https://t-sin.github.io/nutslisp/☆13May 20, 2018Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 12 years ago
- vscode api for deno☆12Apr 7, 2025Updated last year
- A command-line tool to manage Deno scripts installed via deno install☆17Jul 23, 2026Updated 2 months ago
- libyaml wrapper for chicken scheme☆17Jan 15, 2025Updated last year