A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
47,133 repositories indexed
25–48 of 53 · Most stars
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter
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
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
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
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
GCode interpreter and simulator for node.js
An interpreter for C flat, a music-based programming language
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Implementation of a brainfuck interpreter written for the Game Boy.
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
📅 An esoteric programming language for no reason whatsoever.
- esoteric-language
- esoteric-programming-language
- esolang
- esolangs
Brainfuck interpreter written in Swift using Playground.
An esolang with brackets, a lot of brackets
- esolang
- esolangs
- interpreter
Ni is a small esoteric programming language turing complete, cell based, like brainfuck.
- esoteric-programming-language
- esoteric-language
- esoteric-interpreter
- esoteric-languages
GML Interpreter
A Latin-themed esoteric programming language where source code reads as prayer
- brainfuck
- c
- esolang
- esoteric-language