johnyob Goto Github PK

agda-desc

A library for generic programming with indexed functors.

agda-sigma

An Agda implementation of the sigma algebra

agda-types

Various musings about type theory in Agda

agda-union

An implementation of open unions and polymorphic variants in Agda

alexa-skills

A Python Alexa Skills Package

algo-crate

Collection of implementations of standard algorithms and datastructures

algorithm-database

Project used to scrape algorithms from wikipedia and automatically link them with their respective scraped implementations

appsync-gremlin

A library for AppSync resolvers and Gremlin traversals

aqa-assembly-simulator

A simple virtual machine for the AQA assembly instruction set

ascii-table

A simple json to ascii table Python package.

aurora-connector

A Python AWS Aurora Serverless Connector

base

Standard library for OCaml

breathalyzer

A simple test framework for Ligo Lang

cambridge-java-exercises-ia

My solutions to the java exercises

cambridge-nst-workbook

My solutions to the NST workbook

camomile

A Unicode library for OCaml

compbolt

An interpreter and compiler explorer for various models of computation

computer-algebra-system

A computer algebra system implemented in Java

core

Jane Street Capital's standard library overlay

core_kernel

Jane Street's standard library overlay (kernel)

dromedary

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

eio

Effects-based direct-style IO for multicore OCaml

grace

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

hackmud

Scripts for hackmud

lambda-rs

A simple lambda calculus interpreter in Rust

landmarks

A Simple Profiling Library for OCaml

linol

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

lwt

OCaml promises and concurrent I/O

mediawiki-api-js

modd

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