prism.js
highlight.js
Pygments
Shiki
Bright
Inkjet (Syntax Highlighting)
Torchlight.dev
starry-night
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
prism.js AuditHubNo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Based on our record, prism.js seems to be more popular. It has been mentiond 22 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
It reminded me of the code highlighter[0], and the ORM Prisma[1]. [0] https://prismjs.com/. - Source: Hacker News / 6 months ago
Starting sometime in early December of 2025, a change was rolled out to the 1Password browser extension that began injecting prism.js onto every site and targeting every block it encountered. - Source: dev.to / 7 months ago
The site uses Astro (https://astro.build/) and the code blocks are generated using Shiki (https://shiki.style/). As Shiki generates the HTML and CSS at build-time instead of requiring runtime JS like alternatives like Prism (https://prismjs.com/#basic-usage), it's actually quite performant. I think it's unlikely that a couple of hundred lines with some empty spans in is going to cause performance issues โ imo it's... - Source: Hacker News / about 1 year ago
First step it to open src/app/app.config.ts, enable markdown file support, and add a syntax highlighter. You can pick between Prism or Shiki, both are great, but for this example, weโre rolling with Prism. - Source: dev.to / about 1 year ago
โจ Explore Prism.js for more themes and plugins! - Source: dev.to / over 1 year ago
highlight.js - Highlight.js is a syntax highlighter written in JavaScript. It works in the browser as well as on the server.
Olympix - Secure your code as itโs written
Pygments - Generic syntax highlighter suitable for use in code hosting, forums, wikis or other applications...
Shiki - A beautiful syntax highlighter based on TextMate grammar, accurate and powerful.
Bright - React Server Component for syntax highlighting.
Inkjet (Syntax Highlighting) - A batteries-included syntax highlighting library for Rust, based on tree-sitter.