mchakravarty/accelerate-agda

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Haskell
Created over 12 years ago
Updated over 11 years ago

mchakravarty/accelerate-agda

mchakravarty

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

Accelerate in Agda

CodeEditorView

SwiftUI code editor view for iOS and macOS

HaskellSpriteKit

Haskell binding to Apple's SpriteKit framework

language-c-inline

Inline C & Objective-C in Haskell

BigPixel

Pixel art for games

lets-program

Let's program! Get into programming writing a simple game.

lazy-lambda

Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit

goalsapp

Track periodic goals — a sample iPhone app

haskell.sty

LaTeX style file to typeset functional languages like Haskell

ProjectNavigator

SwiftUI project navigation view for macOS and iOS

gloss-game

A convenience wrapper around the Gloss library to make writing games in Haskell even easier

hoas-conv

Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)

CodeEditorDemo

Demo app for CodeEditorView

language-swift-quote

Quasiquotation for Swift in Haskell

welcome-to-fp-workshop

Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019

fp-in-swift

Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017

ylj14-workshop

Code for the YOW! Lambda Jam Workshop on Inline C in Haskell

galactico

Drive the economy of galactic colonies

haskell-containers

Docker container images for Haskell apps

lets-code

Let's code! A playful introduction to coding