steshaw/PLAR

Stars
6
Rank 2,539,965 (Top 51 %)
Language
OCaml
License
Other
Created almost 13 years ago
Updated almost 13 years ago

steshaw/PLAR

steshaw

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

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

plt

Programming Language Theory λΠ

gtk-examples

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

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

sauerbraten

A git mirror of the sauerbraten SVN repo

lennart-lambda-cube

Lennart Augustsson's lamda cube

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

steshaw.org

🏠 Homepage λΠ

zendesk-hs

Zendesk client library

huttons-razor

Quick implemention of Hutton's Razor

idris-calc

A simple arithmetic calculator written in Idris.

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

tock

idris-elisp

hsChess

timedot-vim

language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

starred

A curated list of my GitHub stars!

steshaw

go-nix-flakes-demo

rustlings

mongodb-example

MongoDB example in Haskell

schemey

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

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

euler

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

scala-playground

kotlin-playground

hello-arm-m1

all-bench

nix-docker-example

nix-playground

licence-trials

cube-fu

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

ksonnet-example

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

quake2-gwt-port

rust-playground

idris-elba-example

relude-example

adt-in-java-with-fold

Encoding algebraic data types in Java using fold

lean4-playground

lean4-playground

niv-shim-example

niv-shim-example

swift-playground

swift-playground

servant-example

cloud-haskell-tutorial

dEngine

hello-aws