gfngfn Goto Github PK

a_strange_behavior_of_logger_formatter

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

althtml-on-tex

A (La)TeX package for generating HTML source with (La)TeX macros.

apbuf

Algebraic protocol buffers

base

Standard library for OCaml

birds

Bidirectional transformation for Relational view update Datalog-based Strategies

bucklescript-jquery

BuckleScript binding for JQuery

camlpdf

OCaml library for reading, writing and modifying PDF files

code-reading

Just for my personal code reading.

cowboy

Small, fast, modular HTTP server written in Erlang.

cowboy_session

Cowboy session management middleware

cs-thesis

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

data_structure

elm-mdc

Elm port of the Material Components for the Web CSS/JS library

error_logger_logi

[OBSOLETE: Use sile/logi_stdlib instead] An error_logger backend for redirecting events into logi

expandparams

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

fialyzer

[WIP] Faster Implementation of Dialyzer

font-explorer

A TUI font data viewer

fw-scala-in-scala

[WIP] An implementation of the Featherweight Scala [Cremet, Garillot & Odersky 2006] type checker

game_tianjiupai

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

gen_cop

Generic Connection-Oriented Protocol Behaviour (experimentail)

gfn-fundamental.el

An Emacs package

gfn-latex.el

gfncmd

LaTeX packages useful for making LaTeX code more structurized

gfngfn.github.io

gfnlwmath

gfnsynt

A LaTeX package for displaying syntactic objects in mathematical formulae

hugo_theme_upcards

A simple card-based Hugo theme

ideas_for_typeset_lang

infotheo

A Coq formalization of information theory and linear error-correcting codes

init-el-on-macosx