stevekrouse / hs.js

Related projects: ⓘ

• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 6 years ago
• suhr / conc
  ☆18Updated this week
• maryrosecook / timeline
  Timeline
  ☆15Updated last year
• elynnyap / galaga
  ☆14Updated this week
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated last year
• ar-nelson / jaspr
  Lisp for JSON
  ☆17Updated 6 years ago
• hellerve / blog
  My personal blog
  ☆14Updated 10 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 3 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• forest-lang / notes
  Notes from my research for forest-lang
  ☆12Updated 2 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 2 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 2 weeks ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆69Updated 13 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 9 years ago
• jdan / scheme-to-js
  a scheme->js compiler written in scheme
  ☆17Updated 6 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆45Updated 6 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆26Updated 4 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• rbyte / Vogo
  Direct Manipulation of Turtle Graphics
  ☆37Updated 2 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• sschauss / wracket
  Lisp-like language to WebAssembly build with racket
  ☆22Updated 6 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆14Updated last year
• mgree / trampoline
  Safely running potentially non-terminating functions in Elm.
  ☆10Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆19Updated 11 months ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 7 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 2 years ago