Skip to content
View martin-henz's full-sized avatar


Block or Report

Block or report martin-henz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

For some fun with JavaScript, see my blog J15N.

Pinned Loading

  1. source-academy/sicp source-academy/sicp Public

    XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions

    JavaScript 891 115

  2. source-academy/frontend source-academy/frontend Public

    Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)

    TypeScript 101 164

  3. source-academy/js-slang source-academy/js-slang Public

    Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python

    TypeScript 64 102

  4. source-academy/backend source-academy/backend Public

    Backend of Source Academy @ NUS, LMS extension of Source Academy (Elixir, Ecto, Phoenix, PostgreSQL)

    Elixir 37 49