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

• 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 5 years ago
• r7kamura / slimi

  View on GitHub
  Yet another implementation for Slim template language.
  ☆16Dec 9, 2025Updated 2 months ago
• himura / persistent-relational-record

  View on GitHub
  Persistent adapter for Haskell Relational Record
  ☆20Mar 30, 2023Updated 2 years ago
• JuliaMusic / MusicXML.jl

  View on GitHub
  MusicXML in Julia
  ☆14Sep 3, 2024Updated last year
• TeamMaestro / capacitor-single-sign-on

  View on GitHub
  ☆11Jun 14, 2025Updated 8 months ago
• pachyderm / pachyderm-actions

  View on GitHub
  GitHub Action that automatically updates Pachyderm pipelines when code is pushed.
  ☆11Jul 11, 2022Updated 3 years ago
• h1romas4 / m5stack-wasm3-testing

  View on GitHub
  WebAssembly interpreter Wasm3 on M5Stack (work in progress)
  ☆12Jan 4, 2023Updated 3 years ago
• ReneNyffenegger / epson-inkjet-printer-escpr

  View on GitHub
  Epson Inkjet Printer Driver (ESC/P-R) filter for CUPS
  ☆11Mar 9, 2018Updated 7 years ago
• sysdiglabs / image-scanning-admission-controller

  View on GitHub
  Kubernetes admission controller that validate image in deployment is vulnerability free
  ☆11May 6, 2020Updated 5 years ago
• j5ik2o / wallet-akka

  View on GitHub
  ☆11Dec 15, 2023Updated 2 years ago
• jrudolph / sbt-hackers-digest

  View on GitHub
  An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions
  ☆12Oct 10, 2025Updated 4 months ago
• alirezameskin / phony

  View on GitHub
  Fake data generator
  ☆11Jul 29, 2020Updated 5 years ago
• foursquare / scala-zookeeper-client

  View on GitHub
  A ZooKeeper client library in Scala.
  ☆21Apr 17, 2013Updated 12 years ago
• Makeblock-official / mBlockly-for-nwjs

  View on GitHub
  Learn more from Makeblock official website
  ☆10Oct 20, 2016Updated 9 years ago
• jcristovao / newtype-generics

  View on GitHub
  A typeclass and set of functions for working with newtypes.
  ☆10May 19, 2022Updated 3 years ago
• philip1134 / testlink-themes

  View on GitHub
  TestLink Customized Themes
  ☆10Aug 31, 2019Updated 6 years ago
• besport / aws

  View on GitHub
  OCaml client access to Amazon services, such as S3, EC2, FPS, etc.
  ☆14Sep 20, 2016Updated 9 years ago
• jonnyzzz / kotlin-native-mpp-template

  View on GitHub
  Kotlin/Native MPP project template
  ☆10Apr 15, 2019Updated 6 years ago
• roy-n-roy / roy-n-roy.github.io

  View on GitHub
  ☆10Aug 18, 2024Updated last year
• taisukeoe / scalikejdbc-on-android

  View on GitHub
  ScalikeJDBC demo on Android SQLite.
  ☆10May 6, 2015Updated 10 years ago
• lepus-ctf / lepus-api

  View on GitHub
  Lepus CTF(旧: TDUCTF)で利用されているRESTfulなスコアサーバー
  ☆10Nov 23, 2015Updated 10 years ago
• benkuper / LaMoucheFolle

  View on GitHub
  Cross-platform OSC server for controlling multiple crazyflies 2.0
  ☆14Mar 18, 2020Updated 5 years ago
• HOL-Theorem-Prover / hol-guidebook

  View on GitHub
  HOL Guidebook
  ☆12Oct 11, 2024Updated last year
• noncepool / cpuminer-yescrypt

  View on GitHub
  CPU miner for Litecoin and Bitcoin
  ☆10Dec 24, 2014Updated 11 years ago
• sgillespie / gibberish

  View on GitHub
  Generate easy-to-remember, hard-to-guess passwords
  ☆14Mar 31, 2024Updated last year
• stz2012 / recfsusb2n

  View on GitHub
  KTV-FSUSB2/FSPCIEをLinuxで使う為の録画ツール（STZ版）
  ☆11Mar 24, 2016Updated 9 years ago
• purescript-node / purescript-node-buffer

  View on GitHub
  Type declarations for Node's Buffer class
  ☆10Jul 5, 2023Updated 2 years ago
• shaunduncan / packer-provisioner-host-command

  View on GitHub
  Packer plugin to run shell like provisioning on the host machine
  ☆35Oct 6, 2015Updated 10 years ago
• todesking / typeclass_map

  View on GitHub
  ☆10Mar 15, 2019Updated 6 years ago
• jonnyzzz / kotlin-native-clipboard

  View on GitHub
  ☆10Aug 16, 2019Updated 6 years ago
• NUSGreyhats / CTF101-Web-Security-Fall2015

  View on GitHub
  NUS Greyhats CTF101 Web Security Lesson Material
  ☆10Aug 22, 2015Updated 10 years ago
• hiro-iseri / atestcov

  View on GitHub
  n-wise coverage tool for combinatorial testing
  ☆11Sep 7, 2019Updated 6 years ago
• amakan / amakani

  View on GitHub
  amakan mobile apps for Android and iPhone.
  ☆12Aug 23, 2016Updated 9 years ago
• xuwei-k / zeroapply

  View on GitHub
  zero cost Apply/Applicative syntax
  ☆13Updated this week
• uniter / phpruntime

  View on GitHub
  Runtime library for PHP environments
  ☆14Apr 20, 2025Updated 10 months ago
• tangentforks / FourColorTheorem

  View on GitHub
  Gonthier's formal proof of the 4-color theorem, in Coq.
  ☆11Dec 29, 2015Updated 10 years ago
• mitchellwrosen / safe-exceptions-checked

  View on GitHub
  Safe, checked exceptions
  ☆13Sep 30, 2018Updated 7 years ago
• carymrobbins / scala-adt

  View on GitHub
  Haskell-style Algebraic Data Types for Scala
  ☆13Aug 6, 2016Updated 9 years ago