gfngfn/expandparams

Stars
4
Rank 3,304,323 (Top 66 %)
Language
TeX
Created about 10 years ago
Updated about 10 years ago

gfngfn/expandparams

gfngfn

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

(La)TeX packages that makes you save the cost of writing thousands of \expandafter.

SATySFi

A statically-typed, functional typesetting system

Sesterl

An ML-like statically-typed Erlang

the_satysfibook

The manuscript for The SATySFibook (1st edition for the Web)

toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

cs-thesis

A SATySFi class file for writing CS master theses at The University of Tokyo

satysfi.el

An Emacs major mode for SATySFi

otfed

An OpenType font format encoder & decoder written in OCaml

game_tianjiupai

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

apbuf

Algebraic protocol buffers

gfngfn.github.io

variational_gadts

[WIP] a GADT type inference engine

tex_of_ocaml

A compiler for untyped lambda terms to TeX code

the_sesterl_book

sesterl_cowboy

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

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

satysfi-test

hugo_theme_upcards

A simple card-based Hugo theme

sesterl_testing

A testing library for Sesterl wrapping EUnit

StructMath

A structure-based GUI editor for typesetting math formulae

rebar_sesterl_plugin

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

satysfi-amidakuji

poly-shift-reset

An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]

test_repository

public-memos

try-ray-tracing

sesterl_stdlib

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

trifling_tex_codes

a_strange_behavior_of_logger_formatter

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

yojson-with-position

A fork of yojson used by SATySFi

macrodown-test

langprocbase

A minimal, easy-to-extend front-end of a language processor that supports Hindley-Milner type inference and type error reports with code positions

ott-paper-template

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

gfn-latex.el