Haskell DSL for producing Windows Installer using NSIS
☆25Jan 18, 2026Updated last month
Alternatives and similar repositories for nsis
Users that are interested in nsis are comparing it to the libraries listed below
Sorting:
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 13 years ago
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 3 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- My emacs configuration redux☆15Oct 8, 2023Updated 2 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- ☆18Aug 8, 2020Updated 5 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- TOML file format parser in Haskell☆39Jan 27, 2022Updated 4 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Apr 17, 2016Updated 9 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- ☆21Apr 14, 2023Updated 2 years ago
- Public course materials for CSE 131 (Compilers)☆18Jun 22, 2020Updated 5 years ago
- Tools for working with derived Show instances in Haskell.☆58Jan 31, 2023Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Coq with native compilation, as well as machine integers and arrays !☆63Jul 12, 2018Updated 7 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Nov 23, 2018Updated 7 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Behringer X-Touch for FL Studio Script (based on FL Studio MCU implementation)☆13Apr 19, 2024Updated last year
- making data science easy and safe with data frames in haskell☆28Jul 31, 2017Updated 8 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated 2 months ago
- A simple but efficient C++ thread/worker pool library for asynchronous task management.☆10Jul 11, 2023Updated 2 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- ghc --make reimplemented with Shake☆32Sep 29, 2023Updated 2 years ago
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- ☆40Aug 5, 2024Updated last year
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- GRIN backend for GHC☆142Nov 9, 2021Updated 4 years ago