#

toy-language

Here are 5 public repositories matching this topic...

bbc2 / mini-android

Static analyzer for Android-like applications

android ocaml toy-language research-project static-analyzer

Updated Sep 14, 2014
OCaml

bbc2 / vsl-interpreter

Interpreter for VSL+

interpreter ocaml toy-language

Updated Aug 6, 2014
OCaml

RISHIT7 / Toy-Lang

A Simple Toy language made in Prolog and OCaml

ocaml prolog toy-language secd krivine-machine

Updated Mar 25, 2024
OCaml

wllqwzx / LinearLang

LinearLang is a programming language based on linear type system that ensures memory safety.

programming-language toy-language memory-safety type-system substructural-logics linear-type

Updated Jun 12, 2017
OCaml

kkd26 / semantics-and-typing

Collection of simple toy languages written in OCaml

semantics ocaml typing toy-language

Updated Jun 10, 2021
OCaml

Improve this page

Add a description, image, and links to the toy-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the toy-language topic, visit your repo's landing page and select "manage topics."