robertkleffner Goto Github PK
Name: Robert Kleffner
Type: User
Company: Lumineye, Inc.
Bio: CEO @ Lumineye. Obsessed with programming languages, especially types and formal verification
Location: Boise
Name: Robert Kleffner
Type: User
Company: Lumineye, Inc.
Bio: CEO @ Lumineye. Obsessed with programming languages, especially types and formal verification
Location: Boise
Racket library for analyzing digital elevation models.
A miniature concatenative language with primitives for algebraic effect handlers
Concatenative programming language with algebraic effects and rich type inference
A side project
Prototype virtual machine, mostly as backend for boba lang
Boolean Unification Workbench
An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
Typing and type error diagnosis with Constraint Handling Rules
My constructed language projects
A basic JavaScript game engine for HTML5 compatible browsers.
Fall 2013 semester project
The Flix Programming Language
Generic graph library and algorithms for Racket.
A typed concatenative programming language
Healpix library written in Julia
The code and demo for my HTML5 & Three.js Galaxy tutorial.
Implementing and combining various type systems with principal type schemes
Going through exercises of The Little Learner
Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements
type inference for haskell
A language for creating and managing dictionaries, suitable for conlangs
Omnidirectional Relief and Steepness calculator in Racket
Song for a System
Collection of custom conlangery tools
A core concatenative programming language with variables and first-rank polymorphic type inference
A concatenative programming language
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.