ytomino / headmasterLinks
the translator from C headers to another language (currently, Ada only)
☆19Updated 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 5 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆28Updated 2 years ago
- Coq plugin for monomorphization and C code generation☆35Updated this week
- S-expression swiss knife☆47Updated 2 weeks ago
- Pure OCaml implementation of the D-Bus protocol☆35Updated last year
- Ada Bar Codes: bar code (1D and 2D) generator in pure Ada☆17Updated 8 months ago
- Stub code generator for OCaml/C interface☆33Updated 2 months ago
- The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.☆63Updated 5 years ago
- A new Unicode library for OCaml☆35Updated 11 years ago
- GNU Guile Scheme bindings for OCaml☆17Updated 3 years ago
- literate programming meets unison☆29Updated last month
- The new home of OMake - docs, downloads, mailing list etc. see:☆67Updated 9 months ago
- Matita (proof assistant) with embedded elpi☆14Updated 7 years ago
- OCamlOScope 2 : OCaml API search☆43Updated 8 years ago
- OCaml support for Flycheck using Merlin☆22Updated last year
- The Universe Library for OCaml☆14Updated 6 years ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Updated last year
- OCaml IRC client library☆52Updated 2 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- Minimalistic logic programming framework☆22Updated 5 years ago
- A simple photo gallery webapp☆15Updated 4 years ago
- Sources for the ANSI/ISO C Specification Language manual☆61Updated last week
- An auto-formatter for the Standard ML language☆23Updated 5 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆14Updated 7 years ago
- ☆26Updated 12 years ago
- Jane Street universe☆17Updated 5 years ago
- Tiny Lisp Interpreter Written in Ada☆31Updated 7 months ago
- miniKanren in OCaml☆31Updated 2 years ago
- LMNtal Compiler☆20Updated 5 months ago