Isaac-DeFrain/simple-compiler Isaac-DeFrain/simple-compiler

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    OCaml
  • Created about 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Isaac-DeFrain/simple-compiler
github

Isaac-DeFrain

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

More Repositories

1

TLAplusFun

TLA+ questions, answers, and experiments
TLA
22
star
2

KFramework

RChain Rholang Implementation & Materials for learning K Framework
OCaml
8
star
3

model-based-trace-checking

Model-based trace-checking ✅ check the conformance of your implementation to your specification
Rust
5
star
4

dependent

An implementation of dependently typed lambda calculus
OCaml
4
star
5

liveness-checking

Liveness checking state machines without storing execution traces
OCaml
2
star
6

Todo

Todo list application built to explore different features of the OCaml language
OCaml
2
star
7

ProgrammingWithCategories

Following the Programming with Categories course Spring 2020 MIT
2
star
8

RChainResearch

Research materials for RChain
2
star
9

expenses

Command line program for producing expense reports
OCaml
2
star
10

Thompson

Regular expressions, NFAs, and DFAs
Haskell
1
star
11

mina-utils

Utilities for Mina Protocol
Python
1
star
12

node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p
OCaml
1
star