Starred repositories
A friendly guide for leveraging the power of recursion schemes in real-world applications
Mirrors the contents of a git repository into Consul KVs.
QuickCheck with shrinking for free
A Unison (https://www.unisonweb.org) implementation of the Dhall configuration language (https://dhall-lang.org).
7
Updated Jan 28, 2024
A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]
Lean 4 programming language and theorem prover
Based on nix.dev tutorials, repository template to get you started with Nix.
Dhall support for the DOT language for graphviz
Typecheck, template and modularize your Nomad job specifications with Dhall
WIP Language Server for Nix! [maintainer=@aaronjanse]
➡️ ➡️ Superseded by the core team project Unison Share (https://github.com/unisonweb/share) ➡️ ➡️
Simple scala library for building and parsing URIs
Compatibility checks for your dependencies
An implementation of JSON decoders and encoders inspired by elm/json
18
Updated May 16, 2021
Extensible algebraic effects with handlers
A CI-friendly Scalafix semantic rule for organizing imports
Unison base libraries, published using V1 codebase format
A friendly programming language from the future