Repository Index

The Julia Programming Language

• julia-language
• julia
• scientific
• hpc

The Modular Platform (includes MAX & Mojo)

• ai
• language
• machine-learning
• mojo

Convert Machine Learning Code Between Frameworks

• python
• tensorflow
• pytorch
• numpy

Open Machine Learning Compiler Framework

• compiler
• tensor
• deep-learning
• gpu

OpenCV wrapper for .NET

• opencv
• wrapper
• dotnet
• nuget

Brings SQL and AI together.

• sqlflow
• sql-syntax
• ai
• transpiler

.NET for Apache® Spark™ makes Apache Spark™ easily accessible to .NET developers.

• spark
• csharp
• dotnet
• analytics

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

• golang
• go
• examples
• learning

A curated collection of free resources to help deepen your understanding of the R programming language. Updated regularly. Contributions encouraged via pull request (see contributing.md).

• r
• learning-resources
• awesome
• awesome-list

:rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!

• tutorial
• learning
• elm-format
• elm-architecture

Powerful Powerful Machine Learning library with GPU, CPU and WASM backends

• deno
• webgpu
• neural-network
• ai

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)

Build systems with Go examples

• golang
• go
• book
• programming-language

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

• coq
• serialization
• json
• sexp

Scribe-Android: Keyboards for language learners & Conjugate-Android: Wikidata based verb conjugation app

• grammar
• keyboard
• language
• android

🔍 A step-by-step guide to parsing using Haskell parser combinators.

• haskell
• parser
• parser-combinators
• parsing

A small machine learning library written in Lisp (Clojure) aimed at providing simple, concise implementations of machine learning techniques and utilities.

• machine-learning
• lisp
• clojure

👩‍💻 Matrix and other math, accelerated by WebGPU and WASM

• webgpu
• deno
• matrix
• machine-learning

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Exercism Meets Neovim 💪🧠

• exercism
• language
• learning
• neovim

Machine learning compiler in Go. A from-scratch tinygrad port: graph-rewrite IR, autodiff as a compiler pass, zero-CGO WebGPU backend.

• autograd
• compiler
• deep-learning
• golang

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch