Alistair (johnyob)

johnyob

Geek Repo

Company:TriliTech

Location:United Kingdom

Github PK Tool:Github PK Tool

Alistair's repositories

grace

A fancy diagnostics library that allows your compilers to exit with grace

Language:OCamlLicense:MITStargazers:70Issues:2Issues:14

dromedary

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

Language:OCamlLicense:MITStargazers:45Issues:3Issues:17

University-Notes

A complete collection of my undergraduate notes

License:MITStargazers:27Issues:2Issues:0

ppx-template

An opinionated GitHub template for OCaml PPX extensions 🐪

Language:OCamlLicense:MITStargazers:8Issues:2Issues:0

ppx-matches

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

Language:OCamlLicense:MITStargazers:5Issues:2Issues:0

ocaml-optimizer

Implementation of various analyses and optimizations on 3-address codes

Language:OCamlStargazers:4Issues:3Issues:0

tsc

Bidirectional type checker for TypeScript (in OCaml 🐪)

Language:OCamlLicense:MITStargazers:4Issues:2Issues:0

ocaml-worker

OCaml template for Cloudflare Workers 👷‍♂️🐪

Language:OCamlLicense:MITStargazers:2Issues:2Issues:0

modd

Modd is a minimal ML with modes using constraint-based type inference!

Language:OCamlLicense:MITStargazers:1Issues:2Issues:0

breathalyzer

A simple test framework for Ligo Lang

License:MITStargazers:0Issues:0Issues:0

Camomile

A Unicode library for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

compbolt

An interpreter and compiler explorer for various models of computation

License:MITStargazers:0Issues:0Issues:0

core_kernel

Jane Street's standard library overlay (kernel)

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

eio

Effects-based direct-style IO for multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

hermit-binutils

A fork of binutils supporting Hermit OS

License:GPL-2.0Stargazers:0Issues:0Issues:0
License:GPL-2.0Stargazers:0Issues:0Issues:0

hermit-kernel

A Rust-based, lightweight unikernel.

License:Apache-2.0Stargazers:0Issues:0Issues:0

landmarks

A Simple Profiling Library for OCaml

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

Language:OCamlStargazers:0Issues:1Issues:0

ocaml

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

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ocaml-ci

A CI for OCaml projects

Language:OCamlStargazers:0Issues:1Issues:0

ocaml-cohttp

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-typing-benchmark

Benchmarking the OCaml type checker

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:3Issues:0

opam-nix

Turn opam-based OCaml projects into Nix derivations

License:MITStargazers:0Issues:0Issues:0

opam-repository

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

Language:ShellLicense:CC0-1.0Stargazers:0Issues:2Issues:0

opam2nix

Nix integration for OPAM packages

License:MITStargazers:0Issues:0Issues:0
Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

ppx-effects

PPX syntax for untyped effects in OCaml 5.0

Language:OCamlStargazers:0Issues:1Issues:0

training-dapp-2

Training n°2 for decentralized application

Language:TypeScriptStargazers:0Issues:1Issues:0

website

My personal website built in OCaml using Dream 🐫

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0