cedretaber

cedretaber's starred repositories

unused-proto

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

Language:ScalaMIT200

pipeline.rs

:umbrella: => :partly_sunny: => :sunny:

Language:RustApache-2.024100

Sesterl

An ML-like statically-typed Erlang

Language:OCaml15000

snail

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

Language:OCamlMIT1200

yakisoba-sauce

Open source recipe of yakisoba-sauces for chokaigi 2016

14800

holidays

The calculator of the Japanese holiday in Scala

Language:Scala4400

gem_rbs_collection

A collection of RBS for gems.

Language:RubyMIT24100

fialyzer

[WIP] Faster Implementation of Dialyzer

Language:OCamlApache-2.05600

atcoder-library-d

AtCoder Library (ACL) for D programming language

Language:DCC0-1.0900

rescript-recoil

Zero-cost bindings to Facebook's Recoil library

Language:ReScriptMIT15400

covid19

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

Language:VueMIT626600

steep

Static type checker for Ruby

Language:RubyMIT133300

sql-formatter

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

Language:JavaMIT20900

github-story-points

Browser extension to see story points in GitHub projects

Language:TypeScriptMIT6000

reason-language-server

A language server for reason, in reason

Language:OCamlMIT66000

frugalos

Frugal Object Storage

Language:RustMIT39100

romantic_text

A romantic DSL for writing HTML.

Language:RubyMIT200

mobb

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

Language:RubyMIT3100

AtCoderProblems

Extend your AtCoder

Language:TypeScriptMIT136900

reason-calculator

A calculator built with Reason and reason-react.

Language:OCamlMIT10800

japanese-clojure-companies

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

10400

quine-relay

An uroboros program with 100+ programming languages

Language:Ruby1381600

typeprof

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

Language:RubyMIT73400

optcarrot

A NES emulator written in Ruby

Language:RubyMIT84400

generaltan

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

Language:Shell2100

logical

LOGic programming In sCALa

Language:Scala700

rescript-compiler

The compiler for ReScript.

Language:OCamlNOASSERTION653700

ruby

The Ruby Programming Language

Language:RubyNOASSERTION2165500

dunkelheit

D competition Library

Language:DMIT1300

cloudformal

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

Language:ScalaMIT3200