camlspotter's repositories

ocaml-zippy-tutorial-in-japanese

OCaml の日本語での情報

Language:OCamlStargazers:94Issues:14Issues:0

ocamloscope.2

OCamlOScope 2 : OCaml API search

Language:OCamlLicense:MITStargazers:9Issues:2Issues:0

opam-repository-mingw

OPAM repository for MinGW OCaml

Language:ShellLicense:CC0-1.0Stargazers:7Issues:2Issues:0

zukelang

Zero Knowledge LANGuage in OCaml

Language:OCamlStargazers:6Issues:0Issues:0

bsky_ml

OCaml library to access BlueSky

Language:OCamlLicense:MITStargazers:5Issues:1Issues:0

ocaml-wfc

Wafe Function Collapse algorithm in OCaml

Language:OCamlStargazers:4Issues:0Issues:0

ocaml

Read-only mirror of INRIA SVN

Language:OCamlLicense:NOASSERTIONStargazers:3Issues:0Issues:0

opam

OPAM - A package manager for OCaml

Language:OCamlStargazers:2Issues:3Issues:0
Language:ShellLicense:CC0-1.0Stargazers:1Issues:3Issues:1

plebeia

Optimized Patricia trie with disk storage

Language:OCamlStargazers:1Issues:0Issues:0
Language:OCamlStargazers:1Issues:0Issues:0

slack-dump

Export History For Channel, Private Group and Direct Message From Slack

Language:GoLicense:Apache-2.0Stargazers:1Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

dune

A composable build system for OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

HybridLearner

HybridLearner: A tool to learn Hybrid Systems for Cyber Physical Systems

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:6

icon-why3

why3 plugin for icon project

Language:OCamlStargazers:0Issues:0Issues:0

jbcn

jbcn

Language:PythonStargazers:0Issues:0Issues:0

learnHA

Learns a hybrid automaton model from trajectories of Cyber-Physical Systems.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:6

lymp

Use Python functions and objects from OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor

License:ISCStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

ocaml-d3

OCaml bindings for D3.js

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:OCamlLicense:GPL-2.0Stargazers:0Issues:0Issues:0

ovm_contracts_scaml

OVM implementation in SCaml on Tezos

Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0

slack-archive

Generate static HTML archives of Slack workspaces

Stargazers:0Issues:0Issues:0

synthesize

Easy installer for Graphite and StatsD

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

TelegraML

OCaml implementation of the Telegram Bot API

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0