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
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆122Updated 8 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆223Updated last year
• spilth / awesome-verse
  A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.
  ☆72Updated last year
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆142Updated 6 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆310Updated 10 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆84Updated last month
• jmgomez / NimForUE
  Nim plugin for UE5 with native performance, hot reloading and full interop that sits between C++ and Blueprints. This allows you to do co…
  ☆519Updated last week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• aztecs-hs / aztecs
  A modular game engine and ECS for Haskell
  ☆129Updated 3 weeks ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆283Updated 2 years ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,016Updated this week
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated 11 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆142Updated last week
• fDero / Verse
  Interpreter of the Verse programming language (this language is the precursor of Basalt)
  ☆17Updated 7 months ago
• HigherOrderCO / kindbook
  ☆52Updated 7 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆82Updated 10 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆151Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆422Updated this week
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆71Updated last month
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆324Updated 2 weeks ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆286Updated 5 years ago
• Andrea / FunctionalProgrammingInGames
  Functional Programming in Games Resources
  ☆218Updated last year
• ocaml-wasm / wasm_of_ocaml
  ☆269Updated 3 weeks ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆319Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated last month
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆437Updated this week