Pinned Repositories
awesome-texmacs
mgubi.github.io
My personal webpages
scheme2llvm
Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/
texmacs
Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code
tm-julia
TeXmacs plugin for the Julia language
tm-jupyter
A Jupyter client for TeXmacs
tm-tetris
vau
An exercise in refactoring over the GNU TeXmacs codebase
mgubi's Repositories
mgubi/texmacs
Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code
mgubi/tm-julia
TeXmacs plugin for the Julia language
mgubi/tm-jupyter
A Jupyter client for TeXmacs
mgubi/vau
An exercise in refactoring over the GNU TeXmacs codebase
mgubi/tm-tetris
mgubi/mgubi.github.io
My personal webpages
mgubi/awesome-texmacs
mgubi/content
The content behind MDN Web Docs
mgubi/femtolisp
a lightweight, robust, scheme-like lisp implementation
mgubi/formatRef
A set of Scheme functions for formatting references in a TeXmacs document
mgubi/go-appimage
Go implementation of AppImage tools. Still experimental
mgubi/guile-json
JSON module for Guile
mgubi/haikuports
Software ports for the Haiku operating system.
mgubi/hakchi
mgubi/librep
librep
mgubi/libscheme
Updated version of the libscheme interpreter
mgubi/LLDB-TeXmacs-Pretty-Printer
LLDB TeXmacs Pretty Printer
mgubi/macdylibbundler
Utility to ease bundling libraries into executables for OSX
mgubi/maru
Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
mgubi/mathlib
Lean mathematical components library
mgubi/mogan
Mogan Editor / 墨干编辑器
mgubi/mupdf
mupdf mirror
mgubi/nile
mgubi/pdf2htmlEX
Convert PDF to HTML without losing text or format.
mgubi/qscheme
qscheme
mgubi/SwiftLaTeX
SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor
mgubi/tekuti
Server-side blog engine written in Scheme
mgubi/texmacs-win-builder
Automate building of TeXmacs on windows using MSys2/Mingw-w32
mgubi/webkit
Experiments and contributions to WebKit. Tracks git://git.webkit.org/WebKit.git
mgubi/zuo
A tiny Racket for scripting