The Julia Programming Language
- julia-language
- julia
- scientific
- hpc
Repository Index
47,133 repositories indexed
1–24 of 30 · 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.
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
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
OCaml bindings for PyTorch
Ruby language bindings for LIBSVM
- libsvm
- ruby-bindings
- ruby
- ruby-language-bindings
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM
- clojure
- computer-vision
- kotlin
- opencv
High performance gradient boosting for Ruby
- machine-learning
- xgboost
- rubyml
🔍 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
Learn Lisp efficiently and become a happy programmer.
👩💻 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 💪🧠