Automatically detect and load your .envrc
☆18Jan 7, 2022Updated 4 years ago
Alternatives and similar repositories for vscode-direnv
Users that are interested in vscode-direnv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- Nix Packages collection used in Nubank☆34May 20, 2024Updated last year
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 7 months ago
- GitHub shorthand Alfred workflow☆12Sep 28, 2021Updated 4 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- ☆23May 25, 2025Updated 10 months ago
- send speedtest-cli results to mqtt☆10Aug 5, 2016Updated 9 years ago
- Automatically add node_modules binaries to PATH☆11Aug 23, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Quels élus de la République (députés, ministres, maires) utilisent toujours x.com ?☆14Feb 8, 2026Updated 2 months ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A simple functional programming language.☆22Jun 3, 2021Updated 4 years ago
- RSpec failures as Buildkite annotations so you can fix them fast☆19Jan 29, 2026Updated 2 months ago
- ☆12Dec 18, 2023Updated 2 years ago
- Collection of apple-native tools for the model context protocol.☆18Apr 2, 2025Updated last year
- Unclutter your .profile http://direnv.net☆14Feb 14, 2021Updated 5 years ago
- A tool to help with repetitive commands during development☆14Jun 8, 2022Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A nonogram logic game by KDE☆12Updated this week
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Buildkite extension for VS Code☆14Mar 25, 2026Updated 2 weeks ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated last year
- The webapp framework for Papyros☆13Nov 6, 2015Updated 10 years ago
- Handle ANSI escape codes in strings☆20Jun 30, 2023Updated 2 years ago
- gdbperl for Ruby☆46Nov 8, 2016Updated 9 years ago
- Overloaded plugin☆31Jun 15, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- High-performance ISO8601 Timestamp formatting and parsing☆23Dec 16, 2025Updated 3 months ago
- A GitHub Action to run Standard Ruby against your code.☆17Mar 2, 2026Updated last month
- A formalization of category theory in cubical Agda☆58May 24, 2020Updated 5 years ago
- Dockerfiles for Fish and Oh My Fish☆11Nov 7, 2025Updated 5 months ago
- Technologies around Nix and IPFS that are published under an Open Source License☆12Oct 25, 2021Updated 4 years ago
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated last year