makam
Language prototype builder
A tool for rapid language prototyping with a modular and concise type system based on higher-order logic programming.
The Makam Metalanguage
194 stars
10 watching
11 forks
Language: OCaml
last commit: over 1 year ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rusini/manool | A language designed to help developers create prototype code quickly and then refactor it into production-ready code | 62 |
 storyyeller/cubiml-demo | A language prototype with subtyping and type inference for teaching cubic biunification algorithms | 163 |
 thomasmueller/bau-lang | A new programming language designed to address common issues in existing languages, focusing on memory safety and performance. | 13 |
 tmattio/spin | Generates OCaml project templates with standardized configurations and conventions. | 295 |
 ocaml/dune | A build system that automates the process of compiling and packaging OCaml projects | 1,635 |
 plumatic/om-tools | A library of utility macros and tools for building Om components with ClojureScript | 436 |
 kordamp/gm | Automated build tool wrapper for various project builders | 59 |
 johnwhitington/ocaml-main-program-in-c | A tool for building mixed C/Ocaml binaries where the main program is in C. | 16 |
 eudoxia0/asdf-linguist | A set of extensions to the ASDF build system for compiling and preprocessing various languages and tools. | 34 |
 jin/rules_ocaml | Provides Bazel build rules for OCaml programming language | 37 |
 milancermak/graffiti | A Cairo-based library for building XML documents with a focus on flexibility and ease of use | 8 |
 kambrium/dssg | A static site generator that allows flexible creation of web pages using templates and metadata stored in TOML files | 20 |
 andrejbauer/plzoo | A collection of miniature programming language implementations demonstrating various techniques used in language implementation. | 1,460 |
 kcmvp/gob | Solves the problem of repetitive initialization process when starting new Golang projects by providing a tool and framework for efficient project setup and management. | 11 |
 marcopennekamp/lore | A general-purpose programming language with multi-functions, structs, traits, and a static type system for functional and imperative programming. | 17 |