gfngfn/satysfi.el

Stars
17
Rank 1,257,181 (Top 25 %)
Language
Emacs Lisp
Created about 7 years ago
Updated 4 months ago

gfngfn/satysfi.el

gfngfn

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

An Emacs major mode for SATySFi

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

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

expandparams

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

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