Alternatives and similar repositories for notes:

Users that are interested in notes are comparing it to the libraries listed below

• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 6 months ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆15Updated 5 months ago
• cdouglass / samara
  An interpreter for a small ML-ish language
  ☆11Updated 7 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 6 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• jaredly / unison.rs
  ☆67Updated 2 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆27Updated 8 months ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆17Updated 3 weeks ago
• haskell-lisp / historic-lisk
  S-expression-based syntax alternative for Haskell.
  ☆21Updated 11 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 6 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago