diku-dk / futhark

Related projects: ⓘ

• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,491Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,241Updated this week
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,672Updated this week
• HigherOrderCO / Kind1
  A modern proof language
  ☆3,539Updated last month
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,427Updated last month
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,509Updated 2 weeks ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,466Updated this week
• flix / flix
  The Flix Programming Language
  ☆2,143Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,111Updated 2 months ago
• jfecher / ante
  A safe, easy systems language
  ☆1,895Updated last month
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,196Updated 6 months ago
• unisonweb / unison
  A friendly programming language from the future
  ☆5,734Updated this week
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,576Updated 3 weeks ago
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,005Updated 2 weeks ago
• aardappel / lobster
  The Lobster Programming Language
  ☆2,250Updated this week
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,444Updated this week
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆920Updated this week
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,092Updated last year
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,445Updated 3 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,201Updated 3 months ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆900Updated this week
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,977Updated last year
• factor / factor
  Factor programming language
  ☆1,619Updated this week
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆2,878Updated this week
• typelead / eta
  The Eta Programming Language, a dialect of Haskell on the JVM
  ☆2,606Updated 2 years ago
• VictorTaelin / Interaction-Calculus
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
  ☆755Updated last month
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,447Updated 9 months ago
• felix-lang / felix
  The Felix Programming Language
  ☆803Updated last month
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,853Updated last week
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,771Updated 4 months ago