Repository Index

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

The only reasonable scripting engine for Go.

• interpreter
• prolog
• golang
• go

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

ReScript bindings for Formidable's Universal React Query Library, urql.

• reasonml
• graphql
• reasonreact
• bucklescript

Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

📅 An esoteric programming language for no reason whatsoever.

• esoteric-language
• esoteric-programming-language
• esolang
• esolangs