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.
R interface for Apache Spark
Deep learning for Ruby, powered by LibTorch
Ruby library for interfacing with FANN (Fast Artificial Neural Network)
- ai
- ruby-fann
- ruby-gem
- neural-network
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