UnrealVerseGuru / VerseProgrammingLanguageLinks
Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
☆279Updated 2 years ago
Alternatives and similar repositories for VerseProgrammingLanguage
Users that are interested in VerseProgrammingLanguage are comparing it to the libraries listed below
Sorting:
- The Verse Programming Language☆170Updated 3 years ago
- A curated list of awesome resources, examples and tutorials for Verse, the programming language created by Epic Games.☆72Updated last year
- A minimal proof checker.☆75Updated 11 months ago
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 9 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago
- Interpreter of the Verse programming language (this language is the precursor of Basalt)☆17Updated 6 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆197Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆120Updated 7 months ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 10 months ago
- ☆119Updated last year
- Collection of Kind2 programs and proofs☆12Updated last year
- A categorical programming language with effects☆282Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆422Updated 3 months ago
- OCaml - Oxidized!☆444Updated this week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆142Updated 6 years ago
- Source material for Algebra-Driven Design☆151Updated last year
- Domain Specific Languages for Computational Law☆76Updated last month
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Embeddable Lambda Prolog Interpreter☆323Updated last week
- Defect Process (2d hack n' slash game) full source code☆218Updated 2 years ago
- A probabilistic programming language based on pattern-rewriting☆85Updated last year
- Pure functional programming with whole-program mutability inference☆72Updated last week
- ☆495Updated last year
- Accelerated machine learning with dependent types☆97Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- Information and links about Epic's Unreal Engine including Verse programming language for UEFN, Unreal, Fortnite and the Metaverse along …☆86Updated 4 months ago
- The Twelf Programming Language☆141Updated 6 months ago
- ☆125Updated this week