☆11Jun 11, 2019Updated 6 years ago
Alternatives and similar repositories for coq-html-escape
Users that are interested in coq-html-escape are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- itamae-secrets for mitamae☆11Dec 15, 2016Updated 9 years ago
- load .o like dlfcn☆18Mar 26, 2020Updated 6 years ago
- Yet another implementation for Slim template language.☆16Dec 9, 2025Updated 3 months ago
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 2 years ago
- ☆13Jul 31, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Code style checking for itamae recipes☆15Feb 28, 2026Updated 3 weeks ago
- Parser of Haml template language☆12Jul 2, 2016Updated 9 years ago
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- keynote-client provides a high level API (like ActiveRecord style) to control your Keynote☆17Nov 14, 2020Updated 5 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- ☆20Nov 17, 2015Updated 10 years ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- tiny HTTP parser written in C (used in HTTP::XS et al.)☆19Dec 18, 2014Updated 11 years ago
- A Ruby library that will communicate with Embedded Dart Sass using the Embedded Sass protocol☆84Mar 12, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generate easy-to-remember, hard-to-guess passwords☆14Mar 31, 2024Updated last year
- A set of specialized collections and data structures that probably should be in CoreFx☆13Feb 21, 2023Updated 3 years ago
- GitHub Action that automatically updates Pachyderm pipelines when code is pushed.☆11Jul 11, 2022Updated 3 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- Kotlin/Native MPP project template☆10Apr 15, 2019Updated 6 years ago
- Listen to raise in ruby☆24Nov 29, 2015Updated 10 years ago
- https://blog.orhun.dev/packaging-rust-for-npm/☆30May 22, 2024Updated last year
- OpenID Connect 1.0 client (RP) library for Haskell☆27Jul 29, 2024Updated last year
- automatically generate restart-cases for the most common use cases, and also use the restart for automatic retries☆14May 11, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- HOL Guidebook☆12Oct 11, 2024Updated last year
- A massively fast S3 downloader/uploader☆115Dec 4, 2020Updated 5 years ago
- This package provides a MySQL driver for Haskell's HDBC library, implemented via bindings to the C mysqlclient library.☆30May 18, 2020Updated 5 years ago
- A Rails adapter for test-unit☆11Nov 22, 2025Updated 4 months ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆38Mar 3, 2026Updated 3 weeks ago
- Wrapper for the Cephes Mathematical Library☆17Mar 4, 2026Updated 3 weeks ago
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- Memoize method calls.☆23Aug 23, 2024Updated last year
- Workshop materials for a June 2017 workshop on microservices, Docker & Kubernetes, Node.JS, Kafka, Redis and choreography☆15Jun 1, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A RubyGems plugin that explicitly aliases `gem i` to `gem install` to avoid ambiguity☆17Apr 5, 2022Updated 3 years ago
- Input method editor for the Japanese language☆17Mar 22, 2025Updated last year
- A plugin for GHC to support super monads.☆26Oct 31, 2018Updated 7 years ago
- OCaml bindings for clang☆23May 1, 2018Updated 7 years ago
- A template engine for Rails, focusing on speed, using Ruby's String interpolation syntax☆124Apr 29, 2025Updated 10 months ago
- #k@ is a dynamic network simulation tool designed to model the growth of and information propagation through an online social network. It…☆28Mar 3, 2021Updated 5 years ago
- Example project to auto deploy Rails application☆12Sep 13, 2015Updated 10 years ago