johnyob/dromedary

Stars
40
Rank 680,660 (Top 14 %)
Language
OCaml
License
MIT License
Created about 3 years ago
Updated over 1 year ago

johnyob/dromedary

johnyob

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

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

University-Notes

A complete collection of my undergraduate notes

ppx-open

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

ppx-template

An opinionated GitHub template for OCaml PPX extensions 🐪

tsc

Bidirectional type checker for TypeScript (in OCaml 🐪)

ocaml-optimizer

Implementation of various analyses and optimizations on 3-address codes

ppx-matches

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

Skeleton-CLI

A simple modular command line interface skeleton program

ocaml-non-empty-list

A non empty list library for OCaml

ocaml-amb

A monadic implementation of John McCarthy's `amb` (choice operator)

QASM

A very simple quantum assembler

Turing-Machine-Simulator

A simple Python Turing machine simulator with an "infinite" tape

ocaml-worker

OCaml template for Cloudflare Workers 👷‍♂️🐪

Ascii-Table

A simple json to ascii table Python package.

Quantum-Computer-Simulator

A Quantum Computer Simulator written in Python

Tiny-OS

Tiny operating system for my Caml-OS project

OCR-Physics-Notes

My personal A-Level physics notes

Algo-Crate

Collection of implementations of standard algorithms and datastructures

Pseudo

A interpreted programming language that follows the syntax for CIE pseudocode

AppSync-Gremlin

A library for AppSync resolvers and Gremlin traversals