Giters
Francesco Macrì (francescomacri)

francescomacri

Geek Repo

2

followers

1

following

37

stars

Home Page:https://www.piecesofmathematics.com

Github PK Tool:Github PK Tool

Francesco Macrì's starred repositories

mathematics-roadmap

A Comprehensive Roadmap to Mathematics

Stargazers:2010Issues:0Issues:0

zotero-better-bibtex

Make Zotero effective for us LaTeX holdouts

Language:TypeScriptLicense:MITStargazers:5078Issues:0Issues:0

neural-networks-and-deep-learning

Code samples for my book "Neural Networks and Deep Learning"

Language:PythonStargazers:15766Issues:0Issues:0

category-theory-illustrated

A book about category theory

Language:HTMLStargazers:319Issues:0Issues:0

lean4game

Server to host lean games.

Language:TypeScriptLicense:GPL-3.0Stargazers:159Issues:0Issues:0

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

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

functor-network

a blog platform for mathematicians

Language:HaskellStargazers:7Issues:0Issues:0

site_demo

Language:ShellLicense:MITStargazers:23Issues:0Issues:0

moderngl

Modern OpenGL binding for python

License:MITStargazers:110Issues:0Issues:0

perseus

Perseus is Khan Academy's new exercise question editor and renderer.

Language:JavaScriptLicense:MITStargazers:150Issues:0Issues:0

videos

Code for the manim-generated scenes used in 3blue1brown videos

Language:PythonStargazers:5848Issues:0Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:61154Issues:0Issues:0

3Blue1Brown.com

Language:MDXLicense:NOASSERTIONStargazers:350Issues:0Issues:0

Monte-Carlo

Language:Jupyter NotebookStargazers:3Issues:0Issues:0

forallx-yyc

UCalgary version of forallx, an introduction to formal logic

Language:TeXLicense:CC-BY-4.0Stargazers:89Issues:0Issues:0

thep

A library for additively homomorphic encryption and advanced cryptographic protocols.

Language:JavaStargazers:12Issues:0Issues:0

tfhe

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

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

SEAL

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

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

fully-homomorphic-encryption

An FHE compiler for C++

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

sphincsplus

The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project

Language:CLicense:NOASSERTIONStargazers:125Issues:0Issues:0

dilithium

Language:CLicense:NOASSERTIONStargazers:364Issues:0Issues:0

kyber

Language:CLicense:NOASSERTIONStargazers:742Issues:0Issues:0

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTMLStargazers:157Issues:0Issues:0

pyodide

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

Language:PythonLicense:MPL-2.0Stargazers:11800Issues:0Issues:0

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Language:TypeScriptLicense:Apache-2.0Stargazers:145Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

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

long-haul

A minimal, type-focused Jekyll theme.

Language:SCSSLicense:MITStargazers:667Issues:0Issues:0

matlab2tikz

This program converts MATLAB®/Octave figures to TikZ/pgfplots figures for smooth integration into LaTeX.

Language:MATLABLicense:BSD-2-ClauseStargazers:1541Issues:0Issues:0

MathJax-docs

MathJax documentation. Beautiful math in all browsers. Beautifully documented.

Language:PythonLicense:Apache-2.0Stargazers:540Issues:0Issues:0

octave

GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org

Language:C++License:GPL-3.0Stargazers:382Issues:0Issues:0