Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for gadt
gadt
x
16 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
Leibniz
⭐
35
Leibniz equivalence and Liskov substitutability library for Scala.
Z3overlay
⭐
33
An overlay for the OCaml Z3 binding.
Refl
⭐
22
Provides a Refl encoding in Rust
Aeson Gadt Th
⭐
19
Template Haskell for generating ToJSON and FromJSON instances for GADTs
Olinq
⭐
14
LINQ-like combinators for manipulating collections of in-memory data
Tink_streams
⭐
13
Streams from the future. With lasers, of course ... whoaaaaa!!!!
Sqlite3_utils
⭐
12
[beta] High-level wrapper around ocaml-sqlite3
Farfadet
⭐
8
A printf-like for Faraday library
Strict Encoding
⭐
7
Protobufs for functional programming
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 Gadt (10)
Types Gadt (5)
Haskell Gadt (4)
1-16 of 16 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.