replikativ/ansatz

Dependently typed Clojure DSL with a Lean4 compatible kernel.

Stars: 74
Forks: 3
Open beginner issues: 0
Indexed issues: 3
Avg merge: 1d 9h
Merged PRs (30d): 29

Dominant language: Clojure
License: No license data
Last GitHub push: Sep 16, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

3 open issues indexed

Importer: lean4export NDJSON is at format 3.1.0 — grouped records, meta version, Quot package Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

replikativ/ansatz#79 · Opened Sep 9, 2026
differential lane: gen-schema admits bounded scalars whose values encode-val cannot type (Subtype gap) Open

Difficulty 4/5 3-5 days Newbie friendliness 52/100

replikativ/ansatz#75 · Opened Sep 9, 2026
codegen-registry is consulted in app position but not const position — nullary ctor lowerings are unreachable Open

Difficulty 3/5 1-2 days Newbie friendliness 74/100

replikativ/ansatz#74 · Opened Sep 9, 2026

A short digest of beginner-friendly GitHub issues.