Rocqet proof language

Bootstrap Kubernetes the hard way. No scripts.

List of CS and Finance exploratory programs, underclassmen internships, interview prep, scholarships, part-time internships, mentorship programs, and more!

Library for declaratively building software-defined modular synthesizers in OCaml

Documentation compiler for OCaml

Concurrently chat with ChatGPT, Bing Chat, Bard, Alpaca, Vicuna, Claude, ChatGLM, MOSS, 讯飞星火, 文心一言 and more, discover the best answers

A web interface & API to take screenshots of website.

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

User-agent and referer parser for HTTP queries.

Auditively feel the work of the runtime

A PaaS workflow with GitOps / ChatOps features that supports DO K8S, VPC, Spaces, LetEncrypt TLS, Container Registry & CDN via CDKTF

A PaaS workflow with GitOps / ChatOps features that supports ECS, Fargate, Aurora, SQS, Redis, Autoscaling via CDK

Examples of simple MirageOS apps

Paste-eur as unikernel

HTML 5 canvas implementation of Mario written in Ocaml

A library for manipulating, creating and parsing GeoJSON

A collection of awesome things regarding Reason/OCaml ecosystem.

A simple note-taking app

Visual Studio Code extension for OCaml notebooks

A scalable, distributed, collaborative, document-graph database, for the realtime web