OCaml parsers (not compilers!) for (limited) regular expressions

Program do sprawdzenia poprawności dowodów formuł logicznych w systemie dedukcji naturalnej

An academic project where we developed an Expr compiler (a simple arithmetic language with support for lambda calculus, altough this last part is not yet fully implemented) and a Pfx virtual machine (a simple stack low level language).

Assignments under the Programming Languages Course

VS Code extension for syntax highlighting of few OCaml tools

DEPRECATED; use https://github.com/ocamllabs/vscode-ocaml-platform

OCaml code for Compiler Construction course at University of Cambridge

JSON parsers, implementations in Python and OCaml

Compiler for PCL language in OCaml using LLVM

A subset of Scheme

⚙ Compilation project - Polytech ET4 IT - Noted for S7 (2020)

An small OCaml interpreter written in Ocaml

Yet Another Imperative Programming Language - a fun project based on LLVM's Kaleidoscope

IMP is a small imperative programming language.

The OCaml-lite interpreter is a streamlined tool for parsing and executing OCaml-lite programs, offering insights into programming language interpretation with a focus on simplicity and educational value.

Simple Interpreter and Compiler for Natrix Language

Translate PDDL planning problems to touist

μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.

Small language for computing on Spreadsheets

Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.