Takashi Suwa (gfngfn)

gfngfn

Geek Repo

Location:Kyoto, Japan

Home Page:gfngfn.github.io

Twitter:@en_gfngfn

Github PK Tool:Github PK Tool


Organizations
yabaitechtokyo

Takashi Suwa's repositories

SATySFi

A statically-typed, functional typesetting system

Language:OCamlLicense:LGPL-3.0Stargazers:1145Issues:51Issues:162

Sesterl

An ML-like statically-typed Erlang

otfed

An OpenType font format encoder & decoder written in OCaml

Language:OCamlLicense:MITStargazers:17Issues:4Issues:17

satysfi.el

An Emacs major mode for SATySFi

game_tianjiupai

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

Language:ElmStargazers:15Issues:4Issues:0

sesterl_cowboy

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

Language:ErlangStargazers:5Issues:3Issues:0

tex_of_ocaml

A compiler for untyped lambda terms to TeX code

Language:TeXStargazers:5Issues:3Issues:0

satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi

hugo_theme_upcards

A simple card-based Hugo theme

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

sesterl_json

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

Language:ErlangStargazers:3Issues:3Issues:0

sesterl_testing

A testing library for Sesterl wrapping EUnit

Language:ErlangStargazers:3Issues:3Issues:0

rebar_sesterl_plugin

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

Language:ErlangStargazers:2Issues:3Issues:0

a_strange_behavior_of_logger_formatter

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

Language:ErlangLicense:Apache-2.0Stargazers:1Issues:2Issues:0
Language:Emacs LispStargazers:1Issues:0Issues:0

sesterl_stdlib

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

base

Standard library for OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

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:2Issues:0

infotheo

A Coq formalization of information theory and linear error-correcting codes

Language:CoqLicense:LGPL-2.1Stargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:2Issues:0

otp

Erlang/OTP

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

ott-paper-template

A template for writing papers using Ott (https://github.com/ott-lang/ott)

Language:TeXStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

renumber-image-files

Just for personal use

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

satyrographos

Naive package manager for SATySFi

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

satysfi-lib

complementary collection of useful functions/modules for SATySFi

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