PHP wrapper class for Prince HTML to PDF formatter
☆18Jun 27, 2025Updated last year
Alternatives and similar repositories for prince-php-wrapper
Users that are interested in prince-php-wrapper 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 cross-platform debugging UI for `parsley-debug`, which runs outside of Scala.☆12Jan 13, 2026Updated 9 months ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆10May 3, 2022Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 6 years ago
- Work-in-progress Unicode paragraph layout library written in Rust☆13Jun 7, 2018Updated 8 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- Wob extended wtih effect handlers☆14Sep 25, 2023Updated 3 years ago
- A DSL for parsing and assembling binary data.☆14Sep 1, 2026Updated last month
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 4 years ago
- The Package Calculus☆13Aug 5, 2026Updated 2 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 4 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 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.
- The gluon-lang.org website.☆15Oct 19, 2026Updated last week
- Numerical snippets & tests☆12Jan 5, 2026Updated 9 months ago
- game☆11Jan 25, 2019Updated 7 years ago
- externalized source code metadata☆12Jan 20, 2023Updated 3 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆16Feb 18, 2025Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 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.
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- Stack-based, concatenative language with suggestive pattern-matching☆13Sep 6, 2026Updated last month
- Algebraic graphs for Elm☆12Jul 20, 2019Updated 7 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- ☆12Mar 15, 2021Updated 5 years ago
- MacBinary and resource fork reading in Rust☆15Mar 24, 2025Updated last year
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated 2 years ago
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 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.
- Quick interactive time series terminal plots usable in ghci☆15Sep 10, 2019Updated 7 years ago
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆14Updated this week
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 9 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year