n
na4zagin3
Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)
97 repositories
40 followers
Repositories
Select a repository to view its commits, contributors, and more.public
SATySFi-fonts-theano
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
Makefile
1
1
0
Updated 3 years ago
public
SATySFi-fonts-junicode
SATySFi Font Package for Junicode
Makefile
1
0
0
Updated 3 years ago
public
epar
Extensible Plain-text Archive (.epar) Format
1
0
8
Updated a year ago
public
EV3-Line-Follower
Line follower for LEGO Mindstorms EV3 using EV3Command and OpenCV.
Java
1
1
0
Updated 10 years ago
public
elm-grcnum
Greek numeral converters implemented in Elm
Elm
1
0
1
Updated 4 years ago
public
sokutaipu-dict
Keystroke dictionary of Sokutaipu
Haskell
1
0
2
Updated a year ago
public
interactive-prover
Haskell
1
0
0
Updated 10 years ago
public
tex-misc
my macros for LaTeX.
0
0
0
Updated 10 years ago
public
SATySFi-fonts-bodoni-star
Makefile
0
0
0
Updated 3 years ago
public
elan-manipulator
A manipulator of Elan files for linguists.
Haskell
0
0
0
Updated 9 years ago
public
sandbox-scala-cross
Example project in Scala with cross-compile
Scala
0
0
0
Updated 2 years ago
public
quail-hokkien.el
Quail Layouts for Hokkien Romanization (Pe̍h-ōe-jī)
Emacs Lisp
0
0
0
Updated 2 years ago