Highlights
Stars
Dafny is a verification-aware programming language
EMUX Firmware Emulation Framework (formerly ARMX)
A dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.
Implementation of Raft consensus algorithm
Master programming by recreating your favorite technologies from scratch.
Gitea Mirror auto-syncs GitHub repos to your self-hosted Gitea/Forgejo, with a sleek Web UI and easy Docker deployment.
An engine for displaying slips, the next-gen version of slides
🤖 The DX-first framework for Discord bots.
🕵️♂️ A tool that lets you find the first commit(ter) of any public GitHub repository.
A simple unikernel to serve files via HTTP in full OCaml
🕸️ Types and functions for HTTP clients and servers!
Luxoria is a powerful all-in-one photography solution designed to boost your workflow
⭐️ A friendly language for building type-safe, scalable systems!
Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minimal bundle size for js_of_ocaml.
A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.
This repository contains the official implementation of "FastVLM: Efficient Vision Encoding for Vision Language Models" - CVPR 2025
Library for binding to C libraries using pure OCaml
TCP-only pastebin-like service with Proof-of-Work
OCaml bindings to Anthropic's language model APIs
Generate json schema from ocaml type
The open-source CapCut alternative
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Programmatically start (AI) sandboxes on top of CodeSandbox
A K-means clustering based image compressor in OCaml
A prototype to write blog posts with executable ocaml code blocks