- Kyoto, Japan
- gfngfn.github.io
- @en_gfngfn
-
-
SATySFi Public
A statically-typed, functional typesetting system
-
-
the_satysfibook Public
The manuscript for The SATySFibook (1st edition for the Web)
-
satysfi.el Public
An Emacs major mode for SATySFi
-
-
hugo_theme_upcards Public
A simple card-based Hugo theme
-
-
ott-paper-template Public
A template for writing papers using Ott (https://github.com/ott-lang/ott)
-
game_tianjiupai Public
A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
-
Sesterl Public
An ML-like statically-typed Erlang
-
satysfi-external-repo Public
Custom OPAM repository for external libraries of SATySFi
-
otfed Public
An OpenType font format encoder & decoder written in OCaml
-
renumber-image-files Public
Just for personal use
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 26, 2023 -
gfn-latex.el Public
-
-
BIRDS Public
Forked from proof-ninja/BIRDSBidirectional transformation for Relational view update Datalog-based Strategies
OCaml GNU Lesser General Public License v2.1 UpdatedMar 30, 2023 -
satysfi-lib Public
Forked from nyuichi/satysfi-basecomplementary collection of useful functions/modules for SATySFi
-
satyrographos Public
Forked from na4zagin3/satyrographosNaive package manager for SATySFi
OCaml GNU Lesser General Public License v3.0 UpdatedNov 3, 2022 -
infotheo Public
Forked from affeldt-aist/infotheoA Coq formalization of information theory and linear error-correcting codes
Coq GNU Lesser General Public License v2.1 UpdatedOct 17, 2022 -
-
base Public
Forked from janestreet/baseStandard library for OCaml
OCaml MIT License UpdatedJul 2, 2022 -
-
See: https://github.com/erlang/otp/pull/6036
-
tex_of_ocaml Public
A compiler for untyped lambda terms to TeX code
-
sesterl_cowboy Public
A Cowboy (https://github.com/ninenines/cowboy) wrapper for Sesterl (https://github.com/gfngfn/Sesterl)
-
gen_cop Public
Forked from sile/gen_copGeneric Connection-Oriented Protocol Behaviour (experimentail)
Erlang MIT License UpdatedDec 9, 2021 -
-
sesterl_stdlib Public
The standard library for Sesterl (https://github.com/gfngfn/Sesterl)
-
sesterl_json Public
A JSON-handling library for Sesterl equipped with APIs similar to those of elm/json