steshaw/idris-sdl2

Stars
5
Rank 2,861,937 (Top 57 %)
Language Idris
Created over 8 years ago
Updated over 5 years ago

steshaw/idris-sdl2

steshaw

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

SDL2 binding for Idris

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

PLAR

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

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