Popular repositories Loading

1. QueryArrow QueryArrow Public

   A semantically unified SQL and NoSQL query and update system

   Haskell 18 1

2. namespace namespace Public

   A generic Haskell library for managing namespaces

   Haskell 3

3. FHIR-PIT FHIR-PIT Public

   Forked from ResearchSoftwareInstitute/datatrans

   Scala 3 3

4. erilex erilex Public

   An embedded domain specific language generator

   Java 2

5. CertifiedQueryArrow CertifiedQueryArrow Public

   Coq 1

6. semibounded-lattices semibounded-lattices Public

   A Haskell implementation of semibounded lattices

   Haskell 1 1