sergv/random-program-generation
Investigate ways to generate random program that satisfy some predicates (e.g. are well-typed, evaluate to something, etc)
Public GitHub Catalog
Discovered Oct 6, 2026
sergv / hkanren
Haskell DSL for miniKanren
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.
#33460612GitHub System ID
sergvOrganization / User
PublicVisibility
ActiveCatalog Status
More from sergv
sergv/benchmarks
Some haskell benchmarks featuring excellent criterion package
sergv/faster-richer-tags
Server that looks up haskell entities, similar to tags in editors but more precise
sergv/cool
compiler of COOL language for Coursera Compilers course