Takashi Suwa (gfngfn)

gfngfn

Geek Repo

Location:Tokyo, Japan

Home Page:gfngfn.github.io

Twitter:@en_gfngfn

Github PK Tool:Github PK Tool


Organizations
yabaitechtokyo
ezoic increase your site revenue

Takashi Suwa's repositories

SATySFi

A statically-typed, functional typesetting system

Language:OCamlLicense:LGPL-3.0Stargazers:954Issues:56Issues:138

Sesterl

An ML-like statically-typed Erlang

the_satysfibook

The manuscript for The SATySFi​book (1st edition for the Web)

game_tianjiupai

A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm

Language:ElmStargazers:16Issues:0Issues:0

otfed

An OpenType font format encoder & decoder written in OCaml

apbuf

Algebraic protocol buffers

Language:OCamlStargazers:10Issues:2Issues:0

variational_gadts

[WIP] a GADT type inference engine

Language:F#Stargazers:6Issues:0Issues:0
Language:HTMLStargazers:5Issues:0Issues:0

sesterl_cowboy

A Cowboy (https://github.com/ninenines/cowboy) wrapper for Sesterl (https://github.com/gfngfn/Sesterl)

Language:ErlangStargazers:5Issues:0Issues:0

otfm

OpenType font decoder for OCaml

Language:OCamlLicense:ISCStargazers:3Issues:6Issues:0

satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi

sesterl_json

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

Language:ErlangStargazers:3Issues:2Issues:0

sesterl_testing

A testing library for Sesterl wrapping EUnit

Language:ErlangStargazers:3Issues:0Issues:0

tex_of_ocaml

A compiler for untyped lambda terms to TeX code

Language:TeXStargazers:3Issues:2Issues:0

hugo_theme_upcards

A simple card-based Hugo theme

Language:JavaScriptLicense:MITStargazers:2Issues:0Issues:0

rebar_sesterl_plugin

A Rebar3 plugin for compiling Sesterl programs (https://github.com/gfngfn/Sesterl)

Language:ErlangStargazers:2Issues:2Issues:0

a_strange_behavior_of_logger_formatter

See: https://github.com/erlang/otp/pull/6036

Language:ErlangLicense:Apache-2.0Stargazers:1Issues:0Issues:0

sesterl_stdlib

The standard library for Sesterl (https://github.com/gfngfn/Sesterl)

BIRDS

Bidirectional transformation for Relational view update Datalog-based Strategies

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

gen_cop

Generic Connection-Oriented Protocol Behaviour (experimentail)

Language:ErlangLicense:MITStargazers:0Issues:1Issues:0
Language:Emacs LispStargazers:0Issues:2Issues:0

otp

Erlang/OTP

License:Apache-2.0Stargazers:0Issues:0Issues:0

proxy

An Erlang Process Proxy Library

Language:ErlangLicense:MITStargazers:0Issues:1Issues:0

satyrographos

Naive package manager for SATySFi

Language:OCamlLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

satysfi-lib

complementary collection of useful functions/modules for SATySFi

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

sesterl-mode

An Emacs major mode for editing Sesterl programs (https://github.com/gfngfn/Sesterl)

Language:Emacs LispStargazers:0Issues:2Issues:0