Bloch: a strongly typed, hardware-agnostic, hybrid quantum programming language • Rank 3.3 • Science 92%

Bloch: a strongly typed, hardware-agnostic, hybrid quantum programming language - Published in JOSS (2026)

Metatheory.jl — Peer-reviewed • Rank 14.3 • Science 77%

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation - Published in JOSS (2021)

dace • Rank 19.1 • Science 72%

DaCe - Data Centric Parallel Programming

agda • Rank 21.2 • Science 62%

Agda is a dependently typed programming language / interactive theorem prover.

numbat • Rank 22.3 • Science 54%

A statically typed programming language for scientific computations with first class support for physical dimensions and units

eo • Rank 11.5 • Science 64%

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus

knowledge-graph-language • Rank 5.0 • Science 67%

A query language for exploring knowledge graphs.

@catala-lang/french-law • Rank 15.6 • Science 54%

Programming language for literate programming law specification

Eclipse Golo — Peer-reviewed • Rank 9.1 • Science 59%

Eclipse Golo - Published in JOSS (2016)

julia • Rank 28.3 • Science 36%

The Julia Programming Language

https://github.com/cqcl/guppylang • Rank 17.6 • Science 44%

Pythonic quantum-classical programming language

https://github.com/dafny-lang/dafny • Rank 24.0 • Science 36%

Dafny is a verification-aware programming language

byteskript • Rank 4.3 • Science 44%

A compiled JVM language based on 'Skript'.

exeme-lang • Rank 3.7 • Science 44%

An optimised, elegant, and compiled programming language.

javascript-youtube-course • Rank 0.0 • Science 44%

This repository contains all source code and examples from the complete JavaScript course available on YouTube.

nelson • Rank 6.9 • Science 26%

The Nelson Programming Language

hackmoji.jl • Rank 0.7 • Science 31%

A small language based on Brainfuck which is written to help my children Hamiltonian and Valerian to learn programming.

https://github.com/buaadreamer/dlpy • Rank 0.7 • Science 23%

Programming Language for Deep Learning in Python

https://github.com/b1f6c1c4/pythoness • Rank 4.9 • Science 13%

Check how pythonic a Github user is.

https://github.com/binhangyuan/javamethodautoabridging • Rank 1.4 • Science 13%

https://github.com/cronokirby/iku • Rank 1.1 • Science 13%

WIP programming language

https://github.com/erictleung/rosalind • Rank 1.8 • Science 10%

:traffic_light: Programming Solutions to Bioinformatic Rosalind Problems

https://github.com/cedrickchee/hou • Science 13%

Hou :monkey: programming language interpreter and compiler

https://github.com/andstor/mush-dsl • Science 13%

:hammer: Simple, intuitive, and powerful DSL inspired by multiple popular programming languages.

covscript • Science 67%

Make Programming Easier

https://github.com/cgcl-codes/naturalcc • Science 26%

NaturalCC: An Open-Source Toolkit for Code Intelligence

ray • Science 26%

A Universal Language: One Ray to rule them all, One Ray to find them, One Ray to bring them all, and in the darkness bind them.

mydef • Science 44%

Programming in the next paradigm -- your way

numere • Science 67%

Framework for numerical computations, data analysis and visualisation

universalpython • Science 52%

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.

iustcompiler • Science 44%

IUST Compiler Design: Principles, Techniques, and Tools

avtandil-programming-language • Science 49%

Esoteric programming language adopted to Digital Humanities tasks. Python implementation. 🤖

https://github.com/capjamesg/visionscript-vscode-highlight • Science 13%

A TextMate Grammar (tmGrammar) for use with VisionScript.

hapy • Science 44%

Hausa Programming language that compiles to Python

https://github.com/clarkzjw/one-two-three...infinity • Science 26%

:straight_ruler: Calculating the sum from one to a billion in different programming languages, inspired by https://github.com/leachim6/hello-world

https://github.com/awslabs/bedrock-vscode-playground • Science 13%

Explore and experiment with large language models (LLMs) available in Amazon Bedrock

tmlox • Science 26%

Lox language interpreter written with C#

chinesepython • Science 44%

Unofficial upload of ChinesePython, a translation of the Python programming language in Chinese [Provided by UrduPython engineers]

virtual-cat-programming-language-interpreter • Science 67%

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.

golang-examples • Science 64%

Go(lang) examples - (explain the basics of #golang)

aq • Science 44%

AQ is an interpreted programming language. It is fast, small, simple and safe. At the same time, programs written in AQ can also be compiled. Maybe a great piece of work.

https://github.com/aq-org/docs • Science 13%

AQ Official Documentation.

GNU Data Language 1.0 — Peer-reviewed • Science 95%

GNU Data Language 1.0: a free/libre and open-source drop-in replacement for IDL/PV-WAVE - Published in JOSS (2022)

benchmarks • Science 44%

World's complete programming language benchmark

mini-lang • Science 44%

The example mini programming language written for the "Write a language in a week" series.

https://github.com/airscripts/analscript • Science 26%

A modern approach for writing anally fast stuff.