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
  ☆165Updated 3 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆73Updated 5 months ago
• spilth / awesome-verse
  A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.
  ☆65Updated last year
• VerseMetaVerse / UnrealVerse
  Information and links about Epic's Unreal Engine including Verse programming language for UEFN, Unreal, Fortnite and the Metaverse along …
  ☆71Updated 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…
  ☆497Updated last month
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆256Updated 5 months ago
• PreyK / Unreal-Minimum-Viable-Flecs
  Minimum viable Flecs entity component system implementation in Unreal Engine.
  ☆166Updated 6 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• EpicSkookumScript / SkookumScript-Plugin
  Latest full source of the SkookumScript UE4 plugin and runtime.
  ☆135Updated 2 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆286Updated 3 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆162Updated 3 years ago
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆284Updated 4 months ago
• cem-akkaya / LightAwareness
  Standalone Lightweight, Light Detection System
  ☆13Updated 2 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆301Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆105Updated 2 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆138Updated this week
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated this week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 5 years ago
• HigherOrderCO / kindbook
  ☆44Updated last month
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆32Updated 11 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆208Updated this week
• HigherOrderCO / HVM1
  A massively parallel, optimal functional runtime in Rust
  ☆30Updated 6 months ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated 11 months ago
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆80Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated last week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆274Updated last year
• lexi-lambda / talks
  ☆44Updated last year