A statically and flexibly type-inferred scripting language with just-in-time compilation

FP in Scalaベースの関数型プログラミング演習問題

The web framework for content-driven websites. ⭐️ Star to support our work!

NScripter2のリポジトリです

Automatic macro recorder for neovim.

An International Vim Conference

language server that bridges the gap between languages, editors, and tooling

(wip) Reversi in Vim/Neovim without external dependencies

The math library of Lean 4

Mighty is a framework for building apps with Astro and the backend of your choice.

Encode and decode 3D geometry in the OBJ file format

3D physics engine in Elm

Functional rendering with WebGL in Elm

A high-level 3D rendering engine for Elm, with support for lighting, shadows, and realistic materials.

Distributed Multi-Agent Messaging Framework

関数型まつり2025公式サイト

Package manager for SATySFi

A statically-typed, functional typesetting system

SATySFi Notebook Environment for Presentation Slide Creation

The Standard ML compiler that produces Lua/JavaScript

Generic package manager for Standard ML libraries and programs

Laravel e Lumen Wrapper for Slack.com Web API: https://api.slack.com

O(N log N)-space IPC solver in OCaml

HTTP utility library for Standard ML

Web server infrastructure for Standard ML

swiss army knife for everything you do not want to do