VerinFast

Popular repositories Loading

1. verinfast verinfast Public

   An open sourced scanning agent

   Python 10 12

2. modernmetric modernmetric Public

   Calculate code metrics in various languages

   Python 4 3

3. recommender-system-research recommender-system-research Public archive

   Python 2

4. liberty-power-gardens liberty-power-gardens Public

   Forked from Cause-of-a-Kind/liberty-power-gardens

   HTML 1

5. jamgraf jamgraf Public

   A local wiki built for a human and an LLM to edit the same page — one SQLite file per wiki, hybrid search, live CRDT co-editing, and an MCP server so Claude works in the document you do.

   Python 1

6. johnnydep johnnydep Public archive

   Forked from wimglenn/johnnydep

   Display dependency tree of Python distribution

   Python 1