Pinned Repositories
dromedary
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
grace
A fancy diagnostics library that allows your compilers to exit with grace
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
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
University-Notes
A complete collection of my undergraduate notes
johnyob's Repositories
johnyob/grace
A fancy diagnostics library that allows your compilers to exit with grace
johnyob/dromedary
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
johnyob/University-Notes
A complete collection of my undergraduate notes
johnyob/ppx-template
An opinionated GitHub template for OCaml PPX extensions 🐪
johnyob/ppx-matches
PPX syntax for Rust's `matches!` in OCaml 🐪
johnyob/ocaml-optimizer
Implementation of various analyses and optimizations on 3-address codes
johnyob/tsc
Bidirectional type checker for TypeScript (in OCaml 🐪)
johnyob/ocaml-worker
OCaml template for Cloudflare Workers 👷♂️🐪
johnyob/dotfiles
btw I use nix
johnyob/modd
Modd is a minimal ML with modes using constraint-based type inference!
johnyob/breathalyzer
A simple test framework for Ligo Lang
johnyob/Camomile
A Unicode library for OCaml
johnyob/compbolt
An interpreter and compiler explorer for various models of computation
johnyob/core_kernel
Jane Street's standard library overlay (kernel)
johnyob/eio
Effects-based direct-style IO for multicore OCaml
johnyob/hermit-kernel
A Rust-based, lightweight unikernel.
johnyob/landmarks
A Simple Profiling Library for OCaml
johnyob/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
johnyob/nix-s3-cache-action
Build software only once and put it in a global cache
johnyob/ocaml
The core OCaml system: compilers, runtime system, base libraries
johnyob/ocaml-ci
A CI for OCaml projects
johnyob/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
johnyob/ocaml-typing-benchmark
Benchmarking the OCaml type checker
johnyob/opam-nix
Turn opam-based OCaml projects into Nix derivations
johnyob/opam-repository
Main public package repository for opam, the source package manager of OCaml.
johnyob/opam2nix
Nix integration for OPAM packages
johnyob/pp_loc
johnyob/ppx-effects
PPX syntax for untyped effects in OCaml 5.0
johnyob/training-dapp-2
Training n°2 for decentralized application
johnyob/website
My personal website built in OCaml using Dream 🐫