vogler/ppx_config
new config/cmdline for goblint as json via ppx
Seven More Languages in Seven Weeks
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
new config/cmdline for goblint as json via ppx
Personal Emacs configuration
Type-driven code generation for OCaml >=4.02
vim conceal syntax file for ocaml