Tool to format SATySFi code.
-
Updated
Jan 7, 2023 - OCaml
Tool to format SATySFi code.
This is an interpreter written in OCaml for a subset of Prolog instruction set.
A collection of assignments done in COL226 - Programming Languages
Consists of a Functional language as well as an Imperative language, implemented using Ocaml
I have implemented a small language for computing on spreadsheets(similar to Excel Sheet).
Designed and Implemented a simplified version of a Logic Programming interpreter in OCaml.
Add a description, image, and links to the lexer-parser topic page so that developers can more easily learn about it.
To associate your repository with the lexer-parser topic, visit your repo's landing page and select "manage topics."