Interactive interpreter, for the recursive SECD machine.

Self-made functional compiler for fun. Uses SECD as intermediate language.

MiniML reimplemented in Rust. Self-made functional compiler for fun.

Programming Languages Zoo

Alchemy 2 - Inference and Learning in Markov Logic

The PragmAda Reusable Components

OCaml - Oxidized!

Typed effects API for OxCaml

ONgDB is an independent fork of Neo4j® Enterprise Edition version 3.4.0.rc02 licensed under AGPLv3 and/or Community Edition licensed under GPLv3

Design discussions about the OCaml language

Graphs for Everyone

high-performance graph database for real-time use cases

Port of Aleph to SWI-Prolog

The Twelf Programming Language

A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

open64 compiler

A curated list of awesome JIT frameworks, libraries, software and resources

Lexer and parser generators for Standard ML, OCaml, and Haskell.

A basic library of algorithms and data structures (a la NJlib)

Standard ML Compiler and Toolkit

The Vampire Theorem Prover

Polynomial-time Meta-Interpretive Learning

GCC Plugin

Prolog benchmarks (`van Roy' set)

A modern Prolog implementation written mostly in Rust.

FsHlvm is a cross-platform open-source high level virtual machine written in F# and uses the LLVM library for high-performance code generation.

High-Level Virtual Machine for statically-typed functional languages.

WIP fork of dotnet coreclr for OpenBSD

smolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs