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:
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 11 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Some benchmarks for testing rustc performance☆12Apr 25, 2017Updated 8 years ago
- A simple sudoku solver written in SWI-Prolog☆16Jun 2, 2012Updated 13 years ago
- Deprecated, to be deleted☆11Mar 4, 2018Updated 8 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Add early return to any do-expression☆48Jul 2, 2021Updated 4 years ago
- Type-Level Arithmetic in Rust☆10Jan 11, 2016Updated 10 years ago
- Major mode for psci (purescript's repl)☆16Dec 19, 2023Updated 2 years ago
- 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
- TOML file format parser in Haskell☆39Jan 27, 2022Updated 4 years ago
- Full-color Unicode-enabled multi-layered terminal emulator using SDL☆51Sep 23, 2020Updated 5 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 5 years ago
- This will never do anything worth while use this instead https://github.com/dalerank/nanogui-sdl☆22Feb 13, 2015Updated 11 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A library for reading MPQ archives.☆17Aug 14, 2024Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Lisp compiler in F#☆24Nov 27, 2010Updated 15 years ago
- Enhanced document previews for a range of different document and media types, plus a dashlet allowing any content item to be displayed on…☆29Sep 28, 2015Updated 10 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
- ☆16Mar 6, 2023Updated 3 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- PLEASE SEE https://github.com/auth0-blog/elm-with-jwt-api☆27Mar 6, 2017Updated 9 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.
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 8 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Tiny pyhton (cython) HTML layout engine with cairo surface rendering support☆21Dec 7, 2020Updated 5 years ago
- Symbolic computation package for Go☆10Mar 15, 2025Updated last year
- NRPyPN: Validated Post-Newtonian Expressions for Numerical Relativity☆12Oct 1, 2023Updated 2 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Jun 18, 2021Updated 4 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- A Python web browser with a pure-python rendering engine☆21Mar 9, 2010Updated 16 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.
- 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
- The Cubicle model checker☆14Jan 12, 2026Updated 2 months ago
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A computer algebra system in Smalltalk☆12Sep 5, 2025Updated 7 months ago
- Scientific Linux Docker images☆16Jul 1, 2024Updated last year