steshaw/euler

Stars
1
Language
Haskell
Created over 13 years ago
Updated almost 15 years ago

steshaw/euler

steshaw

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

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

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

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

timedot-vim

language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

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

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

rust-playground

servant-example

quake2-gwt-port

idris-elba-example

relude-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