Henry Blanchette (@rybla)
  • Stars
    star
    27
  • Global Rank 529,673 (Top 19 %)
  • Followers 69
  • Following 258
  • Registered over 10 years ago
  • Most used languages
    JavaScript
    22.2 %
    Haskell
    16.7 %
    Agda
    11.1 %
    PureScript
    11.1 %
    Python
    11.1 %
    Crystal
    5.6 %
    Swift
    5.6 %
    HTML
    5.6 %
    SMT
    5.6 %
    TypeScript
    5.6 %
  • Location 🇺🇸 United States
  • Country Total Rank 98,015
  • Country Ranking
    SMT
    35
    Agda
    47
    PureScript
    64
    Crystal
    290
    Haskell
    1,598
    Swift
    9,103

Top repositories

1

shape-lang-purs

A well-typed structural editor.
PureScript
5
star
2

zypr

A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.
PureScript
4
star
3

SuperSoccer

A JS game using phaser.io that requires PS3 controllers to play. 2-Player
JavaScript
2
star
4

eval-via-norm

Evaluation by normalization
Agda
2
star
5

Graphics-389---Notes

Notes for my graphics class at reed college. Projects are kept in a seperate repository.
HTML
1
star
6

philosophical-consistency-test

JavaScript
1
star
7

crystal_genealogy

A simple genealogy model written in crystal.
Crystal
1
star
8

shape-lang

TypeScript
1
star
9

monadic-quicksort-verification

A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
SMT
1
star
10

itse

A simple self-typed language (system S) for lambda-encoded data-types.
Haskell
1
star
11

IMP-Interpreter

This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.
Haskell
1
star
12

musicgenerator

This is a program that generates tones according to algorithms that may end up sounding like music
JavaScript
1
star
13

Lingua

Implementations of and reasonings about a variety of simple functional languages, in Agda.
Agda
1
star
14

QR-Code-Scanner

This is a simple html/js structure for implementing the use of http://goqr.me to generate QR codes
JavaScript
1
star
15

Functive

A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.
Haskell
1
star
16

Python_Genealogy_2

Creates a genealogy similar to a biological system. Enacts selection using fitnesses based on age, amount of children, and a trait (color). Includes support for generating a Graphviz graph of the genealogy, where color represents trait.
Python
1
star
17

Textual

A simple text editor for iOS that integrates directly with iOS Files.
Swift
1
star
18

GenealogyModel3

A reimplementation of GenealogyModel. Meant to be faster and more modular, with API for external experiments, importing, and exporting.
Python
1
star