M's starred repositories

gdrive

Google Drive CLI Client

Language:RustLicense:MITStargazers:1460Issues:0Issues:0

gdrive

Google Drive CLI Client

Language:GoLicense:MITStargazers:8992Issues:0Issues:0

awesome-piracy

A curated list of awesome warez and piracy links

Language:HTMLLicense:CC0-1.0Stargazers:24171Issues:0Issues:0

mathlib3

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

Language:LeanLicense:Apache-2.0Stargazers:1666Issues:0Issues:0

react-latex

React component to render Latex strings

Language:JavaScriptLicense:MITStargazers:175Issues:0Issues:0

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Language:Jupyter NotebookLicense:MITStargazers:5Issues:0Issues:0

Back-End-Developer-Interview-Questions

A list of back-end related questions you can be inspired from to interview potential candidates, test yourself or completely ignore

License:GPL-2.0Stargazers:15338Issues:0Issues:0

Adafruit-GFX-Library

Multilingual fork of the Adafruit GFX graphics core library, this is the 'core' class that all our other graphics libraries derive from

Language:C++License:NOASSERTIONStargazers:29Issues:0Issues:0

mastodon

Your self-hosted, globally interconnected microblogging community

Language:RubyLicense:AGPL-3.0Stargazers:46849Issues:0Issues:0

homalg_project

Deposited packages of the homalg project

Language:GAPStargazers:12Issues:0Issues:0

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

Language:GAPLicense:GPL-2.0Stargazers:803Issues:0Issues:0

gpt-3

GPT-3: Language Models are Few-Shot Learners

Stargazers:15659Issues:0Issues:0

latex-css

LaTeX.css is a CSS library that makes your website look like a LaTeX document

Language:HTMLLicense:MITStargazers:2771Issues:0Issues:0

lsystembot

:paperclip::fire: twitter bot; generates random l systems

Language:JavaScriptStargazers:144Issues:0Issues:0

winget-cli

WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).

Language:C++License:MITStargazers:23014Issues:0Issues:0

mathematics-roadmap

A Comprehensive Roadmap to Mathematics

Stargazers:2088Issues:0Issues:0

lean3

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:2147Issues:0Issues:0

scrapy-tutorials

source code for my youtube scrapy tutorials

Language:HTMLStargazers:51Issues:0Issues:0

hol-light

The HOL Light theorem prover

Language:OCamlLicense:NOASSERTIONStargazers:415Issues:0Issues:0

blender

Official mirror of Blender

Language:C++License:NOASSERTIONStargazers:12876Issues:0Issues:0

metamath-turing-machines

metamath proof enumerators and other things

Language:TclLicense:MITStargazers:86Issues:0Issues:0

Bayesian-Inference-and-Machine-Learning

A text on Bayesian inference. Applying Bayesian regression and a Bayesian convolutional neural net on data from simulations of the Ising model

Language:Jupyter NotebookStargazers:48Issues:0Issues:0

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1246Issues:0Issues:0

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

Language:ScalaLicense:AGPL-3.0Stargazers:15095Issues:0Issues:0

destiny

Prettier for File Structures

Language:TypeScriptLicense:MITStargazers:3531Issues:0Issues:0

axel

Haskell + Lisp

Language:HaskellLicense:BSD-3-ClauseStargazers:205Issues:0Issues:0

Logic-Bot

@mathslogicbot

Language:PythonLicense:MITStargazers:20Issues:0Issues:0

robin_stocks

This is a library to use with Robinhood Financial App. It currently supports trading crypto-currencies, options, and stocks. In addition, it can be used to get real time ticker information, assess the performance of your portfolio, and can also get tax documents, total dividends paid, and more. More info at

Language:PythonLicense:MITStargazers:1688Issues:0Issues:0

Deep_Learning_Machine_Learning_Stock

Deep Learning and Machine Learning stocks represent promising opportunities for both long-term and short-term investors and traders.

Language:Jupyter NotebookLicense:MITStargazers:1220Issues:0Issues:0