8000 rvlobato (Ronaldo V. Lobato) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View rvlobato's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report rvlobato

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results

Code to automatically prove or verify estimates in analysis

Python 99 3 Updated May 8, 2025

Zulip Desktop client for Mac, Windows and Linux.

TypeScript 887 474 Updated Mar 13, 2025

Matplotlib tutorial for beginner

Python 3,039 817 Updated May 27, 2024

Astrophysical Multipurpose Software Environment. This is the main repository for AMUSE

C 168 105 Updated Apr 24, 2025

A WebExtension which can display/remove duplicate bookmarks or empty folders

JavaScript 126 11 Updated Aug 24, 2023

A scikit-learn compatible neural network library that wraps PyTorch

Jupyter Notebook 6,019 396 Updated Apr 24, 2025

A fast and lightweight IDE

C 3,259 617 Updated Apr 27, 2025

☁️ Sync your bookmarks privately across browsers and devices

JavaScript 6,555 257 Updated May 7, 2025

mupdf mirror

C 2,055 366 Updated May 7, 2025

PDF support (mupdf backend) for zathura

C 95 22 Updated May 7, 2025

Document viewer

C 2,417 164 Updated Apr 11, 2025

Expert Systems for Python

Python 165 43 Updated Feb 9, 2025

PyKnow: Expert Systems for Python

Python 478 148 Updated Feb 23, 2020

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

C 1,285 281 Updated May 5, 2025

Mirror of Gerrit Jami Core Library and Daemon

C++ 147 50 Updated May 7, 2025

Mirror

C++ 10 2 Updated May 7, 2025

a framework for package management

Python 110 33 Updated Apr 11, 2025
C 28 8 Updated Apr 21, 2025

Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)

HTML 1,900 347 Updated Mar 27, 2025

SimulIDE Circuit Simulator.

C++ 147 27 Updated May 4, 2025

Vim-fork focused on extensibility and usability

Vim Script 89,294 6,067 Updated May 8, 2025

A post-modern modal text editor.

Rust 37,257 2,788 Updated May 7, 2025

Local Deep Research is an AI-powered assistant that transforms complex questions into comprehensive, cited reports by conducting iterative analysis using any LLM across diverse knowledge sources in…

Python 2,564 258 Updated May 7, 2025

This emacs package automatically synchronizes the Emacs theme with GNOME's color scheme

Emacs Lisp 5 3 Updated Mar 25, 2025

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Python 14,253 1,132 Updated Jan 18, 2025

Ellama is a tool for interacting with large language models from Emacs.

Emacs Lisp 769 54 Updated Apr 2, 2025

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.

Go 139,869 11,682 Updated May 8, 2025

Compact syntax for short lambda

Emacs Lisp 39 7 Updated Mar 14, 2025
Next
0