Pinned Repositories
arturo
Simple, expressive & portable programming language for efficient scripting
Bracmat
Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
pldb
PLDB: a Programming Language DataBase
firefox-stuff
Stuff to make Firefox more usable, greasemonkey scripts and a little plugin
G.I.Tree-coconut
intro-to-github
Based on this GitHub Skills course: https://github.com/skills/introduction-to-github
samfisherirl
hastyscribe
Self-contained markdown compiler generating self-contained HTML documents
sile
The SILE Typesetter — Simon’s Improved Layout Engine
seed7
Source code of Seed7
celtic-coder's Repositories
celtic-coder/intro-to-github
Based on this GitHub Skills course: https://github.com/skills/introduction-to-github
celtic-coder/firefox-stuff
Stuff to make Firefox more usable, greasemonkey scripts and a little plugin
celtic-coder/G.I.Tree-coconut
celtic-coder/samfisherirl