gfngfn/expandparams gfngfn/expandparams

  • Stars
    star
    4
  • Rank 3,211,897 (Top 65 %)
  • Language
    TeX
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gfngfn/expandparams
github

gfngfn

Reviews

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

Repository Details

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

More Repositories

1

SATySFi

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

Sesterl

An ML-like statically-typed Erlang
OCaml
149
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
28
star
5

cs-thesis

A SATySFi class file for writing CS master theses at The University of Tokyo
Makefile
28
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

sesterl_json

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

satysfi-test

3
star
18

hugo_theme_upcards

A simple card-based Hugo theme
JavaScript
3
star
19

sesterl_testing

A testing library for Sesterl wrapping EUnit
Erlang
3
star
20

StructMath

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

rebar_sesterl_plugin

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

satysfi-amidakuji

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

gfn-latex.el

Emacs Lisp
1
star
33

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