find unused proto messages, methods and enums in your sbt project

☔ => ⛅ => ☀️

An ML-like statically-typed Erlang

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

Open source recipe of yakisoba-sauces for chokaigi 2016

The calculator of the Japanese holiday in Scala

A collection of RBS for gems.

[WIP] Faster Implementation of Dialyzer

AtCoder Library (ACL) for D programming language

Zero-cost bindings to Facebook's Recoil library

東京都 新型コロナウイルス感染症対策サイト / Tokyo COVID-19 Task Force website

Static type checker for Ruby

SQL formatter written with only Java Standard Library, without dependencies.

Browser extension to see story points in GitHub projects

A language server for reason, in reason

Frugal Object Storage

A romantic DSL for writing HTML.

The simplest, most lightweight, fastest Bot framework written by Ruby.

Extend your AtCoder

A calculator built with Reason and reason-react.

日本で Clojure/ClojureScript を利用している会社一覧

An uroboros program with 100+ programming languages

An experimental type-level Ruby interpreter for testing and understanding Ruby code

A NES emulator written in Ruby

Another version of ProofGeneral character, じぇねらるたん

LOGic programming In sCALa

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

The Ruby Programming Language

D competition Library

A type-safe CloudFormation DSL, which you can apply changes casually!