https://github.com/rishit7/toy-lang

A Simple Toy language made in Prolog and OCaml
https://github.com/rishit7/toy-lang

krivine-machine ocaml prolog secd toy-language

Last synced: 16 days ago
JSON representation

A Simple Toy language made in Prolog and OCaml

• Host: GitHub
• URL: https://github.com/rishit7/toy-lang
• Owner: RISHIT7
• Created: 2024-02-16T12:16:07.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2024-03-25T10:49:44.000Z (10 months ago)
• Last Synced: 2024-11-12T12:04:53.004Z (3 months ago)
• Topics: krivine-machine, ocaml, prolog, secd, toy-language
• Language: OCaml
• Homepage:
• Size: 14.6 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Toy Language in Prolog and OCaml

Welcome to the Toy Language repository! This project implements a simple toy language using Prolog and OCaml. The goal is to provide a basic understanding of language design and interpretation in the context of Prolog and Ocaml.

## Features

- **Minimalistic Language:** The toy language is deliberately kept simple to illustrate the basics of language design and interpretation.

- **Prolog Implementation:** The language interpreter is implemented in Prolog, showcasing how Prolog can be used for tasks beyond traditional logic programming.

- **OCaml Implementation:** The language interpreter implemented in OCaml has a few more functionalities as parallel, sequential, and local definitions.