steshaw/gtk-examples

This repository has been archived on 10/Dec/2022
Stars
65
Rank 458,796 (Top 10 %)
Language
C
Created over 13 years ago
Updated over 13 years ago

steshaw/gtk-examples

steshaw

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

plt

Programming Language Theory λΠ

tiger-ml

Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML

lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

playground

👨🏻‍🎓 Playground for learning programming languages

tdd-with-idris

Working through Type-Driven Development with Idris

mincaml

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

catalina-nix-upgrade

shelly

🐚 Dotfiles and shell utilities

blue

Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspx

lennart-lambda-cube

Lennart Augustsson's lamda cube

sauerbraten

A git mirror of the sauerbraten SVN repo

PLAR

Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison

idris-sdl2

SDL2 binding for Idris

plc-sestoft

Programming Language Concepts by Peter Sestoft

codemirror

clone of http://marijnhaverbeke.nl/git/codemirror

idris-miniml

Compiler for MiniML in Idris

idris-calc

A simple arithmetic calculator written in Idris.

steshaw.org

🏠 Homepage λΠ

huttons-razor

Quick implemention of Hutton's Razor

zendesk-hs

Zendesk client library

turtle-shell-with-nix

Turtle shell example with Nix

haskell-playground

babycc

A journey through the Crenshaw compiler tutorial using C and x86 from back in 2004

go-playground

dhall-playground

idris-elisp

tock

hsChess

language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

timedot-vim

steshaw

mongodb-example

MongoDB example in Haskell

go-nix-flakes-demo

rustlings

haskell-shebang-examples

Haskell shebang examples

pi-forall-playground

Playground for pi-forall

lens-playground

http-post-example.hs

hbound

google-logging-example

Example Google/Stackdriver Logging using gogol-logging

metathesis

LaTeX thesis template from http://www.cs.mun.ca/~donald/metathesis/

yesod-postgresql-example

openapitools-example

scala-playground

kotlin-playground

hello-arm-m1

schemey

Scheme interpreter based on "Write Yourself a Scheme in 48 Hours"

all-bench

euler

My Project Euler solutions, in various languages (intended to observe differences in languages)

nix-docker-example

nix-playground

licence-trials

ksonnet-example

cube-fu

Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.

hello-web

merge-shell-example.nix

nix-dev-env-example

steshaw.github.io

Generated files GitHub Pages hosted steshaw.org

hello-lifty-lift

Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2

relude-example

rust-playground

servant-example

quake2-gwt-port

idris-elba-example

adt-in-java-with-fold

Encoding algebraic data types in Java using fold

lean4-playground

lean4-playground

swift-playground

swift-playground

niv-shim-example

niv-shim-example

cloud-haskell-tutorial

dEngine