mchakravarty/hoas-conv mchakravarty/hoas-conv

  • Stars
    star
    17
  • Rank 1,219,843 (Top 25 %)
  • Language
    Haskell
  • License
    Other
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mchakravarty/hoas-conv
github

mchakravarty

Reviews

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

Repository Details

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

More Repositories

1

CodeEditorView

SwiftUI code editor view for iOS and macOS
Swift
564
star
2

HaskellSpriteKit

Haskell binding to Apple's SpriteKit framework
Haskell
172
star
3

language-c-inline

Inline C & Objective-C in Haskell
Haskell
147
star
4

BigPixel

Pixel art for games
Haskell
137
star
5

lets-program

Let's program! Get into programming writing a simple game.
Haskell
76
star
6

lazy-lambda

Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit
Haskell
73
star
7

goalsapp

Track periodic goals — a sample iPhone app
Swift
27
star
8

haskell.sty

LaTeX style file to typeset functional languages like Haskell
26
star
9

ProjectNavigator

SwiftUI project navigation view for macOS and iOS
Swift
21
star
10

gloss-game

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

CodeEditorDemo

Demo app for CodeEditorView
Swift
16
star
12

language-swift-quote

Quasiquotation for Swift in Haskell
9
star
13

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
8
star
14

fp-in-swift

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

accelerate-agda

Accelerate in Agda
Haskell
6
star
16

ylj14-workshop

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

galactico

Drive the economy of galactic colonies
Haskell
3
star
18

haskell-containers

Docker container images for Haskell apps
2
star
19

lets-code

Let's code! A playful introduction to coding
Haskell
1
star