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 1, 2026
sergv / happy-mode
Emacs major mode for editing Happy filles
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.
#20235630GitHub System ID
sergvOrganization / User
PublicVisibility
ActiveCatalog Status
More from sergv
sergv/hkanren
Haskell DSL for miniKanren
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