fetburner

rubyboy

A Game Boy emulator written in Ruby

zmm

解説動画生成ツール

spkrepo

Synology Package Repository

tv-recorder-dockerfile

[TV Recorder on Docker] Dockerfiles

sesterl_json

A JSON-handling library for Sesterl equipped with APIs similar to those of elm/json

LunarML

The Standard ML compiler that produces Lua/JavaScript

sabi

Formal semantics of Rust

please-star-first

GitHub Action that automatically closes issues opened by non-stargazers

cargo-atcoder

Cargo subcommand for AtCoder

Lazy

Interpreter for call-by-need functional language

Benchmark.sml

gocaml

:camel: Statically typed functional programming language implementation with Go and LLVM

loop

constexpr-8cc

Compile-time C Compiler implemented as C++14 constant expressions

icfp2016-blog

Canopy blog data that powers ICFP liveblog

bonprosoft_camera

@bonprosoft camera app for Android

sumiilab-tex

東北大学 住井研究室のステキな TeX ファイルたち

lambda

simple typed lambda calculus on Coq

jaw

Code using GADT

hardcaml

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

min-caml

moved from https://sourceforge.net/p/min-caml/code/

space_tab_bot

Github bot to detect space-tab-mixed files, and post issue.

quine-relay

An uroboros program with 100+ programming languages

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.

micro-caml

Program that translates OCaml into C language