Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml definition
definition
x
ocaml
x
33 search results found
Ott
⭐
318
The Ott tool for writing definitions of programming languages and calculi
Cmdliner
⭐
243
Declarative definition of command line interfaces for OCaml
Routes
⭐
130
typed bidirectional router for OCaml/ReasonML web applications
Lem
⭐
120
Lem semantic definition language
Ppx_deriving_protobuf
⭐
74
A Protocol Buffers codec generator for OCaml
Ocaml Yaml
⭐
70
OCaml interface to the YAML 1.1 spec
Mlml
⭐
41
self-hosted compiler for a subset of OCaml
Any Dl
⭐
40
any-dl: generic mediathek-downloader ("generic" means, you also can call it "scrapertool")
Polygen
⭐
37
The famous random sentence generator.
Definitelymaybetyped
⭐
35
TypeScript to js_of_ocaml
Piqi Ocaml
⭐
35
Protocol Buffers, JSON, XML data serialization system for OCaml
Chapar
⭐
32
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Ocaml Swagger
⭐
32
Swagger 2.0 code generator for OCaml
Stdcompat
⭐
26
Stdcompat: compatibility module for OCaml standard library
Real World Idris
⭐
25
Malfunction backend for Idris with a FFI to OCaml
Suzu
⭐
22
A minimal object-oriented programming language supporting local methods.
Ppx_compare
⭐
21
Generation of comparison functions from types
Ctypes_of_clang
⭐
18
Convert C-code to OCaml Ctypes via Clang
Polygen
⭐
14
PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules. It takes a text file as source program defining a grammar by means of BNF-like rules and executes it, eventually showing the result. Here a source program is a grammar definition, the execution consists in the exploration of such grammar by selecting a random path and the result is the sentence built on the way.
Ppx_hash
⭐
14
A ppx rewriter that generates hash functions from type expressions and definitions
Merydef
⭐
13
Keyword highlighting definition for Mery
Ppx_factory
⭐
12
OCaml preprocessor to derive factory methods and default values from type definitions
Atd2cconv
⭐
9
Convert Atd descriptions to pure OCaml that uses the CConv library
Vim Menhir
⭐
8
A Vim syntax-definition for .mly files and the Menhir parser-generator
Hardcaml_xilinx_components
⭐
8
Hardcaml Xilinx component definitions
Semaphore Compat
⭐
8
Either
⭐
7
Compatibility module for Either in OCaml 4.12
Clim
⭐
7
Generates cmdliner definitions from types.
Esca
⭐
7
Esca is an experimental strongly-typed language which compiles to Go.
Ts2reason
⭐
6
Automatic generation of ReasonML bindings using TypeScript definitions.
Fitch
⭐
6
Certified proof checker for Fitch-style propositional logic proofs
Ocaml Light
⭐
6
Monadification
⭐
5
Coq plugin for monadification
Related Searches
Javascript Definition (1,592)
Python Definition (981)
Typescript Definition (908)
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
1-33 of 33 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.