This was the moment that Mark totally lost his shit and started rewritting jenkins in shell and ended up with a haskell build bot.
☆11Jun 18, 2019Updated 7 years ago
Alternatives and similar repositories for boris
Users that are interested in boris 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 fast Haskell client library for the Riak decentralized data store☆51Apr 1, 2023Updated 3 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- A streaming query language.☆57Oct 20, 2020Updated 5 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Homework for the assignments of the book Exercises in Programming Style☆10Sep 7, 2019Updated 7 years ago
- Translator from GHC Core to Isabelle/HOLCF☆16May 2, 2012Updated 14 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- compact, human-readable json pretty printing☆14Oct 10, 2023Updated 3 years ago
- Simple Docker Image for trying out GraalVM☆13May 15, 2019Updated 7 years ago
- Generate fake recursion schemes☆12Aug 20, 2020Updated 6 years ago
- Easy and safe destructuring for more types.☆34Sep 15, 2026Updated last month
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- Python implementation of a motion detecting H.264 camera for Raspberry Pi☆10Jul 23, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Sample config files for setting up Postgres on Kubernetes with Statefulset Resource☆12Jan 17, 2020Updated 6 years ago
- fast unique variables☆10Aug 23, 2025Updated last year
- A base image to run apps using https://www.graalvm.org☆11Oct 2, 2018Updated 8 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Extract the heap representation of Haskell values and thunks☆50Jan 6, 2024Updated 2 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- Fluent for Elm (translation and l10n/i18n solution)☆17Oct 10, 2026Updated last week
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- High level 2d game engine written in Haskell.☆31Apr 7, 2018Updated 8 years ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 4 years ago
- Manage CloudFormation Stacks through specifications☆13Updated this week
- Pure Haskell client for the Mandrill JSON API☆18Mar 11, 2025Updated last year
- LIL is a Language☆11Nov 17, 2022Updated 3 years ago
- Demo Data that is used in Crunchy Data Demos and Workshop that can be freely redistributed☆14Aug 27, 2020Updated 6 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 3 years ago
- Setting up an Idris dev environment on Windows☆15Dec 8, 2019Updated 6 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 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.
- Flush system metrics to statsd☆26Jan 8, 2026Updated 9 months ago
- Haskell client library for exposing prometheus.io metrics.☆86May 27, 2026Updated 4 months ago
- Create dynamic HTML easy in the browser using declarative notation☆21Aug 28, 2020Updated 6 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- ☆23Aug 28, 2026Updated last month
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago