Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for ocaml gadt

gadt x
ocaml x
10 search results found
Tyre ⭐ 136
Typed Regular Expressions
Ke ⭐ 44
Fast implementation of queue in OCaml
Furl ⭐ 43
Formatted url
Tensority ⭐ 38
Strongly typed multidimensional array library for OCaml
Gmap ⭐ 38
heterogenous Map over a GADT
Z3overlay ⭐ 33
An overlay for the OCaml Z3 binding.
Olinq ⭐ 14
LINQ-like combinators for manipulating collections of in-memory data
Sqlite3_utils ⭐ 12
[beta] High-level wrapper around ocaml-sqlite3
Farfadet ⭐ 8
A printf-like for Faraday library
Styff ⭐ 7
A functional programming language based on system F (omega) ft. NbE and higher order unification
Gadtformat ⭐ 5
Type-safe Format using GADT in OCaml
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
Javascript Ocaml (181)
Reactjs Ocaml (168)
Ocaml Coq (163)
1-10 of 10 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.