A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
81,588 visible repositories in the index
97–120 of 126 · Most stars
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
An OCaml generic virtual machine for microcontrollers
Generic eBPF runtime
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
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter
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
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Salesforce Formula Parser implemented in ES2017. Live demo at
A Bitcoin Script Interpreter and Debugger in Scala
- scala
- bitcoin
- cryptocurrency
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
An embeddable implementation of the Ngaro Virtual Machine for Go programs
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Implementation of a brainfuck interpreter written for the Game Boy.
Brainfuck interpreter written in Swift using Playground.
A three-dimensional esoteric programming language
Ni is a small esoteric programming language turing complete, cell based, like brainfuck.
- esoteric-programming-language
- esoteric-language
- esoteric-interpreter
- esoteric-languages