A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Repository Index
47,133 repositories indexed
49–72 of 83 · Most stars
Native Windows Bash for AI coding agents. Run Claude Code, Codex, opencode & Gemini CLI without Git Bash, MSYS2 or WSL. Built in Rust, with MCP support.
- ai-agents
- bash
- bash-interpreter
- claude-code
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
A CHIP-8 interpreter, assembler and disassembler in C
- chip8
- chip-8
- chip8-emulator
- emulator
Extensive math expression evaluator library for JavaScript and Node.js
- typescript
- interpreter
- javascript
- calculator
Electra is an esolang where you code like an electrician.
a fast interpreter and JIT for R
MARKUP provides a reader-macro to read HTML tags inside of Common Lisp code
A Bitcoin Script Interpreter and Debugger in Scala
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
Python interpreter selector for Neovim. Switch interpreters without restarting LSP.
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
A discord frontend for an interactive interpreter bot
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Neotest adapter for running busted tests using neovim as a lua interpreter
- busted
- neotest
- neovim
- neovim-plugin
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.