Lists (6)
🧠 Formal Verification
Repos focused on model checking, theorem proving, specifications, and correctness by design.✨ Inspiration
🤖 LLMs & AI
Repos on large language models, transformers, inference engines, and fine-tuning frameworks.📝 NeoVim Setup
Repos for NeoVim configs, plugins, and Lua-based IDE tooling.☕ Strimzi & Kafka
Repos for running Apache Kafka on Kubernetes using Strimzi—operators, custom resources, and ecosystem tools.✅ Testing & QA
Repos for unit, integration, E2E testing frameworks, mocking tools, and test automation.Stars
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
A curated list of resources about the Strimzi project
LangChain4j is an open-source Java library that simplifies the integration of LLMs into Java applications through a unified API, providing access to popular LLMs and vector databases. It makes impl…
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
📚 Collaborative cheatsheets for console commands
Dafny is a verification-aware programming language
A gently curated list of companies using verification formal methods in industry
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
🤝 Awesome List of GIFs & avatars to use in GitHub.
A simple and easy-to-use library to enjoy videogames programming
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Empowering everyone to build reliable and efficient software.
Kubernetes IN Docker - local clusters for testing Kubernetes
JDK main-line development https://openjdk.org/projects/jdk
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Programming in assembly language tutorial
A simple Java library for interacting with Ollama server.
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer.
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Replace 'hub' with 'ingest' in any GitHub URL to get a prompt-friendly extract of a codebase
Just a bunch off stuff related to formal verification of Strimzi, Kafka and compilers related..