ytomino / headmaster
the translator from C headers to another language (currently, Ada only)
☆18Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for headmaster
- Formally verified, bounded-stack XML library☆22Updated 4 years ago
- Ada Bar Codes: bar code (1D and 2D) generator in pure Ada☆14Updated 2 months ago
- Tiny Lisp Interpreter Written in Ada☆26Updated 3 months ago
- The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.☆60Updated 4 years ago
- GNATcoverage: Coverage Analysis Tool☆38Updated last week
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆28Updated 2 years ago
- Ada support for OpenAPI code generator☆27Updated last month
- Ada Database Objects☆25Updated last month
- The XML/Ada toolkit.☆22Updated 3 weeks ago
- This is a copy of XLisp by David Michael Betz, license appears to be BSD☆25Updated 9 years ago
- Dynamo Ada Application Code Generator☆17Updated last month
- GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images☆24Updated last month
- Collection of basic math routines in Ada☆25Updated 2 years ago
- An Ada Library for UUID generation.☆15Updated 2 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- GDB scripts for Ada programs built with GNAT☆16Updated last year
- Drake: A Runtime Library for gcc-Ada☆42Updated 4 years ago
- LISP1.5 implemened on top of Gauche☆23Updated 2 years ago
- SPARK Proof Analysis Tool☆15Updated 4 years ago
- A Refinement Checker based on CSP☆28Updated 2 years ago
- Embeddable Forth interpreter written in Ada☆23Updated 9 years ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- A cryptographic library in SPARK 2014☆27Updated 3 years ago
- Unbound data structures in Ada-Spark.☆11Updated 2 years ago
- [DEPRECATED] Generate Ada bindings to C++ code☆15Updated 4 years ago
- ☆19Updated 7 years ago
- ☆19Updated 2 years ago
- A cryptographic framework, proven for correctness in SPARK☆13Updated this week
- The AURA Reference Implementation☆22Updated last year
- Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.☆24Updated 11 years ago