Reactive Web Programming
☆32Sep 30, 2026Updated last week
Alternatives and similar repositories for hiphop
Users that are interested in hiphop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Multitier JavaScript☆164Feb 16, 2026Updated 7 months ago
- ECMAScript for Racket☆20Dec 9, 2021Updated 4 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24Aug 16, 2026Updated last month
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 5 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.
- the blog "Machine Logic"☆24Oct 1, 2026Updated last week
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Oct 20, 2016Updated 9 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- collection of libraries for R6RS Scheme supporting Ikarus, Larceny, Mosh, Petite Chez, Vicare and Ypsilon☆14Apr 9, 2011Updated 15 years ago
- ☆17Jul 19, 2022Updated 4 years ago
- ☆14Jun 27, 2022Updated 4 years ago
- ☆18Sep 21, 2026Updated 2 weeks ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 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.
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- a practical Scheme compiler☆174Oct 2, 2026Updated last week
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- R6RS SRFIs☆25Jan 19, 2012Updated 14 years ago
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- Scripts for Racket developers☆25Mar 2, 2021Updated 5 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Mar 30, 2018Updated 8 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.
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated 2 years ago
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Jul 10, 2020Updated 6 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- ☆80May 27, 2019Updated 7 years ago
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 3 years ago
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 10 years ago
- ☆12Jun 14, 2021Updated 5 years ago
- Alternative file explorer for PC☆10Sep 4, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨☆31Sep 25, 2018Updated 8 years ago
- ☆18Feb 20, 2024Updated 2 years ago
- An OCaml binding for the openai-gym toolkit to develop and compare reinforcement learning algorithms.☆16Sep 17, 2025Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 23, 2026Updated 6 months ago
- mirror of http://hg.dyncall.org/pub/dyncall/dyncall☆17Mar 5, 2015Updated 11 years ago
- A hash function for content-addressable storage☆19Jul 15, 2026Updated 2 months ago
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago