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 9 years ago
- 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.
- 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!☆38Feb 26, 2026Updated 6 months 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 2 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 6 years ago
- my Hakyll blog☆20Jan 2, 2024Updated 2 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 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 4 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.
- CI assistant☆50Jun 1, 2025Updated last year
- Python code for controlling Denkovi usb relay boards.☆15Jan 6, 2026Updated 8 months ago
- A monadic DSL for simple configuration parsing☆29Jun 4, 2025Updated last year
- A web application for the overall performance of multiple portfolios with different financial instruments and currencies.☆25Sep 4, 2026Updated 2 weeks ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 8 years ago
- ☆30Oct 30, 2020Updated 5 years ago
- Real-time chat app for SOGo☆15Aug 25, 2017Updated 9 years ago
- ☆23Aug 30, 2017Updated 9 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆49Dec 4, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- Strict markdown processor for writers☆117Updated this week
- Drive the Nix build system using the Dhall configuration language☆27Nov 17, 2018Updated 7 years ago
- language verification, construction, and analysis☆21Apr 2, 2022Updated 4 years ago
- Vim plugin for ATS☆15Jul 7, 2021Updated 5 years ago
- CPS 1/1.5 B-21 programmer☆17Oct 26, 2025Updated 10 months ago