ytomino / headmaster
the translator from C headers to another language (currently, Ada only)
☆18Updated last year
Alternatives and similar repositories for headmaster
Users that are interested in headmaster are comparing it to the libraries listed below
Sorting:
- Formally verified, bounded-stack XML library☆23Updated 4 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last week
- Ada Bar Codes: bar code (1D and 2D) generator in pure Ada☆16Updated 3 months ago
- The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.☆63Updated 5 years ago
- An Ada 2012 library for monitoring filesystem events using Linux' inotify API☆9Updated 4 months ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆17Updated 5 years ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆27Updated 3 years ago
- Embeddable Forth interpreter written in Ada☆26Updated 9 years ago
- client for a snow2 repository☆12Updated 6 years ago
- This is a copy of XLisp by David Michael Betz, license appears to be BSD☆25Updated 9 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Dynamo Ada Application Code Generator☆17Updated 7 months ago
- ☆19Updated 8 years ago
- Ada support for OpenAPI code generator☆27Updated 5 months ago
- A compiler for an Ada-like language☆30Updated last week
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- a type level lisp interpreter on Rust's type system☆10Updated 8 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- generate ATS interface from C code☆20Updated 8 years ago
- Framework for platform-independent SPARK components☆23Updated 4 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- Type systems written in 1ML☆9Updated 5 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- Collection of basic math routines in Ada☆26Updated 2 years ago
- A json-like data structure library in Ada☆11Updated last month
- αProlog☆17Updated last year
- Mathpaqs: a collection of mathematical packages in pure Ada☆12Updated 3 months ago
- The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …☆15Updated 2 years ago
- Non-deterministic Prolog implementation for recreational linguistics☆12Updated 10 years ago
- Ada-tailored UML Modeling Language☆11Updated 2 years ago