Skip to content

Instantly share code, notes, and snippets.

Robert Kleffner robertkleffner

Block or report user

Report or block robertkleffner

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@robertkleffner
robertkleffner / index.html
Created Jun 8, 2018
Mapbox with AscenDB - Color by Prominence
View index.html
<!doctype html>
<html>
<head>
<title>Peaks on Mapbox</title>
<script src='https://api.mapbox.com/mapbox-gl-js/v0.45.0/mapbox-gl.js'></script>
<script src='https://api.mapbox.com/mapbox.js/plugins/turf/v2.0.2/turf.min.js'></script>
<script src='./lib.js'></script>
<link href='https://api.mapbox.com/mapbox-gl-js/v0.44.2/mapbox-gl.css' rel='stylesheet' />
<style>
body { margin:0; padding:0; }
@robertkleffner
robertkleffner / stack-values.rkt
Created Jun 15, 2016
Embeds a higher-order stack language in Racket using call-with-values and variadic functions
View stack-values.rkt
#lang racket
(require rackunit)
;; Syntax for combining concatenative combinators
;; Isolates the key 'compositional' semantics of concatenative languages
(define (cat f g)
(lambda xs
(call-with-values
(lambda () (call-with-values
@robertkleffner
robertkleffner / Actions.hs
Created May 19, 2016
Monadic interpreter for a small concatenative calculus
View Actions.hs
module Actions (Action, tryDoAction, actions, defaultAction) where
import System.Exit
import Data.List
import Data.Maybe
import Syntax
import Parser
import Eval
You can’t perform that action at this time.