Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Repository Index
70,234 visible repositories in the index
1–17 of 17 · Most stars
A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
- python
- pre-commit
- linter
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
Reason bindings for ReactJS
- react
- reasonml
- melange
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
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
Jmeter as code is the easy way to write jmeter test as code.
- jmeter
- java
- performance-testing
- performance
A modern, template-based, open source data transformation language
Erlang PortAudio bindings
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
📅 An esoteric programming language for no reason whatsoever.
- esoteric-language
- esoteric-programming-language
- esolang
- esolangs