☆11Jun 11, 2019Updated 7 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.☆16Jun 13, 2026Updated last month
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 3 years ago
- Code style checking for itamae recipes☆14Jun 30, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Jul 31, 2016Updated 9 years ago
- Parser of Haml template language☆12Jul 2, 2016Updated 10 years ago
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- ☆10Aug 16, 2019Updated 6 years ago
- ☆20Nov 17, 2015Updated 10 years ago
- tiny HTTP parser written in C (used in HTTP::XS et al.)☆20Dec 18, 2014Updated 11 years ago
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 11 years ago
- Create a Debianization by examining a .cabal file.☆17Aug 3, 2020Updated 5 years ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Generate easy-to-remember, hard-to-guess passwords☆14Jul 2, 2026Updated 3 weeks ago
- moved to https://github.com/keigoi/Coq4iOS2☆24Oct 25, 2018Updated 7 years ago
- A set of specialized collections and data structures that probably should be in CoreFx☆13Feb 21, 2023Updated 3 years ago
- keynote-client provides a high level API (like ActiveRecord style) to control your Keynote☆17Nov 14, 2020Updated 5 years ago
- GitHub Action that automatically updates Pachyderm pipelines when code is pushed.☆12Jul 11, 2022Updated 4 years ago
- Kotlin/Native MPP project template☆10Apr 15, 2019Updated 7 years ago
- A Ruby library that will communicate with Embedded Dart Sass using the Embedded Sass protocol☆85Updated this week
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- https://blog.orhun.dev/packaging-rust-for-npm/☆31May 22, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- automatically generate restart-cases for the most common use cases, and also use the restart for automatic retries☆14May 11, 2025Updated last year
- OpenID Connect 1.0 client (RP) library for Haskell☆27Jul 29, 2024Updated 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
- PostgreSQL driver for HDBC☆39May 21, 2026Updated 2 months ago
- Wrapper for the Cephes Mathematical Library☆17Jul 5, 2026Updated 3 weeks ago
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- Workshop materials for a June 2017 workshop on microservices, Docker & Kubernetes, Node.JS, Kafka, Redis and choreography☆15Jun 1, 2017Updated 9 years ago
- [OBSOLETE] Gunosy RSS feed web service by Node.js☆15Jun 5, 2016Updated 10 years ago
- A Rails adapter for test-unit☆11Jun 21, 2026Updated last month
- 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.
- HOL Guidebook☆12Oct 11, 2024Updated last year
- A RubyGems plugin that explicitly aliases `gem i` to `gem install` to avoid ambiguity☆17Apr 5, 2022Updated 4 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated 3 months ago
- Input method editor for the Japanese language☆17Mar 22, 2025Updated last year
- 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 massively fast S3 downloader/uploader☆115Dec 4, 2020Updated 5 years ago
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago