Select languages
Just click on one of the languages to switch to it.
Repository Created on February 17, 2011, 5:49 am
OCaml 4065 594
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.
Last updated on February 7, 2023, 1:34 pm
Repository Created on March 10, 2013, 6:43 am
Static types for JSON APIs
Last updated on February 6, 2023, 2:54 pm
Repository Created on October 30, 2016, 6:42 pm
OCaml 1306 335
A composable build system for OCaml.
Last updated on February 7, 2023, 12:50 pm
Repository Created on January 26, 2015, 11:19 am
A static analyzer for Java, C, C++, and Objective-C
Last updated on February 7, 2023, 2:44 pm
Repository Created on November 21, 2018, 1:17 pm
The Stan transpiler (from Stan to C++ and beyond).
Last updated on January 19, 2023, 1:25 pm
Repository Created on October 28, 2014, 5:17 pm
OCaml 21940 1872
Adds static typing to JavaScript to improve developer productivity and code quality.
Last updated on February 7, 2023, 5:32 pm
Repository Created on May 28, 2014, 4:18 am
Keep Track of Experimental Workflows
Last updated on July 27, 2022, 9:59 pm
Repository Created on November 15, 2014, 10:14 am
minimalistic secure XMPP client in OCaml
Last updated on January 26, 2023, 11:38 pm
Repository Created on April 12, 2018, 3:20 pm
✨Cross-platform set of tools for building native UIs with Reason/OCaml
Last updated on January 2, 2023, 11:36 pm
Repository Created on April 25, 2017, 4:26 am
:diamond_shape_with_a_dot_inside: Converts Flow and TypeScript definitions to Reason interfaces
Last updated on November 25, 2022, 4:12 pm
Repository Created on January 6, 2016, 8:34 pm
The compiler for ReScript.
Last updated on February 7, 2023, 2:03 pm
Repository Created on June 25, 2017, 10:00 am
Testing and benchmarking tool for logic-related programs.
Last updated on January 12, 2023, 3:19 pm
Repository Created on May 24, 2018, 12:19 pm
A language server for reason, in reason
Last updated on November 9, 2022, 6:00 pm
Repository Created on December 2, 2019, 11:43 am
Visual Studio Code extension for OCaml
Last updated on January 29, 2023, 8:50 am
Repository Created on February 10, 2016, 6:38 pm
Connect processes into powerful data pipelines with a simple git-like filesystem interface
Last updated on February 1, 2023, 6:44 pm
Repository Created on December 25, 2020, 7:58 pm
Organ Procurement Transplant System for "We, The People" developed using publicly available information about Organ Transplant & cutting edge medical research.
Last updated on December 30, 2022, 5:08 am
Repository Created on November 23, 2011, 6:00 am
C-style preprocessor for OCaml
Last updated on February 6, 2023, 3:51 am
Repository Created on September 10, 2016, 9:00 pm
Bamboo see https://github.com/cornellblockchain/bamboo
Last updated on January 25, 2023, 7:14 am
Repository Created on November 23, 2011, 5:51 am
Low-level JSON parsing and pretty-printing library for OCaml
Last updated on January 29, 2023, 2:04 pm
Repository Created on May 6, 2018, 2:34 pm
A programming language with first-class modules and algebraic effects.
Last updated on January 10, 2023, 1:50 am
Repository Created on December 21, 2017, 1:44 pm
A pure OCaml PostgreSQL client library
Last updated on November 22, 2022, 5:41 pm
Repository Created on December 6, 2016, 4:55 pm
Lock-free data structures for multicore OCaml
Last updated on February 2, 2023, 4:10 pm
Repository Created on January 11, 2016, 7:12 pm
Generated OCaml bindings for Amazon Web Services
Last updated on December 18, 2022, 10:42 am
Repository Created on February 22, 2019, 6:55 pm
API for Coq using SerAPI
Last updated on January 6, 2021, 5:49 pm
Repository Created on July 4, 2014, 4:40 am
OCaml bindings to the GSL (GNU Scientific Library).
Last updated on December 13, 2022, 1:39 pm
Repository Created on October 9, 2017, 9:34 am
Auto-formatter for OCaml code
Last updated on February 4, 2023, 8:54 am
Repository Created on August 16, 2017, 3:09 pm
OCaml Build Infrastructure
Last updated on October 3, 2021, 12:41 pm
Repository Created on September 16, 2018, 5:12 pm
Owl's Differential Equation Solvers
Last updated on February 4, 2023, 1:50 am