Toy web rendering engine in haskell
☆34Oct 12, 2015Updated 10 years ago
Alternatives and similar repositories for Hubert
Users that are interested in Hubert are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Deprecated, to be deleted☆11Mar 4, 2018Updated 8 years ago
- Add early return to any do-expression☆48Jul 2, 2021Updated 4 years ago
- Major mode for psci (purescript's repl)☆16Dec 19, 2023Updated 2 years ago
- Type-Level Arithmetic in Rust☆10Jan 11, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 6 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Conditions for Haskell☆15Mar 18, 2015Updated 11 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 10 months ago
- High level, generic library for interrogative user interfaces in Haskell☆42Jun 18, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- A small library combining libpq and libuv☆10Dec 22, 2022Updated 3 years ago
- An HTTP/2-based streaming PubSub server written in Go.☆13Mar 17, 2017Updated 9 years ago
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Oct 6, 2017Updated 8 years ago
- ☆10Jan 23, 2017Updated 9 years ago
- 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.
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- Eta bindings to Kafka☆15Aug 17, 2017Updated 8 years ago
- Isometric rendering for PureScript☆58Feb 6, 2020Updated 6 years ago
- Style guide for jxnblk.com☆14Oct 6, 2015Updated 10 years ago
- ☆31Dec 3, 2022Updated 3 years ago
- Homebridge plugin for OpenTherm Gateway☆12Updated this week
- Example on how to use Snowpack with Scala.js☆13May 7, 2022Updated 4 years ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 5 years ago
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- ☆15Jul 27, 2022Updated 3 years ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- HTML5 Canvas UI Framework with Multitouch support☆16May 28, 2011Updated 15 years ago
- Pux time-travelling devtool.☆41Apr 7, 2017Updated 9 years ago
- Inject keystrokes with LEGO Mario☆20Jun 1, 2023Updated 3 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago