
Pelican
Jekyll
Hugo
Ghost
GatsbyJS
Grav
Hexo
WordPress
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/
Pelican
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, Pelican seems to be more popular. It has been mentiond 35 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.
Https://github.com/haplo/pelican-theme-reflex โ My Pelican [1] theme. While I started it before LLMs were a thing, I was recently able to tackle all my open TODO items with AI. https://github.com/haplo/pelican-copy-code โ A Pelican [1] plugin to add a Copy button to all source code blocks. It happens at build time, so no DOM manipulation at page load time. https://github.com/haplo/venice-kde-widget โ A KDE Plasma... - Source: Hacker News / about 2 months ago
What's the temperature on Pelican [https://getpelican.com] these days? Best Python SSG is mostly down to Hugo and Pelican as far as I can tell. - Source: Hacker News / 7 months ago
Heh. I write my blog posts in org mode, and have a way to get Pelican[1] to read them. It doesn't support executing Babel source blocks on export - I should probably add that feature to my package.[2] [1]https://getpelican.com/ [2]https://blog.nawaz.org/posts/2022/Dec/reintroducing-opel-put-all-your-pelican-posts-in-one-org-file/. - Source: Hacker News / 10 months ago
This Makefile is actually an extension of one dedicated Pelican static page generator. - Source: dev.to / 11 months ago
Instead of a wiki, why not a static site generator. I have used Pelican[1] for over a decade. Strongly recommend if you know Python. You don't need to know Python, but in the off chance that one day in the future you want to write your own plugin... [1] https://getpelican.com/. - Source: Hacker News / over 1 year ago
Jekyll - Jekyll is a simple, blog aware, static site generator.
Olympix - Secure your code as itโs written
Hugo - Hugo is a general-purpose website framework for generating static web pages.
Ghost - Ghost is a fully open source, adaptable platform for building and running a modern online publication. We power blogs, magazines and journalists from Zappos to Sky News.
GatsbyJS - Blazing-fast static site generator for React
Grav - The modern open source flat-file CMS