akr/coq-html-escape external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

akr/coq-html-escape

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/akr/coq-html-escape)

Close

akr / coq-html-escapeView on GitHubMore

• External links
• Readme badge

☆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.

• eagletmt / mitamae-secrets

  View on GitHub
  itamae-secrets for mitamae
  ☆11Dec 15, 2016Updated 9 years ago
• shinh / objfcn

  View on GitHub
  load .o like dlfcn
  ☆18Mar 26, 2020Updated 6 years ago
• r7kamura / slimi

  View on GitHub
  Yet another implementation for Slim template language.
  ☆17Oct 20, 2026Updated 2 weeks ago
• himura / persistent-relational-record

  View on GitHub
  Persistent adapter for Haskell Relational Record
  ☆20Mar 30, 2023Updated 3 years ago
• UnkindPartition / data-lens-light

  View on GitHub
  Simple lenses, minimum dependencies
  ☆14Nov 12, 2023Updated 2 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• sue445 / rubocop-itamae

  View on GitHub
  Code style checking for itamae recipes
  ☆14Updated this week
• koengit / KeyMonad

  View on GitHub
  ☆13Jul 31, 2016Updated 10 years ago
• y-taka-23 / concepts-of-proglangs

  View on GitHub
  五十嵐淳『プログラミング言語の基礎概念』の Coq による実装
  ☆11Oct 24, 2015Updated 11 years ago
• intel / base64

  View on GitHub
  ☆21Nov 17, 2015Updated 10 years ago
• jonnyzzz / kotlin-native-clipboard

  View on GitHub
  ☆10Aug 16, 2019Updated 7 years ago
• eagletmt / haml_parser

  View on GitHub
  Parser of Haml template language
  ☆12Jul 2, 2016Updated 10 years ago
• JolifantoBambla / vk-samples

  View on GitHub
  Samples for vk (Common Lisp/CFFI bindings for the Vulkan API).
  ☆10Feb 23, 2022Updated 4 years ago
• draftcode / sandal

  View on GitHub
  A fault-aware model checker for message passing systems
  ☆16Aug 20, 2014Updated 12 years ago
• berstend / graphql-microservice-starter

  View on GitHub
  Nextgen backend stack using independent GraphQL services
  ☆12Dec 11, 2019Updated 6 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• vkrasnov / picohttpparser

  View on GitHub
  tiny HTTP parser written in C (used in HTTP::XS et al.)
  ☆20Dec 18, 2014Updated 11 years ago
• ddssff / cabal-debian

  View on GitHub
  Create a Debianization by examining a .cabal file.
  ☆16Aug 3, 2020Updated 6 years ago
• sgillespie / gibberish

  View on GitHub
  Generate easy-to-remember, hard-to-guess passwords
  ☆14Jul 2, 2026Updated 4 months ago
• keigoi / coq4ios

  View on GitHub
  moved to https://github.com/keigoi/Coq4iOS2
  ☆24Oct 25, 2018Updated 8 years ago
• petabridge / Petabridge.Collections

  View on GitHub
  A set of specialized collections and data structures that probably should be in CoreFx
  ☆13Feb 21, 2023Updated 3 years ago
• JuliaMusic / MusicXML.jl

  View on GitHub
  MusicXML in Julia
  ☆14Sep 3, 2024Updated 2 years ago
• spantaleev / suggestor.js

  View on GitHub
  Suggestions-providing / @user mentions / #tagging / autocompletion library.
  ☆12Jun 9, 2022Updated 4 years ago
• jonnyzzz / kotlin-native-mpp-template

  View on GitHub
  Kotlin/Native MPP project template
  ☆10Apr 15, 2019Updated 7 years ago
• cpdt-japanese / cpdt-japanese

  View on GitHub
  Certified Programming with Dependent Types (Japanese Translation)
  ☆15Jan 14, 2021Updated 5 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• katsuma / keynote-client

  View on GitHub
  keynote-client provides a high level API (like ActiveRecord style) to control your Keynote
  ☆17Nov 14, 2020Updated 5 years ago
• hdbc / hdbc-postgresql

  View on GitHub
  PostgreSQL driver for HDBC
  ☆39May 21, 2026Updated 5 months ago
• robinsonb5 / ZPUDemos

  View on GitHub
  Tutorial and test projects for the ZPUFlex core.
  ☆11Dec 4, 2021Updated 4 years ago
• raphamorim / raphamorim-keynote-theme

  View on GitHub
  My own keynote theme :))
  ☆10Dec 8, 2015Updated 10 years ago
• thelinuxlich / vue_spa

  View on GitHub
  Simple example using latest Vue.js and Browserify
  ☆12Mar 24, 2014Updated 12 years ago
• sass-contrib / sass-embedded-host-ruby

  View on GitHub
  A Ruby library that will communicate with Embedded Dart Sass using the Embedded Sass protocol
  ☆86Updated this week
• hsk / simpletapl

  View on GitHub
  ☆10Jan 11, 2019Updated 7 years ago
• krdlab / haskell-oidc-client

  View on GitHub
  OpenID Connect 1.0 client (RP) library for Haskell
  ☆27Jul 29, 2024Updated 2 years ago
• balser / stackdriver-ruby

  View on GitHub
  A ruby client for Stackdriver metrics.
  ☆10Mar 4, 2014Updated 12 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• hashkat / hashkat

  View on GitHub
  #k@ is a dynamic network simulation tool designed to model the growth of and information propagation through an online social network. It…
  ☆27Mar 3, 2021Updated 5 years ago
• Kudo / RNV8Test

  View on GitHub
  Demonstration project for react-native-v8 on iOS
  ☆13Jan 5, 2023Updated 3 years ago
• orhun / packaging-rust-for-npm

  View on GitHub
  https://blog.orhun.dev/packaging-rust-for-npm/
  ☆31May 22, 2024Updated 2 years ago
• pachyderm / pachyderm-actions

  View on GitHub
  GitHub Action that automatically updates Pachyderm pipelines when code is pushed.
  ☆12Jul 11, 2022Updated 4 years ago
• Lisp-Stat / cephes.cl

  View on GitHub
  Wrapper for the Cephes Mathematical Library
  ☆17Jul 5, 2026Updated 4 months ago
• test-unit / test-unit-rails

  View on GitHub
  A Rails adapter for test-unit
  ☆11Jun 21, 2026Updated 4 months ago
• lucasjellema / microservices-choreography-kubernetes-workshop-june2017

  View on GitHub
  Workshop materials for a June 2017 workshop on microservices, Docker & Kubernetes, Node.JS, Kafka, Redis and choreography
  ☆15Jun 1, 2017Updated 9 years ago