Simple things nobody tells you how to do
☆22Dec 6, 2018Updated 7 years ago
Alternatives and similar repositories for easy-markdown-beamer-pandoc
Users that are interested in easy-markdown-beamer-pandoc are comparing it to the libraries listed below
Sorting:
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- Keep your laziness in check!☆35Feb 26, 2026Updated last week
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!☆32Apr 1, 2018Updated 7 years ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 3 years ago
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 6 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆41May 18, 2025Updated 9 months ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- ☆20Nov 26, 2021Updated 4 years ago
- Vim plugin for ATS☆16Jul 7, 2021Updated 4 years ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- CI assistant☆49Jun 1, 2025Updated 9 months ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- Haskell implementation of the Nix store☆95Nov 18, 2025Updated 3 months ago
- GitHub Actions without JavaScript☆18Jul 26, 2024Updated last year
- A web application for the overall performance of multiple portfolios with different financial instruments and currencies.☆23Mar 1, 2026Updated last week
- ☆23Aug 30, 2017Updated 8 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆49Dec 4, 2022Updated 3 years ago
- A couple of Haskell beginner projects, for ZuriHac 2016☆46Mar 8, 2018Updated 8 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 years ago
- language verification, construction, and analysis☆20Apr 2, 2022Updated 3 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 5 years ago
- A monadic DSL for simple configuration parsing☆27Jun 4, 2025Updated 9 months ago
- A command-line tool for live monitoring☆26Feb 21, 2026Updated 2 weeks ago
- An ambitious Slack JSON export viewer.☆24Sep 18, 2020Updated 5 years ago
- Exploring low-level Nix, NixOS and system concepts☆23Nov 11, 2019Updated 6 years ago