joelburget/JonPRL
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
Public GitHub Catalog
Discovered Oct 14, 2026
joelburget / react-partial
Partially apply react components
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#38872470GitHub System ID
joelburgetOrganization / User
PublicVisibility
ActiveCatalog Status
More from joelburget
joelburget/kramdown
kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.
joelburget/ghcjs-box
Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
joelburget/peg-markdown-highlight
C library for Markdown syntax highlighting, using a recursive-descent parser.