Starred repositories
A plugin for managing and integrating your ollama workflows in neovim.
Vim plugin for integrating Ollama based LLM (large language models)
Learn how to design systems at scale and prepare for system design interviews
Lean 4 programming language and theorem prover
Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
Colorful Life is a Game of Life implementation in full color. It utilizes WebGL and runs in your browser.
Composable proof transcripts for public-coin arguments of knowledge
zkcrypto / merlin
Forked from dalek-cryptography/merlinComposable proof transcripts for public-coin arguments of knowledge
An simple implementation of an auto-follower/unfollower and reposter bot in bsky.app
Emacs keybindings for Jupyter notebook
GraphJet is a real-time graph processing library.
A curated list of papers and resources based on "Large Language Models on Graphs: A Comprehensive Survey" (TKDE)
A Haskell to Coq compiler that represents effectful programs with the free monad
Query Engine for AI - The only MCP Server you'll ever need
Lista de eventos tech que acontecem no Brasil
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
🧮 Um caminho para a educação autodidata em Matemática!
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
A bare-bones calculus-of-constructions
A minimal, responsive, and feature-rich Jekyll theme for technical writing.