Popular repositories Loading

1. kern kern Public

   Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.

   Python 9 3

2. kokao-engine-v3 kokao-engine-v3 Public

   KOKAO Engine v3 — Biologically Plausible Cognitive Architecture based on Kosyakov's Theory

   Python 3 1

3. awesome-formal-verification awesome-formal-verification Public

   Forked from ElNiak/awesome-formal-verification

   Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…

4. awesome-zig awesome-zig Public

   Forked from zigcc/awesome-zig

   A collaborative list of awesome Zig libraries and resources.

   Makefile

5. awesome-mcp-servers awesome-mcp-servers Public

   Forked from punkpeye/awesome-mcp-servers

   A collection of MCP servers.

6. C C Public

   Forked from TheAlgorithms/C

   Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

   C