jbulow/SAT-Solver
Simple SAT solver implemented from Knuth pre-fascicle 6a.
Public GitHub Catalog
Discovered Sep 29, 2026
jbulow / luafun
A high-performance functional programming library designed for LuaJIT tracing just-in-time compiler
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14581097GitHub System ID
jbulowOrganization / User
PublicVisibility
ActiveCatalog Status
More from jbulow
jbulow/rsted
Online reStructuredText editor
jbulow/hindley_milner
A C++11 implementation of Hindley-Milner type inference.
jbulow/neu
Public repository.