๐ฏ๐ต Made in Japan
Discover Japan's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Japan.
TOP OCaml Projects
gfngfn/SATySFi
A statically-typed, functional typesetting system
linoscope/CAMLBOY
A Game Boy emulator written in OCaml that runs in your browser ๐ซ ๐ฎ
akabe/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
gfngfn/Sesterl
An ML-like statically-typed Erlang
tategakibunko/jingoo
OCaml template engine almost compatible with jinja2
szktty/bran
A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
yutopp/rill
Statically typed system programming language for ๆ้ณฅ
garrigue/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
akabe/slap
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
yoshihiro503/ocamltter
ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interactively.
taikomatsu/SeExprMeshMaya
Polygon deformer node plugin for Maya that using Disney's SeExpr
dwango/fialyzer
[WIP] Faster Implementation of Dialyzer
keigoi/ocaml-mpst
Multiparty Session Types in OCaml
ushitora-anqou/aqaml
Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
qnighy/ipc_solver
O(N log N)-space IPC solver in OCaml
coord-e/mlml
self-hosted compiler for a subset of OCaml
UnixJunkie/parany
Parallelize _anything_ //
akabe/ocaml-numerical-analysis
Stand-alone programs for numerical analysis in OCaml
UnixJunkie/dolog
A dumb OCaml logger
keigoi/linocaml
Monad-based linear types in OCaml, with a few syntax extensions
masateruk/micro-caml
Program that translates OCaml into C language
keigoi/session-ocaml
An implementation of binary session types in OCaml
szktty/starlight
[WIP] Yet another Erlang implementation in Rust
garrigue/labltk
LablTk, an OCaml interface for Tcl/Tk
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
takahisa/finale
Invertible syntax for OCaml
amutake/actario
Verification Framework for Actor Systems on Coq
prg-titech/baccaml
Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
UnixJunkie/minicli
Minimalist OCaml library for command line parsing
ktahar/ocaml-lp
LP and MIP modeling in OCaml
kuy/reason-of-life
Conway's Lifegame in Reason + reason-react with webpack + bs-loader.
komamitsu/oraft
Library of Raft consensus algorithm implemented in OCaml
YouyouCong/ppl-summer-school-2022
UnixJunkie/daft
DAFT Allows File Transfers
UnixJunkie/bisec-tree
Bisector tree implementation in OCaml
dangtv/BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
toku-sa-n/coqfmt
Coq code formatter
akabe/ppx_bigarray
A PPX extension for big array literals in OCaml
garrigue/lablgl
LablGL: an openGL interface for OCaml
BYVoid/OCamlProblems
Solutions of Problems in OCaml
aigarashi/copl-tools
tools for the book "Concepts of Programming Languages"
UnixJunkie/ACPC
Chemoinformatics tool for ligand-based virtual screening
linoscope/caml8
A CHIP8 emulator written in OCaml
gfngfn/otfed
An OpenType font format encoder & decoder written in OCaml
ksk/Rho
Programs for checking the ฯ property
Nymphium/openai-ocaml
OCaml bindings for OpenAI API
hanazuki/miniml
Tiny ML interpreter
UnixJunkie/molenc
MolEnc: a molecular encoder using rdkit and OCaml.
nomaddo/loop
fetburner/compelib
็ซถใใญ็จใฉใคใใฉใช
kenichi-asai/Universe
The Universe Library for OCaml
krtx/ws-ocaml
WebSocket server implementation of OCaml
namachan10777/scad-ml
OpenSCAD DSL for OCaml
takahisa/featherweight-java
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
gfngfn/apbuf
Algebraic protocol buffers
lmdexpr/ocaml_jvm
for studying jvm
UnixJunkie/cpmlib
Classification and Regression Performance Metrics library
tategakibunko/lwt-websocket
ocaml lwt based websocket library
linoscope/okasaki-book-ocaml
Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
UnixJunkie/interval-tree
tree for float intervals
UnixJunkie/dokeysto
The dumb OCaml key-value store
keigoi/kmclib
0zat/webidl
Web IDL parser of OCaml
Suikaba/SelingerQuantumLambdaCalculus
Implementatoin of Selinger's Typed Quantum Lambda Calculus
nebuta/bucklescript-todomvc-jquery
BuckleScript TodoMVC using jQuery
zick/OCamLisp
Lisp implementation in OCaml
nebuta/bucklescript-jquery
BuckleScript binding for JQuery
krtx/lua-parser
Lua parser implemented in OCaml
henoc/bs-little-parser
Little parser combinator for BuckleScript or Reason
0zat/bs-dom
A DOM Library for BuckleScript
leque/dc-machine
a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
UnixJunkie/orxgboost
Gradient boosting for OCaml using the R xgboost package under the carpet
hemmi/coq2scala
keigoi/hlist-ocaml
Heterogeneously-typed lists for OCaml
susisu/est-ocaml
A simple command line tool for statistical calculation
UnixJunkie/bytearray
Efficient OCaml marshaling to and from bigarrays
ryo-imai-bit/Writing-An-Interpreter-In-Go-In-OCaml
InterpreterInGo In Ocaml
UnixJunkie/phashtbl
Minimalist persistent hashtbl OCaml library
numb86/learn-ocaml
ๆต ไบๅฅไธใใใญใฐใฉใใณใฐใฎๅบ็คใใงใใญใฐใฉใใณใฐใOCamlใๅญฆใถใ
UnixJunkie/lz4-chans
open/close binary channels with LZ4 compression in the background
garrigue/safeio
An encoding of file handles ensuring linear use
akabe/odoc-ltxhtml
OCamldoc custom generator to embed LaTeX equations in HTML documentation.
szktty/esca
Esca is an experimental strongly-typed language which compiles to Go.
masashi-y/abduction_kbc
UnixJunkie/genspir
Function to generate almost uniformly points on a sphere
UnixJunkie/orf
OCaml Random Forests
komamitsu/OCatra
Simple web server library for OCaml like Sinatra
ushitora-anqou/waq
Yet another ActivityPub server implementation written in OCaml
namachan10777/folivora
splited input device
UnixJunkie/consent
ligand-based virtual screening with consensus queries
keigoi/olt_ocaml
An encoding of Ordered Linear Types in OCaml
adrianmcli/rehydrate-workshop
A small collection of basic components built with Rehydrate ๐ง.
derui/okeyfum
yutopp/loga
Logging library for OCaml
UnixJunkie/hts_shrink
Reference implementation of the Distance-Based Boolean Applicability Domain for HTS datasets
UnixJunkie/fragger
A protein fragments picker
Nymphium/nloge
Logger with eio
akabe/ocaml-crf
A simple library for conditional random field (CRF) in OCaml
UnixJunkie/get_line
get line at index i from file f (a missing unix command); will crash early and loud if any problem on the contrary to awk