ocaml
Repositories (1377)
Plex programming language
Canary is a tool for automatically reporting runtime exceptions to issue trackers in OCaml projects.
Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).
Bazel rules for OPAM support
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html
Testing various Irmin backends in the browser
A GraphQL server prototyped in many languages
Ocaml code from the book by Cousineau and Mauny (1998)
scrumdog: Utility to export Jira Issues to SQLite database
OCaml Nes Emulator
Shell-like programming for OCaml
Dropbox v2 API bindings
A BuckleScript syntax extension to resemble Javascript's async/await
slowly going through the "Real World Ocaml" book, but using Caramel
Lwt-based module for reading binary numbers
Lazy streams for OCaml
API + Telegram bot + SPA for Dota 2 hero voicelines
Benchmarks for various system operations in OS X with Swift, Go, C, and OCaml
Data-Centric Widgets for Eliom
Reasonml Api rest
Build a tree of conflict dependencies in your Droppbox folder
Red Black trees (as well as linked lists and ordered binary trees) in OCaml
Useful utility functions for writing Coq plugins
DRYlib for OCaml.
BuckleScript via nix made easy
Intl bindings for Bucklescript
A collection of novice interactions with the OCaml top-level.
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
Convert random byte vectors to numbers
2048 in OCaml
Solutions for Advent of Code 2020
Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
Pretty printer for jbuilder's jbuild files
[bench] benchmark of various iterator implementations
An experimental Scheme
λ Dynamically Typed, Interpreted Functional Programming Language
[toy] ocaml client for gemini
Wildcard matching of DNS labels, and a tree structure with associated data
Fire-Emblem is a recreation of the game boy game for my 3110 final project. It was worked on by 4 people and was completed over 250+ hours. It is enti...
A simple command to show the graph of dependencies of a package.
SCGI protocol library for use in ocaml web applications
TKTDD in OCaml
Esoteric programming language inspired by a certain Romanian lecturer
simple webfrontend for mpv, the media player
Case-insensitive, accent-insensitive search in Latin UTF strings and databases.
PROJ.4 bindings for OCaml
A useless ppx extension
Ruby String#blank? in OCaml