johnyob Goto Github PK

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-0cfa

Implementation of 0CFA in OCaml using Applicative Constraints

ocaml-amb

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

ocaml-ci

A CI for OCaml projects

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-fix

ocaml-migrate-types

Convert OCaml Types between different major versions

ocaml-non-empty-list

A non empty list library for OCaml

ocaml-optimizer

Implementation of various analyses and optimizations on 3-address codes

ocaml-raytracer

A simple OCaml Raytracer

ocaml-typing-benchmark

Benchmarking the OCaml type checker

ocaml-worker

OCaml template for Cloudflare Workers 👷‍♂️🐪

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

ocr-physics-notes

My personal A-Level physics notes

opam-nix

Turn opam-based OCaml projects into Nix derivations

opam-repository

Main public package repository for opam, the source package manager of OCaml.

opam2nix

Nix integration for OPAM packages

pp_loc

ppx-effects

PPX syntax for untyped effects in OCaml 5.0

ppx-matches

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

ppx-open

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

ppx-template

An opinionated GitHub template for OCaml PPX extensions 🐪

pseudo

A interpreted programming language that follows the syntax for CIE pseudocode

qasm

A very simple quantum assembler

qcheck

QuickCheck inspired property-based testing for OCaml.

qjcr-welfare-bot

QJCR Discord Welfare Bot

quantum-computer-simulator

A Quantum Computer Simulator written in Python

sexplib0

Library containing the definition of S-expressions and some base converters

skeleton-cli

A simple modular command line interface skeleton program

slang

OCaml code for Compiler Construction course at University of Cambridge