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
  ☆171Updated 3 years ago
• spilth / awesome-verse
  A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.
  ☆73Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 6 months ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 10 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆309Updated 8 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆81Updated last week
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated 9 months ago
• HigherOrderCO / hvm-64
  ☆495Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆195Updated this week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆176Updated 4 years ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆356Updated this week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆109Updated this week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• standardml / twelf
  The Twelf Programming Language
  ☆137Updated 5 months ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆282Updated 2 years ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆403Updated this week
• mthom / scryer-shen
  ☆54Updated 2 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆969Updated this week
• EpicSkookumScript / SkookumScript-Plugin
  Latest full source of the SkookumScript UE4 plugin and runtime.
  ☆137Updated 3 years ago
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆48Updated last month
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆418Updated 2 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• jkoppel / ecta
  ☆35Updated last year
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated 3 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 5 months ago