All Git Users → steshaw

4 open source projects by steshaw

[ Open user page on Github ]

1. Gtk Examples

Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow

✭ 53

λΠ Programming Language Theory

✭ 4,609

CSS HTML javascript functional-programming category-theory type-theory logic proof-theory

The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml

✭ 17

4. learning-programming-languages

👨🏻‍🎓 Playground for learning programming languages

✭ 24

Standard ML objective c C++Mathematica Modula-2 HTML

1-4 of 4 user projects