๐ฏ๐ต 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
keigoi/ocaml-mpst
Multiparty Session Types in OCaml
dwango/fialyzer
[WIP] Faster Implementation of Dialyzer
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
takahisa/finale
Invertible syntax for OCaml
garrigue/labltk
LablTk, an OCaml interface for Tcl/Tk
amutake/actario
Verification Framework for Actor Systems on Coq
gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
komamitsu/oraft
Library of Raft consensus algorithm implemented in OCaml
UnixJunkie/minicli
Minimalist OCaml library for command line parsing
kuy/reason-of-life
Conway's Lifegame in Reason + reason-react with webpack + bs-loader.
ktahar/ocaml-lp
LP and MIP modeling in OCaml
prg-titech/baccaml
Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
YouyouCong/ppl-summer-school-2022
UnixJunkie/daft
DAFT Allows File Transfers
UnixJunkie/bisec-tree
Bisector tree implementation in OCaml
ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
akabe/ppx_bigarray
A PPX extension for big array literals in OCaml
garrigue/lablgl
LablGL: an openGL interface for OCaml
dangtv/BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
BYVoid/OCamlProblems
Solutions of Problems in OCaml
UnixJunkie/ACPC
Chemoinformatics tool for ligand-based virtual screening
gfngfn/otfed
An OpenType font format encoder & decoder written in OCaml
ksk/Rho
Programs for checking the ฯ property
linoscope/caml8
A CHIP8 emulator written in OCaml
hanazuki/miniml
Tiny ML interpreter
UnixJunkie/molenc
MolEnc: a molecular encoder using rdkit and OCaml.
fetburner/compelib
็ซถใใญ็จใฉใคใใฉใช
nomaddo/loop
krtx/ws-ocaml
WebSocket server implementation of OCaml
kenichi-asai/Universe
The Universe Library for OCaml
aigarashi/copl-tools
tools for the book "Concepts of Programming Languages"
gfngfn/apbuf
Algebraic protocol buffers
takahisa/featherweight-java
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
namachan10777/scad-ml
OpenSCAD DSL for OCaml
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
tategakibunko/lwt-websocket
ocaml lwt based websocket library
UnixJunkie/cpmlib
Classification and Regression Performance Metrics library
lmdexpr/ocaml_jvm
for studying jvm
Nymphium/openai-ocaml
OCaml bindings for OpenAI API
keigoi/kmclib
UnixJunkie/dokeysto
The dumb OCaml key-value store
toku-sa-n/coqfmt
Coq code formatter
nebuta/bucklescript-todomvc-jquery
BuckleScript TodoMVC using jQuery
nebuta/bucklescript-jquery
BuckleScript binding for JQuery
Suikaba/SelingerQuantumLambdaCalculus
Implementatoin of Selinger's Typed Quantum Lambda Calculus
zick/OCamLisp
Lisp implementation in OCaml
henoc/bs-little-parser
Little parser combinator for BuckleScript or Reason
UnixJunkie/orxgboost
Gradient boosting for OCaml using the R xgboost package under the carpet
UnixJunkie/phashtbl
Minimalist persistent hashtbl OCaml library
susisu/est-ocaml
A simple command line tool for statistical calculation
krtx/lua-parser
Lua parser implemented in OCaml
0zat/bs-dom
A DOM Library for BuckleScript
UnixJunkie/lz4-chans
open/close binary channels with LZ4 compression in the background
UnixJunkie/bytearray
Efficient OCaml marshaling to and from bigarrays
hemmi/coq2scala
ryo-imai-bit/Writing-An-Interpreter-In-Go-In-OCaml
InterpreterInGo In Ocaml
keigoi/hlist-ocaml
Heterogeneously-typed lists for OCaml
komamitsu/OCatra
Simple web server library for OCaml like Sinatra
ushitora-anqou/waq
Yet another ActivityPub server implementation written in OCaml
akabe/odoc-ltxhtml
OCamldoc custom generator to embed LaTeX equations in HTML documentation.
garrigue/safeio
An encoding of file handles ensuring linear use
UnixJunkie/orf
OCaml Random Forests
UnixJunkie/genspir
Function to generate almost uniformly points on a sphere
szktty/esca
Esca is an experimental strongly-typed language which compiles to Go.
masashi-y/abduction_kbc
namachan10777/folivora
splited input device
yutopp/loga
Logging library for 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
ymyzk/gsrinfer
A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset
keigoi/olt_ocaml
An encoding of Ordered Linear Types in OCaml
UnixJunkie/consent
ligand-based virtual screening with consensus queries
0zat/gen-bs
generate bucklescript from javascript type specifications
Nymphium/nloge
Logger with eio
0zat/webidl
Web IDL parser of OCaml
UnixJunkie/linwrap
Wrapper on top of liblinear-tools
derui/okeyfum
akabe/ocaml-crf
A simple library for conditional random field (CRF) in OCaml
UnixJunkie/fragger
A protein fragments picker
UnixJunkie/hts_shrink
Reference implementation of the Distance-Based Boolean Applicability Domain for HTS datasets