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:
- An immutable approach to mutable references.☆16Feb 1, 2019Updated 7 years ago
- emacs wrapper for pidgin instant messager☆18Mar 3, 2010Updated 16 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- ☆10Jan 18, 2019Updated 7 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- Static site generator☆12Apr 6, 2025Updated 11 months ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Github action to install a specific version of https://dhall-lang.org and run commands☆16Mar 12, 2024Updated last year
- Publish & Subscribe☆13Dec 15, 2020Updated 5 years ago
- Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices☆13Apr 6, 2022Updated 3 years ago
- Emacs wrapper for https://github.com/finnkauski/lighthouse☆10Mar 15, 2020Updated 5 years ago
- Tasty meal of Dhall☆67Aug 16, 2023Updated 2 years ago
- Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して☆12Oct 9, 2014Updated 11 years ago
- Emacs Magit extension for CircleCI☆34Jun 6, 2024Updated last year
- ☆10Mar 5, 2019Updated 7 years ago
- terraform meets nix☆21Sep 7, 2025Updated 5 months ago
- Casual Symbol Overlay - An opinionated Transient user interface for the Emacs package Symbol Overlay.☆20Oct 21, 2024Updated last year
- A CHIP-8 emulator witten in Elm.☆16Jan 7, 2023Updated 3 years ago
- Automatically read and write files using su or sudo☆16Mar 20, 2024Updated last year
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- A catalog of `#!` hacks.☆18Dec 11, 2022Updated 3 years ago
- Additional Org-mode link types and completion for them☆17Jun 20, 2025Updated 8 months ago
- ☆46Jan 5, 2025Updated last year
- Maintainable configuration files☆959Updated this week
- A brief Elm library for Mixins.☆15Nov 19, 2022Updated 3 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- ☆18Apr 9, 2023Updated 2 years ago
- Sudoku solver in Nix☆24Jan 7, 2022Updated 4 years ago
- Install & Run nix without root permissions [maintainer=@Mic92]☆327Jun 15, 2023Updated 2 years ago
- Devour all outputs in a Nix flake.☆93Feb 2, 2026Updated last month
- Allows to read Scaladoc at runtime by embedding as annotation by the compiler plugin.☆23Apr 5, 2025Updated 11 months ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Sep 15, 2018Updated 7 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Mar 3, 2021Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 9 months 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
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago