Metatheory.jl
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation - Published in JOSS (2021)
agda
Agda is a dependently typed programming language / interactive theorem prover.
numbat
A statically typed programming language for scientific computations with first class support for physical dimensions and units
eo
EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus
@catala-lang/french-law
Programming language for literate programming law specification
https://github.com/cqcl/guppylang
Pythonic quantum-classical programming language
javascript-youtube-course
This repository contains all source code and examples from the complete JavaScript course available on YouTube.
hackmoji.jl
A small language based on Brainfuck which is written to help my children Hamiltonian and Valerian to learn programming.
mini-lang
The example mini programming language written for the "Write a language in a week" series.
chinesepython
Unofficial upload of ChinesePython, a translation of the Python programming language in Chinese [Provided by UrduPython engineers]
virtual-cat-programming-language-interpreter
This is a softaware component of the virtual Cross Array Task (CAT) platform that translates user actions, including gesture interactions and arranged visual programming blocks, into executable machine-readable instructions, a formal algorithm specified using the CAT programming language.
universalpython
Write Python in any human language. UniversalPython is a transpiler which makes it possible to write Python code in different human languages like Urdu, German, Czech, and more. The code is translated to Python.
