dhall-lang / dhall-nethackView external linksLinks
Generate NetHack configurations using Dhall
☆37Jul 22, 2021Updated 4 years ago
Alternatives and similar repositories for dhall-nethack
Users that are interested in dhall-nethack are comparing it to the libraries listed below
Sorting:
- Emacs JSON reformatting using jq☆16Feb 8, 2022Updated 4 years ago
- An immutable approach to mutable references.☆16Feb 1, 2019Updated 7 years ago
- Dhall support for semantic version numbers☆15Sep 2, 2021Updated 4 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 3 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- My Agda blog/lab/playground☆12Jan 31, 2026Updated last week
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Publish & Subscribe☆13Dec 15, 2020Updated 5 years ago
- Github action to install a specific version of https://dhall-lang.org and run commands☆16Mar 12, 2024Updated last year
- Tasty meal of Dhall☆67Aug 16, 2023Updated 2 years ago
- Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して☆12Oct 9, 2014Updated 11 years ago
- Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices☆13Apr 6, 2022Updated 3 years ago
- Emacs Magit extension for CircleCI☆34Jun 6, 2024Updated last year
- ☆10Mar 5, 2019Updated 6 years ago
- terraform meets nix☆21Sep 7, 2025Updated 5 months ago
- UDP-based light key-value store☆13Dec 22, 2019Updated 6 years ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 6 months ago
- Additional Org-mode link types and completion for them☆17Jun 20, 2025Updated 7 months ago
- Automatically read and write files using su or sudo☆16Mar 20, 2024Updated last year
- A CHIP-8 emulator witten in Elm.☆16Jan 7, 2023Updated 3 years ago
- ☆46Jan 5, 2025Updated last year
- Maintainable configuration files☆960Feb 3, 2026Updated last week
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Sudoku solver in Nix☆24Jan 7, 2022Updated 4 years ago
- Allows to read Scaladoc at runtime by embedding as annotation by the compiler plugin.☆23Apr 5, 2025Updated 10 months ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Mar 3, 2021Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 8 months ago
- my dotfiles for my desktop☆20Apr 19, 2020Updated 5 years ago
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in H…☆23Apr 12, 2016Updated 9 years ago
- A build tool/package manager for C, configured with Dhall☆67Nov 6, 2023Updated 2 years ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 7 years ago
- a mnml password manager☆21Jan 14, 2021Updated 5 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Dec 12, 2025Updated 2 months ago
- Wailing into the primordial ooze of category theory☆55Feb 3, 2026Updated last week
- A vim to emacs theme converter☆22Oct 9, 2025Updated 4 months ago
- A mini merge DSL for data overlays☆29Oct 26, 2023Updated 2 years ago