Source code accompanying a blog entry on UHC's Javascript backend
☆15Oct 26, 2010Updated 16 years ago
Alternatives and similar repositories for javascript-runtime-for-UHC
Users that are interested in javascript-runtime-for-UHC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Mar 31, 2023Updated 3 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- DynSem☆13Apr 28, 2025Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 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.
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated last year
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 5 years ago
- ☆13May 18, 2026Updated 5 months ago
- Lambda calculus parser in Haskell☆15Jul 18, 2026Updated 3 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- A compiler for a simple language using llvm☆38Jun 14, 2023Updated 3 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Transform a Folder into a Stack Template☆15Aug 23, 2026Updated 2 months ago
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 10 months ago
- Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.☆10Feb 3, 2024Updated 2 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 7 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- jQuery bindings for Fay (experimental)☆40Feb 9, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- ☆21Mar 30, 2022Updated 4 years ago
- C library for reading, creating, and modifying zip archives☆14Oct 22, 2026Updated last week
- Haskell bindings for the OS X FSEvents API - Event based filesystem monitoring☆22Apr 3, 2025Updated last year
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Jul 3, 2024Updated 2 years ago
- ☆15Sep 11, 2026Updated last month
- Haskell suite library for package management and integration with Cabal☆20May 2, 2018Updated 8 years ago
- A simple daemon to control fan speed on a MacBook Pro running Linux 3.1☆12Aug 3, 2023Updated 3 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.
- A somewhat different approach to cabal hell problem.☆25Sep 27, 2012Updated 14 years ago
- Lightweight Gleam library for working with streams☆13Jan 3, 2026Updated 9 months ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 9 months ago
- Classical Logic in Haskell☆23Nov 19, 2025Updated 11 months ago
- Procord is a portable OCaml library to delegate tasks to other processes.☆27Sep 2, 2014Updated 12 years ago
- A plugin for GHC to turn Haskell into a strict language☆28Aug 8, 2012Updated 14 years ago
- Source code for http://gregorycollins.net/ --- built on the Haskell "happstack" framework☆15Aug 19, 2009Updated 17 years ago