Showing 3 of 3 projects
A C library for parsing and validating configurations in a JSON-compatible language with nginx-like syntax and macros.
A source-to-source compiler that uses Lisp macros for meta programming of C, C++, CUDA, GLSL, and OpenCL.
A library for machine-to-machine interaction with the Coq proof assistant, providing serialization of Coq's internal datatypes to JSON or S-expressions.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.