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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- Haskell FoundationDB bindings☆15May 20, 2018Updated 8 years ago
- ☆20Nov 26, 2021Updated 4 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Keep your laziness in check!☆36Feb 26, 2026Updated 4 months 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
- GitHub Actions without JavaScript☆18Jul 26, 2024Updated last year
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- my Hakyll blog☆20Jan 2, 2024Updated 2 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- ☆38Mar 21, 2023Updated 3 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 8 years ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 3 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Bundlers to drop software onto systems, for good or bad intent☆15Aug 9, 2022Updated 3 years ago
- CI assistant☆50Jun 1, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A monadic DSL for simple configuration parsing☆29Jun 4, 2025Updated last year
- Python code for controlling Denkovi usb relay boards.☆15Jan 6, 2026Updated 6 months ago
- A web application for the overall performance of multiple portfolios with different financial instruments and currencies.☆25Jul 14, 2026Updated last week
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- ☆30Oct 30, 2020Updated 5 years ago
- Real-time chat app for SOGo☆15Aug 25, 2017Updated 8 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆49Dec 4, 2022Updated 3 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- Strict markdown processor for writers☆116Jun 14, 2026Updated last month
- language verification, construction, and analysis☆20Apr 2, 2022Updated 4 years ago
- Simple, fast, nix.☆15Jan 25, 2022Updated 4 years ago
- Vim plugin for ATS☆16Jul 7, 2021Updated 5 years ago
- The full template for "Automating the Build of your Technical Presentation"☆26Sep 24, 2017Updated 8 years ago
- Exploring low-level Nix, NixOS and system concepts☆23Nov 11, 2019Updated 6 years ago