☆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 5 months ago
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 3 years ago
- ☆13Jul 31, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code style checking for itamae recipes☆14May 1, 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.)☆20Dec 18, 2014Updated 11 years ago
- A Ruby library that will communicate with Embedded Dart Sass using the Embedded Sass protocol☆85Updated this week
- 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 2 years ago
- 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 7 years ago
- Listen to raise in ruby☆24Nov 29, 2015Updated 10 years ago
- https://blog.orhun.dev/packaging-rust-for-npm/☆30May 22, 2024Updated 2 years ago
- 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 last year
- 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.
- HOL Guidebook☆12Oct 11, 2024Updated last year
- A massively fast S3 downloader/uploader☆115Dec 4, 2020Updated 5 years ago
- RD is Ruby's POD. RDtool is formatter for RD.☆19Mar 22, 2026Updated 2 months ago
- This package provides a MySQL driver for Haskell's HDBC library, implemented via bindings to the C mysqlclient library.☆30May 18, 2020Updated 6 years ago
- A Rails adapter for test-unit☆11Nov 22, 2025Updated 6 months ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated last month
- Wrapper for the Cephes Mathematical Library☆17May 15, 2026Updated last week
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- Memoize method calls.☆23Aug 23, 2024Updated last year
- 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.
- Workshop materials for a June 2017 workshop on microservices, Docker & Kubernetes, Node.JS, Kafka, Redis and choreography☆15Jun 1, 2017Updated 8 years ago
- A RubyGems plugin that explicitly aliases `gem i` to `gem install` to avoid ambiguity☆17Apr 5, 2022Updated 4 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☆24May 1, 2018Updated 8 years ago
- A template engine for Rails, focusing on speed, using Ruby's String interpolation syntax☆124Apr 29, 2025Updated last year
- #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