Skip to content
View josd's full-sized avatar

Block or report josd

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

All Algorithms implemented in Python

Python 219,073 50,250 Updated Mar 25, 2026

An Open Source Machine Learning Framework for Everyone

C++ 194,352 75,248 Updated Mar 26, 2026

Empowering everyone to build reliable and efficient software.

Rust 111,520 14,674 Updated Mar 26, 2026

Models and examples built with TensorFlow

Python 77,686 45,201 Updated Mar 25, 2026

The Python programming language

Python 72,115 34,314 Updated Mar 26, 2026

The Julia Programming Language

Julia 48,564 5,753 Updated Mar 26, 2026

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Jupyter Notebook 24,296 2,492 Updated Mar 26, 2026

Library of deep learning models and datasets designed to make deep learning more accessible and accelerate ML research.

Python 17,101 3,734 Updated Jun 2, 2023

An extensive math library for JavaScript and Node.js

JavaScript 15,022 1,298 Updated Mar 21, 2026

A computer algebra system written in pure Python

Python 14,508 5,214 Updated Mar 26, 2026

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Jupyter Notebook 8,706 4,025 Updated Aug 4, 2024

The old electron based nteract notebook

TypeScript 6,269 553 Updated Dec 30, 2023

The open source repository for Electricity Maps data parsers that powers the world's most comprehensive electricity data platform

Python 3,962 1,031 Updated Mar 26, 2026

A modern Prolog implementation written mostly in Rust.

Rust 2,375 161 Updated Mar 20, 2026
JavaScript 2,034 52 Updated Sep 1, 2016

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…

Python 1,997 404 Updated Jan 29, 2023

Python package for compiling and analyzing quantum algorithms to simulate electronic structures.

Python 1,669 412 Updated Mar 26, 2026

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,664 292 Updated Jun 28, 2024

Symbolic programming for the next generation of numerical software

Julia 1,506 183 Updated Mar 26, 2026

The Power of Prolog: Introduction to modern Prolog

HTML 1,360 85 Updated Feb 15, 2026

SWI-Prolog Main development repository

C 1,203 206 Updated Mar 24, 2026

Computer Algebra System in Javascript (Typescript)

TypeScript 997 63 Updated Jun 23, 2023

Lightning fast, spec-compatible, streaming RDF for JavaScript

JavaScript 781 141 Updated Mar 23, 2026

An open source Prolog interpreter in JavaScript

JavaScript 632 64 Updated Jan 30, 2023

A TensorFlow implementation of DeepMind's Differential Neural Computers (DNC)

Jupyter Notebook 580 161 Updated Jan 8, 2020

Solid Technical Reports

HTML 555 86 Updated Mar 26, 2026

Lean 3 Theorem Prover (community fork)

C++ 433 80 Updated Oct 12, 2023

My public programs and models - mostly combinatorial problems and puzzles

JavaScript 399 81 Updated Nov 27, 2025

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Python 396 48 Updated Mar 18, 2026

A compact, efficient Prolog interpreter written in plain old C.

C 346 28 Updated Mar 26, 2026
Next