Alternatives and similar repositories for skip

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

• grain-lang / grain
  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
  ☆3,349Updated last week
• reasonml / reason
  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  ☆10,229Updated last month
• reasonml / reason-react
  Reason bindings for ReactJS
  ☆3,266Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,496Updated this week
• mint-lang / mint
  🍃 A refreshing programming language for the front-end web.
  ☆4,116Updated this week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,458Updated 3 months ago
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,867Updated this week
• fastpack / fastpack
  Pack JS code fast & easy
  ☆2,265Updated 2 years ago
• typelead / eta
  The Eta Programming Language, a dialect of Haskell on the JVM
  ☆2,621Updated 2 years ago
• revery-ui / revery
  Native, high-performance, cross-platform desktop apps - built with Reason!
  ☆8,068Updated 3 years ago
• evanw / thinscript
  A low-level programming language inspired by TypeScript
  ☆1,369Updated 9 years ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,714Updated this week
• rescript-lang / rescript
  ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
  ☆7,040Updated this week
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,638Updated 10 months ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,013Updated this week
• marcobambini / gravity
  Gravity Programming Language
  ☆4,387Updated last month
• bodil / typed-html
  Type checked JSX for Rust
  ☆1,873Updated 2 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,870Updated last week
• vramana / awesome-reasonml
  A collection of awesome things regarding Reason/OCaml ecosystem.
  ☆1,475Updated 10 months ago
• flix / flix
  The Flix Programming Language
  ☆2,272Updated this week
• p-org / P
  The P programming language.
  ☆3,284Updated this week
• kitlang / kit
  Kit: a magical, high performance programming language, designed for game development.
  ☆1,025Updated 3 years ago
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,339Updated 2 years ago
• esy / esy
  package.json workflow for native development with Reason/OCaml
  ☆850Updated 2 weeks ago
• FascinatedBox / lily
  Interpreted language focused on expressiveness and type safety.
  ☆1,084Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆1,999Updated this week
• bytecodealliance / lucet
  Lucet, the Sandboxing WebAssembly Compiler.
  ☆4,054Updated 3 years ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,317Updated last month
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆932Updated 3 weeks ago
• facebook / Haxl
  A Haskell library that simplifies access to remote data, such as databases or web-based services.
  ☆4,301Updated last week