Hacker News
Linked pages
- Rust Programming Language https://www.rust-lang.org/ 595 comments
- Gleam https://gleam.run/ 451 comments
- The Roc Programming Language https://www.roc-lang.org/ 299 comments
- home https://elm-lang.org/ 285 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- The Ur Programming Language Family http://www.impredicative.com/ur/ 206 comments
- The Scala Programming Language http://scala-lang.org/ 193 comments
- Why Futhark? https://futhark-lang.org/index.html 150 comments
- The Unison language https://www.unison-lang.org/ 149 comments
- Welcome to a World of OCaml https://ocaml.org 137 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Haskell Language http://haskell.org/ 120 comments
- GitHub - jah2488/elm-companies: 🌲 A list of companies using Elm in production. https://github.com/jah2488/elm-companies 100 comments
- The Elixir programming language http://elixir-lang.org/ 74 comments
- PureScript http://www.purescript.org/ 47 comments
- F# Software Foundation http://fsharp.org 33 comments
- The ReScript Programming Language https://rescript-lang.org/ 32 comments
- Careers - Galois, Inc. http://galois.com/careers 20 comments
- GitHub - omarabid/rust-companies: A list of companies using Rust in production. https://github.com/omarabid/rust-companies 17 comments
- Mercury | Banking for Startups https://mercury.com/ 11 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - ad-si/awesome-fp-jobs: A curated list of awesome functional programming jobs.
See how to search.