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
  ☆169Updated 3 years ago
• spilth / awesome-verse
  A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.
  ☆75Updated 2 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆228Updated 2 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆318Updated 3 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆79Updated last year
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆426Updated 4 months ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆504Updated 2 weeks ago
• HigherOrderCO-archive / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated last year
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆76Updated 2 weeks ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• 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…
  ☆537Updated 2 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,066Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆291Updated 2 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• fDero / Verse
  Interpreter of the Verse programming language (this language is the precursor of Basalt)
  ☆17Updated last year
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆213Updated 2 weeks ago
• HigherOrderCO-archive / hvm-64
  ☆494Updated last year
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆421Updated this week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated this week
• HigherOrderCO-archive / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 3 months ago
• jeprinz / pantograph
  ☆101Updated 11 months ago
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆465Updated 2 months ago
• EpicSkookumScript / SkookumScript-Plugin
  Latest full source of the SkookumScript UE4 plugin and runtime.
  ☆137Updated 3 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆317Updated 2 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆273Updated last year
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆340Updated this week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆146Updated 6 years ago