Alternatives and similar repositories for futhark-vscode:

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

• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 3 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆10Updated 6 months ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated 10 months ago
• vrtbl / aspen
  Passerine's package manager.
  ☆22Updated 2 years ago
• simmsb / some-scheme-compiler
  A CPS transforming scheme compiler, Cheney on the MTA, etc
  ☆14Updated 4 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 3 weeks ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 5 months ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated 2 weeks ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 5 months ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• diku-dk / futhark-website
  Git repository containing the Futhark website.
  ☆10Updated 3 weeks ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 8 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆32Updated 10 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago