Explore Projects
Discover 140 open source projects
Showing 101-120 of 140 projects
ngs-lang/ngs
Next Generation Shell (NGS) is a powerful, modern shell and scripting language written in C.
fetlang/fetlang
Fetlang is an esoteric programming language with a fetish-themed syntax, used as a compiler target and transpiler.
plfa/plfa.github.io
An introduction to programming language theory and Agda, a dependently-typed functional programming language.
hylo-lang/hylo
The Hylo programming language is a new open-source language focused on building AI-powered applications.
vmware-archive/differential-datalog
DDlog is a declarative language for writing programs that continuously update their output in response to input changes.
sger/ElixirBooks
A curated list of books for learning the Elixir programming language and related technologies.
hendisantika/List-All-Programming-Telegram-Group
A curated list of programming-related Telegram groups, useful for developers to discover and join relevant communities.
SaptakBhoumik/Peregrine
A fast and modern programming language built for the AI-powered future of software development.
ring-lang/ring
A lightweight, multi-paradigm programming language for building applications, tools, and DSLs.
live-codes/livecodes
A TypeScript-based code playground and editor with live coding features and support for various programming languages.
titzer/virgil
A fast and lightweight native programming language for system programming and WebAssembly development.
objectionary/eo
EOLANG is an experimental pure object-oriented programming language based on the ฯ-calculus, targeting developers interested in novel language paradigms.
noir-lang/noir
Noir is a domain-specific language for building zero-knowledge proofs, written in Rust.
brendanzab/codespan
A Rust library for providing beautiful diagnostic reporting for text-based programming languages.
py4j/py4j
Py4J enables Python programs to dynamically access arbitrary Java objects, enabling integration between Python and Java.
CodesdaLu/Programming-Books
A repository containing a collection of programming books in various languages and topics.
krisnova/naml
Convert Kubernetes YAML to Golang, a utility for developers working with Kubernetes and Go.
inko-lang/inko
A Rust-based concurrent programming language that aims to make building reliable software easier.
dibyendumajumdar/ravi
Ravi is a JIT-enabled dialect of Lua with optional static typing for high-performance applications.
gfngfn/SATySFi
SATySFi is a statically-typed, functional typesetting system written in OCaml for creating high-quality PDF documents.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.