Alternatives and similar repositories for val:

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

• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated last month
• unisonweb / unison
  A friendly programming language from the future
  ☆5,881Updated this week
• roc-lang / roc
  A fast, friendly, functional language.
  ☆4,656Updated this week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,435Updated 5 months ago
• melange-re / melange
  A mixture of tooling combined to produce JavaScript from OCaml & Reason
  ☆882Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,456Updated this week
• gleam-lang / awesome-gleam
  💯 A collection of Gleam libraries, projects, and resources
  ☆1,449Updated 3 weeks ago
• 0no-co / gql.tada
  🪄 Magical GraphQL query engine for TypeScript
  ☆2,681Updated last month
• elm / core
  Elm's core libraries
  ☆2,806Updated 6 months ago
• dmjio / miso
  A tasty Haskell front-end framework
  ☆2,219Updated last month
• aantron / dream
  Tidy, feature-complete Web framework
  ☆1,651Updated last month
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,239Updated 3 weeks ago
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,598Updated 6 months ago
• brownplt / pyret-lang
  The Pyret language.
  ☆1,081Updated last week
• echo-webkom / echo-web-frontend
  Frontend til nettsiden til echo – Linjeforeningen for informatikk.
  ☆9Updated 2 years ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,575Updated last week
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,469Updated 7 months ago
• getgrit / gritql
  GritQL is a query language for searching, linting, and modifying code.
  ☆3,364Updated this week
• echo-webkom / echo-web-backend
  Backend til nettsiden til echo – Linjeforeningen for informatikk.
  ☆11Updated 2 years ago
• grain-lang / grain
  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
  ☆3,309Updated this week
• izolate / agegate
  A simple function that verifies a date of birth against a country's legal drinking age.
  ☆16Updated 2 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,859Updated 2 weeks ago
• flix / flix
  The Flix Programming Language
  ☆2,215Updated this week
• siiron / norwegian-design-systems
  A curated list of design systems, pattern libraries, and styleguides from Norway
  ☆111Updated 2 months ago
• urweb / urweb
  The Ur/Web programming language
  ☆806Updated 8 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,400Updated this week
• craftcms / element-api
  Create a JSON API/Feed for your elements in Craft.
  ☆499Updated last week
• uiua-lang / uiua
  A stack-based array programming language
  ☆1,727Updated this week
• trpc / trpc-openapi
  OpenAPI support for tRPC 🧩
  ☆2,253Updated 2 months ago
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,107Updated last year