jkachmar / termina
the ever-shifting depths of the Underworld are not as once they were...
☆14Updated last month
Alternatives and similar repositories for termina:
Users that are interested in termina are comparing it to the libraries listed below
- Shackled within an elaborate prison of my own design.☆39Updated last year
- ☆31Updated 3 years ago
- Parse and render *.drv files☆38Updated 5 months ago
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆38Updated 5 years ago
- MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts☆19Updated last year
- ☆34Updated 3 years ago
- ☆26Updated this week
- Union mount in Haskell, with fsnotify☆12Updated 2 weeks ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 8 years ago
- ☆25Updated 7 months ago
- Nix support for the Unison programming language☆57Updated this week
- Require that callers propagate `HasCallStack` constraints☆21Updated 3 months ago
- Inspecting tool for GHC compilation pipeline☆32Updated last year
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- 📺 The power of Haskell in your terminal!☆42Updated 3 months ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated this week
- Machinery for throwing and catching exceptions with some annotation.☆32Updated 5 months ago
- Efficient non-empty variants of containers data types, with full API☆26Updated 8 months ago
- ☆25Updated 2 years ago
- Nix UX improvements☆37Updated 4 years ago
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Updated last year
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Type-safe printf from parsing GHC TypeLits Symbol☆26Updated 6 months ago
- Old and New GHC☆20Updated 2 years ago
- A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code na…☆21Updated 7 months ago
- ☆17Updated last week
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Haskell bindings to libsystemd-journal☆21Updated 2 weeks ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- Retrying for humans using Haskell.☆45Updated last year