wyvern
Assurance language
A programming language designed to support adaptable and assurance-driven software development
The Wyvern programming language.
556 stars
79 watching
65 forks
Language: Java
last commit: 3 months ago programming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 1whatleytay/kara | A high-performance, statically typed programming language designed to simplify development while maintaining speed. | 13 |
 wa-lang/wa | A statically typed language designed for high-performance web applications using WebAssembly | 1,313 |
 alphamarc/wyah | An implementation of a programming language and its compiler in Haskell | 0 |
 kgabis/ape | A programming language and runtime environment that allows developers to write and execute programs in a dynamically typed language with a focus on simplicity and ease of use. | 264 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |
 rsms/wlang | Develops an assembler and compiler for a programming language | 46 |
 m-nasiruddin/wsi4urlang | Develops techniques to induce word senses in under-resourced languages using computational methods. | 0 |
 wschwab/language-vyper | Provides VSCode and Atom integration for Vyper programming language support | 1 |
 bradford-hamilton/monkey-lang | An implementation of a custom programming language with features such as compilation and execution capabilities. | 45 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |
 delta456/monkey_v | An implementation of a programming language interpreter in V. | 37 |
 brwhale/katascript | A lightweight scripting language designed to be easily embedded in C++ applications. | 98 |
 matthewfl/ilang | A C++ programming language in development with support for various libraries and tools. | 5 |
 wren-lang/wren | A small, class-based scripting language with concurrent capabilities. | 6,948 |
 alvations/seedling | A corpus and API for human language data | 11 |