yoshihiro503 Goto Github PK

hello_scalacheck

first scalacheck project

html-edu

hugo-scroll

📜 A Hugo theme for pretty, quick and simple single-page websites.

japanese-ocaml-companies

日本で OCaml/ReasonML を利用している会社一覧

json_parser_ml

json parser library for OCaml

lambda-soup

Functional HTML scraping and rewriting with CSS in OCaml.

lnbook

Mastering the Lightning Network (LN)

math-comp

Mathematical Components

musicserver

Androidを使った、音楽を再生するサーバー

nfcdemo_scala

Android NfcDemo in Scala

obeam

[WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.

ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

ocaml-tree

`tree` command format

ocaml_asm

GNU as library for ocaml

ocaml_llist

lazy list module for ocaml

ocaml_parsec

parser library for ocaml like Parsec

ocaml_tcpclient

A library of TCP client in OCaml

ocaml_util

my utility module for ocaml

ocamlada

Ada95 parser in ocaml

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.

ocurl

OCaml bindings to libcurl

ompu

opam-repository

Main public package repository for opam, the source package manager of OCaml.

pfds_coq

Coq proofs for PFDS (Purely Functional Data Structures)

proofserver

proofserver

scala-csv-example

scaml-docker

sfja

SoftwareFoundations(Ja)

sou-ken-topos

space