origamitower / purrLinks
[wip] a programming environment for collaboration
☆110Updated 6 years ago
Alternatives and similar repositories for purr
Users that are interested in purr are comparing it to the libraries listed below
Sorting:
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- Crochet: A tool for creating and remixing interactive experiences, safely.☆124Updated last year
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆129Updated 8 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- An Elm to OCaml compiler☆206Updated 5 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 8 years ago
- An implementation of the Formality language in JavaScript☆71Updated 5 years ago
- Composable Concurrency Abstractions for JavaScript.☆18Updated 10 months ago
- The Purr programming language — a small, portable functional language for writing highly concurrent web servers.☆103Updated 9 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆113Updated 8 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 7 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A parsing library, focused on simplicity and great error messages☆233Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- A minimal proof language.☆206Updated 6 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆55Updated 6 years ago
- Make a lambda calculus.☆87Updated 4 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- Algebraic data types for Javascript☆220Updated 11 years ago
- יון no BS JS☆80Updated 7 years ago
- Wrap promises, never use .catch again☆25Updated 2 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- Contract library for javascript based on category theory.☆40Updated 8 years ago
- A Peer-to-Peer Operating System☆36Updated 6 years ago
- Formality in itself☆20Updated 4 years ago
- Hedwig is a fast, type safe, declarative PureScript library for building web applications.☆130Updated 4 years ago
- Space Invaders game in Elm☆23Updated 2 years ago
- ☆67Updated 8 years ago