kakadu Goto Github PK

llvm-ocaml-tutorial

The LLVM tutorial using OCaml

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

logger

Svn mirror of http://oops.math.spbu.ru/projects/logger/

logict-demos

Updated demos for a paper `Backtracking, Interleaving, and Terminating Monad Transformers`

makefile-topsort

getting targets from Makefile

marionnet

matmex-diploma-template

matrix-on-the-wall

megaclops

merlin

Context sensitive completion for OCaml in Vim and Emacs

microprolog

An implementation of a tiny logical Prolog-like language based on SLD-resolution

minikanren-experiments

Trying some code with different implementations of minikanren

minikanren-ocaml

miniKanren in OCaml

minikanren-vizualizer

miniopengl

mk-and-subtyping

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor

mtime

mtime backported for 4.02.2+multicore

multicore-opam

OPAM repo for OCaml multicore development

murlock

My old 1st OCaml code -- autoprover for 1st order language.

neznaju

Discontinued. Kate plugin for collaborated editing

nocanren

Translator from subset of OCaml to OCanren

oberon

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-c-interfaces

Examples of using OCaml to interface with C/C++ and vice-versa

ocaml-layer

Make your own OCaml base image for fast CI jobs

ocaml-lps-demo-issue147

A demo for https://github.com/ocaml/ocaml-lsp/issues/147

ocaml-lsp

OCaml Language Server Protocol implementation

ocaml-memgraph

A small library to output memory graph for ocaml values

ocaml-modular-implicits

OCaml extended with modular implicits