edgarcosta

edgarcosta's Stars

• drduh/macOS-Security-and-Privacy-Guide

  Guide to securing and improving privacy on macOS

  21.3k6832611.5k

• tpope/vim-surround

  surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

  Language:Vim Script13.5k130323444

• xzhih/one-key-hidpi

  Enable macOS HiDPI and have a native setting.

  Language:Shell9k992321k

• qvacua/vimr

  VimR — Neovim GUI for macOS in Swift

  Language:Swift6.7k117933220

• lervag/vimtex

  VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

  Language:TeX5.6k372.5k393

• OhMyGuus/I-Still-Dont-Care-About-Cookies

  Debloated fork of the extension "I don't care about cookies"

  Language:JavaScript3.6k1715.4k105

• tpope/vim-repeat

  repeat.vim: enable repeating supported plugin maps with "."

  Language:Vim Script2.6k305283

• sagemath/sage

  Main repository of SageMath

  Language:Python1.5k1135.7k487

• sagemathinc/cocalc

  CoCalc: Collaborative Calculation in the Cloud

  Language:TypeScript1.2k505.2k217

• flintlib/flint

  FLINT (Fast Library for Number Theory)

  Language:C44619924245

• LMFDB/lmfdb

  L-Functions and Modular Forms Database

  Language:Python253341.8k200

• hrmacbeth/math2001

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

  Language:HTML20631692

• dbmrq/vim-ditto

  :speak_no_evil: Stop repeating yourself

  Language:Vim Script176559

• pchalacis/trainerroad-to-trainingpeaks

  This code allows you to copy trainer road workouts to training peaks

  Language:JavaScript7214519

• roed314/seminars

  Listing of online math seminars

  Language:Python411028615

• nbruin/magma_kernel

  A magma kernel for Jupyter, based on bash_kernel

  Language:Python7400

• nthiery/recursive-monkey-patch

  Recursive monkey patching for Python

  Language:Python7232

• LMFDB/lmfdb-inventory

  inventory of the lmfdb database

  3144714

• JamesHDavenport/Dagstuhl23401

  Work coming out of Dagstuhl seminar 23401

  Language:Lean2500

• roed314/root-unitary

  Search code for root-unitary (Weil) polynomials

  Language:Python2100

• BenHCalvert/docker101

  Language:JavaScript1200

• csbrady-warwick/DocTesting

  1201

• csbrady-warwick/pylmfdb

  Language:Python1102

• JRSijsling/heuristic_endomorphisms

  Heuristic determination of endomorphism rings of curves

  1313