ocaml-lang Goto Github PK
Type: Organization
Type: Organization
A lightweight and colourful test framework
Code coverage for OCaml and ReScript
Compositional Verification of Composite Byzantine Protocols
Preprocessor / Pretty Printer for OCaml
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.
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
A Seamless, Interactive Tactic Learner and Prover for Coq
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
A composable build system for OCaml.
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
Essentials of Programming Languages, with OCaml implementations & Coq proofs
Adds static typing to JavaScript to improve developer productivity and code quality.
Hardcaml is an OCaml library for designing hardware.
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Irmin is a distributed database that follows the same design principles as Git
A Simple Profiling Library for OCaml
Audio and video streaming language
Lock-free data structures for multicore OCaml
Malfunctional Programming
Mathematical Components
Execute code blocks inside your documentation
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
moved from https://sourceforge.net/p/min-caml/code/
Modeling and Proving in Computational Type Theory
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
Reference implementation for Writing a C Compiler
The core OCaml system: compilers, runtime system, base libraries
An OCaml editor, top level, and learning place for iOS, iPadOS and macOS
An interval library for OCaml
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.