A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
47,133 repositories indexed
73–96 of 126 · Most stars
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Expression evaluation in golang
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
An OCaml generic virtual machine for microcontrollers
J2ME implementation in JavaScript
- j2me
A little scheme implementation on top of Clojure
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
Electra is an esolang where you code like an electrician.
a fast interpreter and JIT for R
Salesforce Formula Parser implemented in ES2017. Live demo at
A Bitcoin Script Interpreter and Debugger in Scala
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
The repository host gives no description.
- golang
- s-expressions
- expression
- evaluation
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
The Thue programming language: Programming with grammars
OCaml library for combinatorics
GCode interpreter and simulator for node.js
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd