
Bear
Obsidian.md
Simplenote
Evernote
OneNote
Notion
iA Writer
Typora
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/
Bear
AuditHubNo features have been listed yet.
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, Bear seems to be more popular. It has been mentiond 57 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.
Bear is what you get when someone builds a notes app that respects developers. It's clean, fast, supports full Markdown, and syncs across devices. Unlike Obsidian, it doesn't require you to set up a vault structure and plugin ecosystem before you can write a single note. - Source: dev.to / 4 months ago
I kept track of bugs and ideas in Bear which, if you're in the Apple ecosystem, I highly recommend. When I stumbled on a good idea for a component that might be fun to build (sup, flip card), I'd write it down. - Source: dev.to / 10 months ago
It's odd that this blogging system is using a name also in use by a writing tool: https://bear.app/. - Source: Hacker News / 11 months ago
I got this confused with the Bear note-taking app for a minute (https://bear.app/), since it's in a closely adjacent domain and even has similar value statements. Unfortunate naming collision. - Source: Hacker News / 11 months ago
Bear app is so damn good at markdown (by default) https://bear.app. - Source: Hacker News / about 1 year ago
Obsidian.md - A second brain, for you, forever. Obsidian is a powerful knowledge base that works on top of a local folder of plain text Markdown files.
Olympix - Secure your code as itโs written
Simplenote - The simplest way to keep notes. Light, clean, and free. Simplenote is now available for iOS, Android, Mac, and the web.
Evernote - Bring your life's work together in one digital workspace. Evernote is the place to collect inspirational ideas, write meaningful words, and move your important projects forward.
OneNote - Get the OneNote app for free on your tablet, phone, and computer, so you can capture your ideas and to-do lists in one place wherever you are. Or try OneNote with Office for free.
Notion - All-in-one workspace. One tool for your whole team. Write, plan, and get organized.