gfngfn/satysfi-amidakuji gfngfn/satysfi-amidakuji

  • Stars
    star
    2
  • Language
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gfngfn/satysfi-amidakuji
github

gfngfn

Reviews

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

Repository Details

More Repositories

1

SATySFi

A statically-typed, functional typesetting system
OCaml
1,161
star
2

Sesterl

An ML-like statically-typed Erlang
OCaml
152
star
3

the_satysfibook

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

toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]
OCaml
30
star
5

cs-thesis

A SATySFi class file for writing CS master theses at The University of Tokyo
Makefile
29
star
6

satysfi.el

An Emacs major mode for SATySFi
Emacs Lisp
17
star
7

otfed

An OpenType font format encoder & decoder written in OCaml
OCaml
17
star
8

game_tianjiupai

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

apbuf

Algebraic protocol buffers
OCaml
13
star
10

gfngfn.github.io

HTML
6
star
11

variational_gadts

[WIP] a GADT type inference engine
F#
5
star
12

tex_of_ocaml

A compiler for untyped lambda terms to TeX code
TeX
5
star
13

the_sesterl_book

5
star
14

sesterl_cowboy

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

satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi
4
star
16

expandparams

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

sesterl_json

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

satysfi-test

3
star
19

hugo_theme_upcards

A simple card-based Hugo theme
JavaScript
3
star
20

sesterl_testing

A testing library for Sesterl wrapping EUnit
Erlang
3
star
21

StructMath

A structure-based GUI editor for typesetting math formulae
TypeScript
3
star
22

rebar_sesterl_plugin

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

poly-shift-reset

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

test_repository

TeX
1
star
25

public-memos

1
star
26

try-ray-tracing

Rust
1
star
27

sesterl_stdlib

The standard library for Sesterl (https://github.com/gfngfn/Sesterl)
Erlang
1
star
28

trifling_tex_codes

TeX
1
star
29

a_strange_behavior_of_logger_formatter

See: https://github.com/erlang/otp/pull/6036
Erlang
1
star
30

yojson-with-position

A fork of yojson used by SATySFi
OCaml
1
star
31

macrodown-test

OCaml
1
star
32

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
OCaml
1
star
33

ott-paper-template

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

gfn-latex.el

Emacs Lisp
1
star