harlanhaskins / Letter

Related projects ⓘ

Alternatives and complementary repositories for Letter

• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 7 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆66Updated 10 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 2 years ago
• joewillsher / Vist
  The Vist programming language
  ☆16Updated 7 years ago
• dobesv / charity
  Charity Programming Language
  ☆38Updated 9 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆141Updated 6 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆249Updated 8 years ago
• soegaard / racket-poppler
  Racket bindings for Poppler (library for reading and generating pdfs)
  ☆25Updated 6 months ago
• racket / 2d
  2d syntax
  ☆19Updated 2 weeks ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆76Updated 9 months ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 9 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 8 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆22Updated 3 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆76Updated last month
• lexi-lambda / racket-tulip
  ☆15Updated 8 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• conal / paper-2020-higher-order-ad
  Higher-order, higher-order automatic differentiation
  ☆30Updated 4 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 10 years ago
• racket / draw
  ☆18Updated 2 weeks ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated 2 weeks ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated last year
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 10 years ago