Alternatives and similar repositories for futhark-website

Users that are interested in futhark-website are comparing it to the libraries listed below

• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 6 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆11Updated 4 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated last week
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated last month
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated 2 years ago
• vmchale / apple
  Apple array system
  ☆68Updated 2 weeks ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆85Updated 4 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆149Updated last week
• stchang / macrotypes
  ☆137Updated 3 years ago
• janestreet / sexplib
  Automated S-expression conversion
  ☆172Updated 3 weeks ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆27Updated 9 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆120Updated last month
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆70Updated 5 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆111Updated 3 years ago
• haskell / unix
  POSIX functionality
  ☆121Updated 2 weeks ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆168Updated 3 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆163Updated 3 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆74Updated 5 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 5 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 5 months ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 3 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago