Alternatives and similar repositories for futhark-website:

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

• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 6 months ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 10 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆38Updated 8 months ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 4 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated this week
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆28Updated 4 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 3 weeks ago
• pnwamk / sst-tutorial
  ☆16Updated 3 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆46Updated 5 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 3 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• kfl / wpp
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Updated 4 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago