Mimi language: contract-verified systems programming with LLVM codegen, Z3 verification, and structured concurrency
-
Updated
Sep 7, 2026 - Rust
Mimi language: contract-verified systems programming with LLVM codegen, Z3 verification, and structured concurrency
A simple interpreted programming language developed in Rust. Name comes from "eval is evil".
FASM Examples and Learning Repository
Turing complete programming language and interpreter
A simple racket interpreter written in C#
Language interpreter for "PolyAML: A Polymorphic Aspect-oriented Functional Programming Language" at ACM International Conference on Functional Programming
Language interpreter and security case study for "Harmless Advice" at ACM Principles of Programming Languages
Language Interpretation and Recognition Interface: LIRI is a command line node.js app that takes in parameters and gives you back data
A simple language interpreter for didactic purposes.
Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.
Project developed in the scope of the subject Laboratórios de Informática II (Computer Laboratories II) in the 2nd semester of the 1st year of my degree.
##HOMEWORK## A Language Interpretation and Recognition Iterface
BASIC language parser and interpreter for the cloud!
Soluzione del progetto di Linguaggi e Compilatori 1
CS 280 Assignment 4 Language Interpreter
LIRI is a Language Interpretation and Recognition Interface
Finished version of a kawa emulator (schema interpreter) program I wrote in python
To associate your repository with the language-interpreter topic, visit your repo's landing page and select "manage topics."