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
: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)
Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds
- compiler
- compiler-principles
- compiler-construction
- swift
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
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 💪🧠