aliassaf/preparen
Latex package for pretty-printing precedence parentheses
Public GitHub Catalog
Discovered Sep 25, 2026
aliassaf / camelide
An interpreter for Dedukti written in OCaml.
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.
#4160421GitHub System ID
aliassafOrganization / User
PublicVisibility
ActiveCatalog Status
More from aliassaf
aliassaf/dedukti-inductive
Library for reflecting inductive types in Dedukti
aliassaf/yolk
Extract the contents of Coq object files.
aliassaf/try_git
Public repository.