johnyob/ocaml-optimizer johnyob/ocaml-optimizer

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
johnyob/ocaml-optimizer
github

johnyob

Reviews

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

Repository Details

Implementation of various analyses and optimizations on 3-address codes

More Repositories

1

dromedary

Dromedary is an experimental subset of OCaml, using constraint-based type inference!
OCaml
40
star
2

University-Notes

A complete collection of my undergraduate notes
19
star
3

ppx-open

A ppx rewriter that provides idiomatic selective `open`s in OCaml.
OCaml
9
star
4

ppx-template

An opinionated GitHub template for OCaml PPX extensions 🐪
OCaml
7
star
5

tsc

Bidirectional type checker for TypeScript (in OCaml 🐪)
OCaml
5
star
6

ppx-matches

PPX syntax for Rust's `matches!` in OCaml 🐪
OCaml
4
star
7

Skeleton-CLI

A simple modular command line interface skeleton program
Python
3
star
8

ocaml-non-empty-list

A non empty list library for OCaml
OCaml
3
star
9

ocaml-amb

A monadic implementation of John McCarthy's `amb` (choice operator)
OCaml
2
star
10

QASM

A very simple quantum assembler
Python
2
star
11

Turing-Machine-Simulator

A simple Python Turing machine simulator with an "infinite" tape
Python
2
star
12

ocaml-worker

OCaml template for Cloudflare Workers 👷‍♂️🐪
OCaml
2
star
13

Ascii-Table

A simple json to ascii table Python package.
Python
2
star
14

Quantum-Computer-Simulator

A Quantum Computer Simulator written in Python
Python
2
star
15

Tiny-OS

Tiny operating system for my Caml-OS project
C
1
star
16

OCR-Physics-Notes

My personal A-Level physics notes
TeX
1
star
17

Algo-Crate

Collection of implementations of standard algorithms and datastructures
Python
1
star
18

Pseudo

A interpreted programming language that follows the syntax for CIE pseudocode
Python
1
star
19

AppSync-Gremlin

A library for AppSync resolvers and Gremlin traversals
Python
1
star