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:
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Updated 2 years ago
- Pure OCaml implementation of the D-Bus protocol☆34Updated last year
- OCaml support for Flycheck using Merlin☆22Updated last year
- The new home of OMake - docs, downloads, mailing list etc. see:☆67Updated last month
- OCamlOScope 2 : OCaml API search☆43Updated 8 years ago
- A new Unicode library for OCaml☆34Updated 11 years ago
- S-expression swiss knife☆47Updated 3 weeks ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated 3 weeks ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆26Updated 3 years ago
- The Universe Library for OCaml☆14Updated 6 years ago
- ☆30Updated 4 months ago
- Plan9 software ported to OCaml☆35Updated this week
- GNU Guile Scheme bindings for OCaml☆17Updated 3 years ago
- OCaml IRC client library☆52Updated 2 years ago
- ☆19Updated 8 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Program that translates OCaml into C language☆38Updated 10 years ago
- [WIP] Pure OCaml bindings to the X11 protocol☆24Updated 3 months ago
- Jane Street universe☆17Updated 5 years ago
- Formally verified, bounded-stack XML library☆24Updated 5 years ago
- Stub code generator for OCaml/C interface☆36Updated 4 months ago
- OCaml/MPI interface☆26Updated 11 months ago
- Notes of Programming Languages☆11Updated last year
- LablTk, an OCaml interface for Tcl/Tk☆37Updated 10 months ago
- A simple photo gallery webapp☆15Updated 4 years ago
- Coq plugin for monomorphization and C code generation☆35Updated 3 weeks ago
- N2O: Standard ML Application Server☆18Updated 4 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 6 years ago
- literate programming meets unison☆29Updated 3 months ago