Alternatives and similar repositories for VerseProgrammingLanguage

Users that are interested in VerseProgrammingLanguage are comparing it to the libraries listed below

• verse-lang / verse
  The Verse Programming Language
  ☆170Updated 3 years ago
• spilth / awesome-verse
  A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.
  ☆74Updated last year
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆123Updated 9 months ago
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆71Updated last month
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆311Updated 10 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated last year
• aztecs-hs / aztecs
  A modular game engine and ECS for Haskell
  ☆131Updated last month
• incoherentsoftware / defect-process
  Defect Process (2d hack n' slash game) full source code
  ☆221Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆52Updated 3 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated this week
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆440Updated this week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆152Updated last year
• HigherOrderCO / HVM3
  HVM3
  ☆261Updated last week
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆34Updated last year
• jonascarpay / apecs
  a fast, extensible, type driven Haskell ECS framework for games
  ☆395Updated 3 months ago
• Andrea / FunctionalProgrammingInGames
  Functional Programming in Games Resources
  ☆218Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆89Updated 2 months ago
• stefan-hoeck / idris2-tutorial
  ☆234Updated last month
• fDero / Verse
  Interpreter of the Verse programming language (this language is the precursor of Basalt)
  ☆17Updated 8 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆145Updated 5 months ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆284Updated 2 years ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆203Updated this week
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆56Updated 2 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆133Updated 2 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆144Updated last week