a Productive Parallel Programming Language

Concise and beautiful algorithms written in Julia

Interactive data visualizations and plotting in Julia

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

🎓 Path to a free self-taught education in Computer Science!

A new type of shell

This repository is a list of machine learning libraries written in Rust. It's a compilation of GitHub repositories, blogs, books, movies, discussions, papers, etc. 🦀

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

🦀 Small exercises to get you used to reading and writing Rust code!

Educational blog posts for Rust beginners

A friendly programming language from the future

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

Emerging smart contract language for the Ethereum blockchain.

Deep universal probabilistic programming with Python and PyTorch

Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.