OCaml project generator.

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Nanopass for OCaml

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

Chez Scheme

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.

A collection of resources for learning type theory and type theory adjacent fields.

A curated list of awesome Coq frameworks, libraries and software.

mal - Make a Lisp

Cool open source projects. Choose your project and get involved in Open Source development now.

The Eta Programming Language, a dialect of Haskell on the JVM

A functional standard library for Python.

Programming Languages Zoo

Program learning to play Flappy Bird by machine learning (Neuroevolution)

Automatic extraction of relevant features from time series:

Owl - OCaml Scientific Computing @ https://ocaml.xyz

The compiler for ReScript.

A sandboxed execution environment for unikernels

(DEPRECATED) Documentation generation for OCaml

Security Guide for Developers (实用性开发人员安全须知)

A port of Coq to Javascript -- Run Coq in your Browser

Mindless, verified (erasably) coding using dependent types, phase 2

A language that compiles to Bash and Windows Batch

Implementations of various type systems in OCaml.

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

📝 A curated list of awesome programming subreddits.

Mindless, verified (erasably) coding using dependent types

Work-in-Progress collection of examples of using MirageOS from OCaml

Programming Language Theory λΠ