skiplang / skip
A programming language to skip the things you have already computed
β1,975Updated last year
Related projects β
Alternatives and complementary repositories for skip
- The Grain compiler toolchain and CLI. Home of the modern web staple. πΎβ3,279Updated this week
- Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystemsβ10,149Updated this week
- Functional language with intensional polymorphism and first-class staging.β925Updated 3 weeks ago
- A self-hosting Scheme to WebAssembly compilerβ1,270Updated 3 years ago
- Lucet, the Sandboxing WebAssembly Compiler.β4,062Updated 2 years ago
- Reason bindings for ReactJSβ3,249Updated this week
- Koka language compiler and interpreterβ3,314Updated 2 weeks ago
- Pony is an open-source, actor-model, capabilities-secure, high performance programming languageβ5,725Updated last week
- Modern low-level programming languageβ772Updated 6 months ago
- βοΈ A language that compiles to WebAssemblyβ420Updated 2 months ago
- A Dependently Typed Functional Programming Languageβ3,436Updated 3 months ago
- A low-level programming language inspired by TypeScriptβ1,361Updated 8 years ago
- A strongly-typed language that compiles to JavaScriptβ8,578Updated last month
- Pack JS code fast & easyβ2,266Updated last year
- A multi-syntax functional programming language that compiles to WebAssembly.β620Updated 3 years ago
- The Pyret language.β1,072Updated 3 weeks ago
- A safe, easy systems languageβ1,908Updated last week
- Sweeten your JavaScript.β4,584Updated 7 years ago
- Cranelift code generatorβ2,488Updated 4 years ago
- Io programming language. Inspired by Self, Smalltalk and LISP.β2,670Updated last year
- Compiler for Elm, a functional language for reliable webapps.β7,556Updated 4 months ago
- LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive β¦β2,322Updated 8 months ago
- Walt is a JavaScript-like syntax for WebAssembly text formatβ4,646Updated last year
- Maintainable configuration filesβ4,230Updated 2 weeks ago
- An experimental code editor for writing algorithmsβ2,915Updated 5 years ago
- A dynamic language and bytecode vmβ3,527Updated this week
- Type checked JSX for Rustβ1,867Updated last year
- The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifβ¦β5,249Updated 2 years ago