Projects in Awesome Lists by na4zagin3
A curated list of projects in awesome lists by na4zagin3 .
https://github.com/na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
Last synced: 14 Apr 2025
https://github.com/na4zagin3/plover_japanese_sokutaipu
The Sokutaipu Japanese Realtime stenography system for Plover. (WIP)
Last synced: 14 Apr 2025
https://github.com/na4zagin3/satyrographos-repo-alpha
Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi
Last synced: 30 Dec 2024
https://github.com/na4zagin3/proof-overlay
overlay mainly for automated provers and formal method tools
Last synced: 20 Feb 2025
https://github.com/na4zagin3/pgreek.vim
Easily-customizable Vim keymap for typing polytonic Greek.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/graph-llvm-ir
Rewritings of https://github.com/pfalcon/graph-llvm-ir with OCaml.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/sprechen-sie-attisch
Digitalized "Sprechen Sie Attisch?" with LaTeX
Last synced: 20 Feb 2025
https://github.com/na4zagin3/luatexja-sibu
LuaTeX Package for Typesetting Japanese with "Shibu-Ake Rule" (Quater-Em Spacing)
Last synced: 20 Feb 2025
https://github.com/na4zagin3/satysfi-fonts-junicode
SATySFi Font Package for Junicode
Last synced: 20 Feb 2025
https://github.com/na4zagin3/elm-grcnum
Greek numeral converters implemented in Elm
Last synced: 20 Feb 2025
https://github.com/na4zagin3/epar
Extensible Plain-text Archive (.epar) Format
Last synced: 20 Feb 2025
https://github.com/na4zagin3/ev3-line-follower
Line follower for LEGO Mindstorms EV3 using EV3Command and OpenCV.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/satysfi-fonts-cormorant
SATySFi Font Package for Cormorant fonts
Last synced: 20 Feb 2025
https://github.com/na4zagin3/SATySFi-fonts-theano
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
Last synced: 02 May 2025
https://github.com/na4zagin3/satysfi-fonts-theano
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
Last synced: 20 Feb 2025
https://github.com/na4zagin3/sokutaipu-dict
Keystroke dictionary of Sokutaipu
Last synced: 20 Feb 2025
https://github.com/na4zagin3/georgian-layouts.el
Georgian Layouts for Emacs
Last synced: 20 Feb 2025
https://github.com/na4zagin3/g1951d-fonts
Collection of fonts which distributed by George Douros.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/SATySFi-grcnum
Greek numeral library for SATySFi
Last synced: 02 May 2025
https://github.com/na4zagin3/SATySFi-fonts-geolab
SATySFi Font Package for GeoLab's Georgian fonts
Last synced: 02 May 2025
https://github.com/na4zagin3/satysfi-fonts-geolab
SATySFi Font Package for GeoLab's Georgian fonts
Last synced: 20 Feb 2025
https://github.com/na4zagin3/satysfi-grcnum
Greek numeral library for SATySFi
Last synced: 20 Feb 2025
https://github.com/na4zagin3/quail-hokkien.el
Quail Layouts for Hokkien Romanization (Pe̍h-ōe-jī)
Last synced: 20 Feb 2025
https://github.com/na4zagin3/sandbox-scala-cross
Example project in Scala with cross-compile
Last synced: 20 Feb 2025
https://github.com/na4zagin3/sfja-code
My answers for sfja https://github.com/sfja/sfja
Last synced: 20 Feb 2025
https://github.com/na4zagin3/scmvi
a experimental vi-like editor (under construction)
Last synced: 20 Feb 2025
https://github.com/na4zagin3/satysfi-dist-font-archives
Repository to store font archives used by SATySFi dist.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/hermeneus
A new translation framework that handles agreement.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/ocaml-epar
Implementation of Extensible Plain-text Archive (EPAR) format
Last synced: 20 Feb 2025
https://github.com/na4zagin3/haskell-epar
(Under Development) Reference implementation of Extensible Plain-text Archive (.epar) Format
Last synced: 20 Feb 2025
https://github.com/na4zagin3/elan-manipulator
A manipulator of Elan files for linguists.
Last synced: 20 Feb 2025
https://github.com/na4zagin3/bibliotheke-hermeneumenon
Translations of books
Last synced: 20 Feb 2025