Starred repositories
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
Sign in with Apple authentication within React Native and backend built with Express.js connected to a MongoDB for user management. Following best practices for iOS development.
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"
A Haskell to Coq compiler that represents effectful programs with the free monad
The platform for building AI from enterprise data
Lista de eventos tech que acontecem no Brasil
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
🧮 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.
✨ .NET-based JavaScript runtime focused in rapid prototyping of projects, using minimal dependencies and functional programming
Python package supporting heavy functional programming through currying. Translation of the Ramda library from javascript to python.
implementation of HMF type system, for higher rank types
Minimal implementations for dependent type checking and elaboration