The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Repository Index
47,133 repositories indexed
1–24 of 27 · Most stars
The Modular Platform (includes MAX & 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.
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!
Powerful Powerful Machine Learning library with GPU, CPU and WASM backends
[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
🔍 A step-by-step guide to parsing using Haskell parser combinators.
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
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 💪🧠
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