GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
open-source licensed, Unicode fonts in Hebrew, Latin, Greek, Cyrillic, Arabic, and Amharic scripts
Font selection in LaTeX for XeTeX and LuaTeX
Convertor from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.
Clone of svn://trac.cslab.openu.ac.il/svn/awesome
Digital fingerprint demo application
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
Free Client for OneDrive on Linux
Language Of Language Augmentation
A framework to connect Cedalion and Node.JS
A NoDatalog deductive database for the 21st century.
This is a mirror from gerrit.ovirt.org
AspectJ project repository (org.aspectj)
Rarely available and hard-to-write Java utilities, written correctly, and thoroughly tested
Sample epub3 ebook, created using tex4ebook
Install script for TeX Live on Ubuntu
A library for Gradual Certified Programming in Coq
Jekyll is a blog-aware, static site generator in Ruby
BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows the manipulation of BibTeX files which goes beyond the possibilities -- and intentions -- of BibTeX.
Library-based Language Extensibility
Bibliography vith list of citing publications under each of the author's papers
VERsion Controlled Application STate