Repository Index

Compilation and Verification of Data-Centric Languages

• verification
• query-language
• query-engine
• functional-programming

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

• common-lisp
• domain-specific-languages
• dsl
• json

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

The 100% Pure x86-64 Assembly Systems Language

• assembler
• assembly
• assembly-lang
• assembly-language

Common Interface to ISO Prolog implementations from Common Lisp

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• 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