Beast code in Giters

dinosaur's starred repositories

kyuubi

Apache Kyuubi is a distributed and multi-tenant gateway to provide serverless SQL on data warehouses and lakehouses.

Language:ScalaApache-2.0197800

pekko

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

Language:ScalaApache-2.0110000

dream

Tidy, feature-complete Web framework

Language:OCamlMIT153700

pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

NOASSERTION18600

mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Language:OCamlApache-2.0195900

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlMIT62000

vscode-ocaml-platform

Visual Studio Code extension for OCaml

Language:OCamlISC33000

spin

OCaml project generator.

Language:OCamlISC29700

reason-react

Reason bindings for ReactJS

Language:ReasonMIT323000

reason

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

Language:OCamlMIT1006900

rescript-compiler

The compiler for ReScript.

Language:OCamlNOASSERTION654500

ocaml-matplotlib

Plotting for ocaml based on matplotlib.pyplot

Language:OCamlMIT3000

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1466800