Starred Repositories
Browse starred repositories
Sort: Recently starred
-
The web framework for content-driven websites. ⭐️ Star to support our work!
-
The open-source package registry for modern JavaScript and TypeScript
-
Build lending vaults that connect through Ethereum Vault Connector
-
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
-
💾 Simple session management for Neovim
-
Open files and command output from wezterm, kitty, and neovim terminals in your current neovim instance
-
🟦 Morpho Blue Protocol
-
A performant, type-1 zkEVM written in Rust & SP1.
-
-
Minimal library for Ethereum transactions, addresses and smart contracts.
-
A graphical pdf and epub reader that works inside the kitty terminal
-
Sioyek is a PDF viewer with a focus on textbooks and research papers
-
Formal Reasoning About Programs
-
A WIP definitional (co)datatype package for Lean4
-
Fast implementation of queue in OCaml
-
HoTTEST Summer School materials
-
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
-
A simple and lightweight buffer manager for Neovim
-
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
Implementation of maps of integers with Patricia trees
-
The UI toolkit for Svelte and Tailwind.
-
A Rust hashconsing library.
-
OCaml hash-consing library
-
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
-
A replacement for mksession with a better API
-
Overview of tactics in Lean 4 for beginners — longer version
-
Lean4 Logic Formalization
-
A web3 wallet for Grug, by Grug.
-
SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.
-
Experiments in automation for Lean