Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with imperative-language
A curated list of projects in awesome lists tagged with imperative-language .
https://github.com/janet-lang/janet
A dynamic language and bytecode vm
c functional-language imperative-language interpreter language lisp macros repl vm
Last synced: 26 Sep 2024
https://github.com/cerus/edina
Edina - A simple stack-oriented compiled programming language.
compiled-language concatenative concatenative-language imperative imperative-language jvm-language language programming-language stack-based stack-based-language stack-oriented
Last synced: 01 Aug 2024
https://github.com/sauzeauyannis/ls-projet
An interpreter for an imperative language and a Hoare logic prover
coq hoare-logic imperative-language interpreter ocaml prover school-project
Last synced: 27 Sep 2024
