Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml dsl
dsl
x
ocaml
x
16 search results found
Fstar
⭐
2,522
A Proof-oriented Programming Language
Petrol
⭐
85
Petrol's an OCaml SQL API made to go FAST.
Functoria
⭐
63
A DSL to invoke otherworldly functors
Conan
⭐
43
Like detective conan, find clue about the type of the file
Goji
⭐
35
An OCaml bindings generator for JavaScript libraries
Llama
⭐
31
Library for declaratively building software-defined modular synthesizers in OCaml
Easyuc
⭐
27
Experiments with Universal Composability in EasyCrypt
Algoml
⭐
20
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
Modelyze
⭐
10
Modelyze: A host language for modeling and analysis of cyber-physical systems
Pagelayout
⭐
7
An attempt at a desktop publishing/typesetting DSL in ReasonML
Iplogic
⭐
7
A DSL for generating iptables firewall scripts.
Dsl4sc
⭐
6
LDL-based DSL for statechart generation and verification
Melange Seawar
⭐
5
Typeset Ocaml
⭐
5
An embedded DSL for defining source code pretty printers implemented in OCaml
Cage
⭐
5
Apidsl
⭐
5
DSL for C APIs to aid consistency of naming schemes and comments.
Related Searches
Ruby Dsl (1,239)
Java Dsl (660)
Kotlin Dsl (630)
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
1-16 of 16 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.