Awesome List Updates on Mar 11 - Mar 17, 2024

gufo_snmp (⭐17) - The accelerated Python SNMP client library supporting both async and synchronous mode. It consists of a clean Python API for high-efficient BER parser and socket IO, implemented in the Rust language with PyO3 wrapper. Seems to be a bit early in the project's lifecycle, but it is easy to use and extremely fast, especially when querying many devices.

net-snmp Python bindings - Net-SNMP 5.4 and later contains Python bindings in the "python" sub-directory, though, they are not built by default.

easysnmp (⭐223) - A fork of net-snmp Python bindings that attempts to bring a more Pythonic interface to the library.

puresnmp (⭐88) - Pure Python3 SNMPv2 library without any dependencies.

snimpy (⭐189) - Snimpy is a Python-based tool providing a simple interface to build SNMP query.

python-netsnmpagent (⭐69) - This package allows to write net-snmp subagents in Python.

hnmp (⭐49) - HNMP is a high-level Python library to ease the pain of retrieving and processing data from SNMP-capable devices such as network switches, routers, and printers.

aiosnmp (⭐52) - Python package aiosnmp is an asynchronous SNMP client for use with asyncio. Only SNMP v2c is supported.

robotframework-snmplibrary (⭐12) - SNMPLibrary is a Robot Framework test library for testing SNMP.

Scapy (⭐12k) - Packet manipulation program & library. Scapy has a module (⭐12k) to build/dissect SNMP packets.

7. Awesome Go

Third-party APIs

gopensky (⭐2) - Go client implementation for OpenSKY Network live's API (airspace ADS-B and Mode S data).

ip2location-io-go (⭐13) - Go wrapper for the IP2Location.io API IP2Location.io.

Utilities

config-file-validator (⭐380) - Cross Platform tool to validate configuration files.

8. Open Source Flutter Apps

Contents / Simulation

Barrett-2090-XV-3088-Flutter-Simulation (⭐3) - Army Simulation app by Hadiuzzaman

9. Awesome Polars

Python / Miscellaneous

Polars for Identifiers and Standard Format Strings (⭐16) - Python package for Processing IBAN, ISINs, URLs and other standard format data in Polars by @abstractqqq.

polars_hash (⭐77) - Python package that provides stable hashing functionality across different Polars versions by @ion-elgreco.

10. Awesome Mongodb

Resources / Documentation

MongoDB Server Documentation

Libraries / Kotlin

driver-kotlin-coroutine (⭐2.6k) - Official Kotlin driver

11. Awesome Ada

Build and Package / Apache License

alr2appimage (⭐13) - A tool for automatically creating an AppImage executable from an Alire crate.

12. Awesome Artificial Intelligence

Tools / Chat

Chat GPT ChatGPT is a free-to-use AI system. It allows users to engage in conversations, gain insights, automate tasks, and witness the future of AI all in one place.

Gemini Gemini gives you direct access to Google AI. Get help with writing, planning, learning, and more.

Tools / Images

DALL·E 2 DALL·E 3 is an AI system that can create realistic images and art from a natural-language description.

Tools / Video

Sora Sora is a text-to-video AI model that can create realistic and imaginative scenes from text instructions.

Courses / Commerical Tools

Machine Learning Observability Course - Self-guided course covers the intuition, math, and best practices for effective machine learning observability.

Books / Commerical Tools

How Machine Learning Works - Mostafa Samir. Early access book that introduces machine learning from both practical and theoretical aspects in a non-threatening way.

MachineLearningWithTensorFlow2ed is a book on general-purpose machine learning techniques, including regression, classification, unsupervised clustering, reinforcement learning, autoencoders, convolutional neural networks, RNNs, and LSTMs, using TensorFlow 1.14.1.

Generative AI in Action - A book that shows exactly how to add generative AI tools for text, images, and code, and more into your organization’s strategies and projects..

Philosophy / Commerical Tools

Super Intelligence - Superintelligence asks the question: What happens when machines surpass humans in general intelligence?

Minds, Brains, And Programs - The 1980 paper by philosopher John Searle that contains the famous 'Chinese Room' thought experiment. It is probably the most famous attack on the notion of a Strong AI possessing a 'mind' or a 'consciousness', and it is an interesting reading for those interested in the intersection of AI and philosophy of mind.

Gödel, Escher, Bach: An Eternal Golden Braid - Written by Douglas Hofstadter and taglined "a metaphorical fugue on minds and machines in the spirit of Lewis Carroll", this incredible journey into the fundamental concepts of mathematics, symmetry and intelligence won a Pulitzer Prize for Non-Fiction in 1979. A major theme throughout is the emergence of meaning from seemingly 'meaningless' elements, like 1's and 0's, arranged in special patterns.

Free Content / Commerical Tools

Foundations Of Computational Agents - This book is published by Cambridge University Press

Computers and Thought: A practical Introduction to Artificial Intelligence - The book covers computer simulation of human activities, such as problem-solving and natural language understanding; computer vision; AI tools and techniques; an introduction to AI programming; symbolic and neural network models of cognition; the nature of mind and intelligence; and the social implications of AI and cognitive science.

Ethical Artificial Intelligence - a book by Bill Hibbard that combines several peer-reviewed papers and new material to analyze the issues of ethical artificial intelligence.

R2D3 - A website with explanations on topics from Machine Learning to Statistics. All helped with beautifully animated infographics and real-life examples. Available in various languages.

Code / Commerical Tools

ExplainX (⭐437)- ExplainX is a fast, lightweight, and scalable explainable AI framework for data scientists to explain any black-box model to business stakeholders.

AIMACode - Source code for "Artificial Intelligence: A Modern Approach" in Common Lisp, Java, and Python. More to come.

Videos / Commerical Tools

AWS Machine Learning in Motion—This interactive live video course gives you a crash course in using AWS for machine learning and teaches you how to build a fully working predictive algorithm.

Grokking Deep Learning in Motion-Grokking Deep Learning in Motion will not just teach you how to use a single library or framework. You’ll discover how to build these algorithms from scratch!

Reinforcement Learning in Motion - This live-video breaks down critical concepts like how RL systems learn, how to sense and process environmental data, and how to build and train AI agents.

Learning / Commerical Tools

Professional and In-Depth Machine Learning Video Courses - A collection of free professional and in-depth Machine Learning and Data Science video tutorials and courses

Professional and In-Depth Artificial Intelligence Video Courses - A collection of free professional and in-depth Artificial Intelligence video tutorials and courses

Professional and In-Depth Deep Learning Video Courses - A collection of free professional and in-depth Deep Learning video tutorials and courses

Newsletters / Commerical Tools

Superhuman.ai A daily AI newsletter

13. Awesome Transit

GTFS Libraries / R

r-transit - Collection of tools for GTFS in R.

14. Awesome Crystal

Queues and Messaging

crafka (⭐17) - Apache Kafka library utilizing librdkafka

15. Awesome Readme

Examples

hywax/mafl (⭐531) - Project logo. Clear description of what the project does. TOC for easy navigation. Usage code samples.

16. Awesome Digital History

Archives and primary sources / Switzerland

Sources Online - A platform for digital scholarly text editions, integrating TEI Publisher and IIIF in Switzerland.

17. Awesome Zig

Game tools and libraries

andy5995/zigdeck (⭐4) - A library that creates and shuffles a deck of cards from which you can draw.

Misc libraries

vbrusca/ZigMatrixUtils (⭐2) - Matrix manipulation and utility library.

18. Awesome React Components

Form Logic / Mouse Events

hook-form-react (⭐5) - docs - A lightweight, dependency-free solution React hooks for form validation.

19. awsm.fish

Prompts

Pure (⭐1.3k) - That ZSH prompt, now in Fish flavor

20. Awesome Ai4lam

Learning Resources / Introductions to AI

Codecademy AI Courses – many topics; some lessons are free, some are for-fee

21. Awesome Neovim

(requires Neovim 0.5)

LukasPietzschmann/boo.nvim (⭐36) - Quickly pop-up some LSP-powered information of the thing your cursor is on.

zeioth/garbage-day.nvim (⭐454) - Garbage collector that stops inactive LSP clients to free RAM.

Programming Languages Support / Diagnostics

dmmulroy/ts-error-translator.nvim (⭐299) - A port of Matt Pocock's ts-error-translator for VSCode for turning messy and confusing TypeScript errors into plain English.

Golang / Diagnostics

yanskun/gotests.nvim (⭐23) - Make Go tests easy with gotests (⭐5.1k).

Markdown and LaTeX / Diagnostics

Myzel394/easytables.nvim (⭐126) - Easily insert and edit markdown tables with a live preview and useful helpers.

Register / Diagnostics

kr40/nvim-macros (⭐65) - Easy way to save and load Macros, with backup and formatting options.

Marks / Diagnostics

desdic/marlin.nvim (⭐28) - Like harpoon, but with key differences like project path, split support, no UI.

Search / Diagnostics

polirritmico/telescope-lazy-plugins.nvim (⭐64) - A Telescope picker to quickly access plugins configurations from the lazy.nvim spec.

Color / Diagnostics

rasulomaroff/reactive.nvim (⭐231) - Set global and window-specific highlights or trigger callbacks when modes/operators change or windows are switched.

Tree-sitter Supported Colorscheme / Diagnostics

sxwpb/halfspace.nvim - A semi-light colorscheme for minimal eye melting.

bartekjaszczak/distinct-nvim - Theme with distinct syntax colours. Supports Tree-sitter and semantic highlighting. For people who love multi-colour syntax highlighting.

samharju/synthweave.nvim (⭐54) - Synthwave '84 colorscheme port.

Statusline / Diagnostics

Mr-LLLLL/lualine-ext.nvim (⭐17) - Show more information on lualine.

Utility / Diagnostics

Mr-LLLLL/utilities.nvim (⭐9) - A repository to collect some little utility functions.

mcauley-penney/visual-whitespace.nvim (⭐359) - See whitespace characters in Visual selections, like VSCode.

Terminal Integration / Diagnostics

samharju/yeet.nvim (⭐114) - Run shell commands in terminal buffers or tmux panes.

Code Runner / Diagnostics

Zeioth/makeit.nvim (⭐41) - Makefile runner based on overseer.

Git / Diagnostics

isak102/telescope-git-file-history.nvim (⭐85) - Open/preview contents of the current file at a specific commit, without using git checkout.

Motion / Diagnostics

Mr-LLLLL/treesitter-outer (⭐8) - Jump to outer node with smart.

Keybinding / Diagnostics

nvimtools/hydra.nvim (⭐236) - Create custom submodes and menus. Port of Emacs Hydra. Maintained fork of anuvyklack/hydra.nvim.

Editing Support / Diagnostics

altermo/iedit.nvim (⭐23) - Edit one occurrence of text and simultaneously have other selected occurrences edited in the same way.

Competitive Programming / Diagnostics

kawre/leetcode.nvim (⭐1.6k) - Solve Leetcode problems.

22. Free for Dev

Tools for Teams and Collaboration

Dubble — Free Step-by-Step Guide creator. Take screenshots, document processes and colloborate with your team. Also supports async screen recording.

23. Awesome Opentofu

Learning / Helpers

Infrastructure automation with OpenTofu - Learn infrastructure provisioning with lectures, quizzes, hands-on demos and coding exercises.

24. Awesome Pinned Gists

External Services

solvedac-box (⭐21) - Update a pinned gist to show solved.ac profile.

25. Awesome Low Code

Platforms / Citizen Automation and Development Platform

FormNX - A no-code platform that helps to create forms without coding for free. It also provides integration options with webhook, Mailchimp, and you can embed forms in your websites or web applications easily without any coding.

Platforms / Low Code Application Platform

[Tabidoo (https://tabidoo.cloud/) - Powerful Low Code platform, with mature workflows, rights management and integrations (REST API). Many predefined templates. No charge per user.

26. Amas

Ask these people anything!

Sindre Sorhus (⭐143) - Full-time open-sourcerer. Maker of many npm packages and apps.

Robert Haritonov (⭐1) - Front-end team lead, SourceJS maintainer and Living Style Guide evangelist.

Drew Minns (⭐0) - Designer/Developer and Educator. Lead Developer and Instructor with HackerYou.

Heather Payne (⭐1) - CEO of HackerYou, founder of Ladies Learning Code.

Ryan Christiani (⭐0) - Lead Instructor and Developer at HackerYou in Toronto.

Ahmad Nassri - Head of Engineering at Mashape. Technology Entrepreneur & Dog Lover. Toronto ✈ San Francisco.

Patty Delgado (⭐0) - Engineering lead at Refinery29. Avid mentor and developer evangelist, especially for women and minorities.

Derick Bailey (⭐2) - Developer and entrepreneur, author and screencaster.

Andy Jiang (⭐1) - Customer Acquisition and Evangelist at Segment, maker of things.

Rishabh Pugalia - Full stack engineer. Creator of CSSDeck.

DeokHong Kim (⭐2) - Front-end engineer at NAVER, founder of hackrslab.

Trent Oswald (⭐2) - Maker of web things Mashape and nodejs/website.

Acho Arnold - Full stack web developer with great passion in Social Psychology.

Honza Bittner (⭐1) - Student at FIT CTU, Dart lover.

Charlike Mike Reagent (⭐5) - Passionate full stack developer, hacking on ArchLinux. Perfectionist. Revolutionist. Founder of RegexHQ, core member at JSTransformers and part of dwylhq.

Graham Daniels (⭐5) - Sr Software Engineer at Refinery29, US Lead for PHPWomen, Host of #NoCapes, Single dad. Brooklyn, NY.

Jeff Carouth (⭐0) - Lead Platform Engineer at Liftopia, Co-host of the Loosely Coupled Podcast, mentor, and conference speaker.

Matthew Turland (⭐2) - Full Stack Engineer at When I Work, author, mentor, and conference speaker.

Hamish Friedlander (⭐0) - Developer, CTO at SilverStripe, human (presumed).

Deepak Verma (⭐1) - Full stack developer at Hometrack Australia, AWS Solution Architect, and passionate about photography.

Dan Abramov (⭐222) - JavaScript and React hobbyist, creator of React Hot Loader and Redux.

Chris Biscardi (⭐0) - UI lead at Docker. JavaScript. Haskell. Builder of products and tooling.

Vladimir Agafonkin (⭐6) - Engineer at Mapbox, creator of Leaflet and a bunch of other open source libraries. Building the future of interactive maps.

Zeno Rocha (⭐71) - Developer Advocate at Liferay.

Kahlil Lechelt (⭐0) - JavaScript developer, organizes KarlsruheJS, co-host of the Descriptive Podcast and the Reactive Podcast, vocalist.

Raymond Clanan (⭐0) - Freelance full stack developer at Utopian Concept LLC.

MK Yuan (⭐3) - Node.js developer at Alipay.

Hong Liu (⭐0) - Freelance full stack web developer and founder of PresentBook.

Anthony Ramella (⭐1) - I went from zero to hired web developer in 5 months. I blog about my experiences learning code and working as a junior developer.

CJ Patoilo (⭐2) - Front-end engineer, JavaScript evangelist, DEV IO co-Founder.

Armagan Amcalar (⭐1) - Head of Software Engineering at unu GmbH. Software architect, entrepreneur, conference speaker, mentor, electronics engineer, guitar lover, singer.

Breno Polanski (⭐1) - Front-end software engineer at Meteorite BI.

Ariya Hidayat (⭐30) - VP of Engineering Shape Security, Author of Esprima and PhantomJS.

Rob Thomas (⭐0) - VoIP Developer, IPv6 and Security Evangelist, DevOps proponent. Currently at Sangoma.

William Oliveira - Front-end developer (Brazilian) working with JavaScript, Angular, Stylus, Gulp, Git, etc. Read more about me on my blog.

Unbug Lee (⭐0) - Author of MIHTool and Codelf.

Tibor Simon (⭐0) - Electrical engineer, software geek, DSP, iOS, vimmer, guitarist, biker, runner, tiborsimon.io.

Danilo Vaz (⭐1) - Front-end developer (Brazilian), working at mLabs with JavaScript, EmberJS, APIs and other cool stuffs. I'm also BeerJS/SJC organizer.

Adrian Mejia (⭐1) - Software engineer at Cisco. Blogger at adrianmejia.com. Author of "E-commerce Application built with the MEAN stack". JavaScript lover. Boston located.

Jon Kuperman (⭐23) - I love JavaScript! I blog at Codeplanet, make videos at Nodecasts and podcast at The Web Behind.

Max Stoiber (⭐28) - Open source developer advocate at Thinkmill, developing KeystoneJS and ElementalUI. Creator of react-boilerplate, part of React Vienna.

Joe Lencioni (⭐1) - Building ImportJS and Diffux CI. Web infra at Airbnb.

Haroen Viaene (⭐0) - Student mostly doing JS, open source everything, creating stuff at bullgit.

Artem Sapegin (⭐15) - Frontend developer at Here, creator of React Styleguidist and passionate photographer.

Miguel Durán - Developer of things and stuff at Typeform, creator of React Slidy. Love videogames, embrace StandardJS. Living in Barcelona.

Lizzie Siegle (⭐0) - iOS and web developer, developer evangelist, hackathon hacker and judge, Spectra organizer, racially ambiguous.

Krzysztof Cieslak (⭐8) - Software developer, consultant, founder of Lambda Factory, author of Ionide, Forge, Fornax, project owner and maintainer of VSCode-Elm, contributor to many OSS projects, international speaker.

Kevin Jalbert (⭐0) - Developer Lead at Shopify), primarily using Rails and React.

Sean Killeen (⭐5) - .NET Lead & Managing Consultant at Excella. Speaker, blogger, tech lead. Would love to talk .NET, modernization, distributed systems, public speaking, musical theatre, and really pretty much anything else.

Juha Lindstedt (⭐0) - Web architect at iDiD. Creator of RE:DOM, Deck of Cards and other open source projects.

Md Eftakhairul Islam (⭐0) - Software engineer, hacker, open source enthusiast and tech blogger at eftakhairul.com.

Omar Bahareth (⭐5) - Head of Software Engineering at Tam, mentor, full-stack developer, currently heavily into Ruby and Elixir, and slowly getting into Go and Rust. Located in Saudi Arabia.

Brad Garropy - Self-taught frontender at Adobe, blogger, streamer, tweeter.

Eduards Sizovs (⭐0) - Software architect, blogger, trainer, speaker, and a conference organizer.

KimSia Sim (⭐0) - Independent developer, blogger, owner of business apps agency. Based in Singapore.

Jim Lesperance (⭐2) - Passionate full-stack developer, loves dogs, and likes to travel.

Chris Otto (⭐0) - Test Engineer, creator of VSCodeFitNesse and blogger.

Arpit Mohan - Distributed Systems Engineer, Java and Golang developer, 3x CTO, blogger.

Felipe Plets (⭐0) - Tech lead, open source contributor, and blogger.

Jan-Hendrik Heuing (⭐0) - Developer, team lead, CTO, consultant.

Ask these organizations anything!

Nikita Voloboev (⭐36) - Loves making and sharing things. Building Learn Anything, Enpicom and tools.

Code Monkey Health (⭐0) - Helping developers and others with tips, tricks, recipes and programs focused on Lifestyle, Exercise, Attitude and Food LEAF.

27. Awesome Cropsteering

Components / Tasmota Configs

M5 Stack - Standard 5×5cm functionally stacking modularized components hardware system

DIY / Modular systems

Hydromisc (⭐517) - A single PCBA with all the necessary I/O to automate a typical small to mid-size hydroponic grow, controllable over Wifi. It may also be suitable for aquariums, ponds, or any other biological or chemical process involving water treatment

28. Awesome Agi Cocosci

Meta-Level Considerations / Rationality

Cognitive Science as a Source of Forward and Inverse Models of Human Decisions for Robotics and Control - Annual Review of Control, Robotics, and Autonomous Systems, 2022. [All Versions]. The review focuses on how cognitive science can provide forward models of human decision-making and inverse models of how humans think about others’ decision-making. The authors highlight relevant recent developments, including approaches that synthesize black box and theory-driven modeling, accounts that recast heuristics and biases as forms of bounded optimality, and models that characterize human theory of mind and communication in decision-theoretic terms.

Commonsense / Commonsense Knowledgebase

The World Avatar - The World Avatar™. A large-scale dynamic knowledge graph connecting concepts with relations to digitalize molecules, buildings, cities, and countries.

Inductive Logic & Program Synthesis / Commonsense Knowledgebase

Combining Functional and Automata Synthesis to Discover Causal Reactive Programs - POPL'23, 2023. [All Versions]. A new algorithm that synthesizes functional reactive programs from observation data, which iterates between a functional synthesis step, which attempts to generate a transition function over observed states, and an automata synthesis step, which adds any additional latent state necessary to fully account for the observations.

29. Awesome Zsh Plugins

Plugins / superconsole - Windows-only

terminal-app (⭐12) - A plugin for integrating with the new macOS El Capitan Terminal.app features.

Themes / superconsole - Windows-only

bigshrimp (⭐2) - A clear and concise theme that includes decorators for username@host, current directory and git status.

braundo (⭐1) - Straightforward theme with username, current directory, git status, and timestamp.

fish (raniconduh) (⭐10) - ZSH theme reminiscent of the default fish shell theme. Includes git status decorations.

fish (sbfkcel) (⭐0) - Minimalist theme with decorators for git status, current directory and username.

gaia (⭐5) - Originally a fork of Bureau (⭐40) adds new virtual environments info to the prompt: Kubernetes, virtualenv, rbenv and Java versions. Includes git status integration.

glider (⭐1) - Based on strug (⭐2). Includes decorators for git status, username, hostname and current directory.

savior (⭐6) - Minimalist theme with decorators for current directory, exit status of last command run and git status.

smail (⭐13) - Includes decorators for git status, current directory and exit status of last command run.

30. Static Analysis

Multiple languages / Other

Mobb ©️ — Mobb is a trusted, automatic vulnerability fixer that secures applications, reduces security backlogs, and frees developers to focus on innovation. Mobb is free for open-source projects.

Other / Other

lintian — Static analysis tool for Debian packages.

proselint (⭐4.4k) — A linter for English prose with a focus on writing style instead of grammar.

31. Awesome Generative Deep Art

Ethics, Philosophical questions and Discussions about Generative AI

Tracking AI: Monitoring Bias in Artificial Intelligence Chatbots

Retrieval-Augmented Generation (RAG) / Prompt Engineering for Text-to-image

LlamaParse: GenAI-native document parsing platform by LlamaIndex

LLM Evaluation / Multi-agents

qcri/LLMeBench (⭐99): Benchmarking Large Language Models

TruLens for LLMs: Evaluate and Track LLM Applications

32. Awesome Openstreetmap

Libraries / Python

QuackOSM (⭐289) - A Python library for downloading, filtering and transforming *.osm.pbf files into GeoParquet files using DuckDB.

33. Awesome Audit Algorithms

Papers / 2023

XAudit : A Theoretical Look at Auditing with Explanations - (Arxiv) Formalizes the role of explanations in auditing and investigates if and how model explanations can help audits.

34. Urban and Regional Planning Resources

Platforms and Software Resources / Transportation Planning Tools and Platforms

OpenPath - Continusous travel survey platform from NREL that collects trips and data via a smart phone app backed by a server and leveraging automated data processing.

35. Ai Collective Tools

Models

AI/ML API - One API, 100+ AI Models, Accessible 24/7. #opensource``#freemium``#paid

Real Estate

VSDECO - Transform Your Space with Photorealistic Restyling #paid

36. Awesome Flutter

🇷🇺 Russia / Misc

Telegram - Oh, my Flutter

Meetup Flutter Voronezh

37. Awesome Newsletters

General Section / Svelte

Tech Talks Weekly. A free weekly newsletter that brings all the recently uploaded tech talks across +100 engineering conferences like Devoxx, NDC, GOTO, StrangeLoop, ... right into your inbox. Archive.

38. Awesome Ai Tools

Other / Music

Persuva - Persuva is the AI-driven platform to create persuasive, high-converting ad copy at scale.

Taranify - Using AI, Taranify finds you Spotify playlists, Netflix shows, Books & Foods you'd enjoy when you don't exactly know what you want.

Interview Solver - Ace your live coding interviews with our AI Copilot

Image / Services

PlantPhotoAI - free AI-generated plant images

Related Awesome Lists / Deep Learning

Workflow Automation Softwares - Curated List of Workflow Automation Apps And Tools

Awesome Workflow Automation (⭐481) - Curated List of Workflow Automation Apps And Tools

39. Awesome Distraction Blocker

Articles and Guides / Mobile Apps

Top 5 Distraction Blocker Apps for Mac

Top 6 Distraction Blocker Apps for Android

40. Awesome Tmux

Cheat Sheets

tmuxcheatsheet.com

41. Awesome Math

Encyclopedia

💲 The Princeton Companion to Mathematics - Timothy Gowers (Professor, Fields medallist), June Barrow-Green (Professor), and Imre Leader (Professor).

💲 Encyclopedia of Distances (4th Edition) - Michel Marie Deza, Elena Deza.

Foundations of Mathematics / Transition To Pure Rigour Math

📝 Basic Concepts of Mathematics - Elias Zakon

Foundations of Mathematics / Set Theory

📝 Sets, Relations, Functions - Ivo Düntsch, Günther Gediga

📝 An Introduction to Set Theory - William A. R. Weiss

📝 Set Theory and Foundations of Mathematics - Sylvain Poirier

📝 Set Theory on the Stanford Encyclopedia of Philosophy

Foundations of Mathematics / Logic

📝 Introduction to Logic - Michael Genesereth, Eric Kao (Stanford University)

📝 An Introduction to Formal Logic - P.D. Magnus (University at Albany)

📝 A Problem Course in Mathematical Logic - Stefan Bilaniuk (Trent University)

📝 Computability - An introduction to recursive function theory - Nigel Cutland (University of Hull)

📝 Language, Proof, and Logic - Jon Barwise, John Etchemendy

📝 Mathematical Logic - Helmut Schwichtenberg

📝 Mathematical Logic - Stephen G. Simpson (Pennsylvania State University)

📝 Formal Logic - Miguel Palomino

📝 Predictive Arithmetic - Edward Nelson

📝 Proofs and Concepts: the fundamentals of abstract mathematics - Joy Morris, Dave Morris

📝 Mathematical Reasoning: Writing and Proof - Ted Sundstrom

📝 Logic and Proof - Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn

📝 QED - an interactive textbook - Terence Tao

📝 Open Logic Textbook - collaborative effort, main contributors listed here

Foundations of Mathematics / Category Theory

📝 Introduction to Category Theory and Categorical Logic - Thomas Streicher

📝 An Introduction to Category Theory - Harold Simmons

📝 Category Theory - Steve Awodey (Carnegie Mellon University)

📝 Category Theory - B. Pareigis

📝 Category Theory for Computing Science - Michael Barr, Charles Wells

📝 Toposes, Triples and Theories - Michael Barr, Charles Wells

📝 Abelian Categories - Peter Freyd

📝 Categories and Groupoids - P. J. Higgins

📝 Basic Concepts of Enriched Category Theory - G. M. Kelley

📝 Abstract and Concrete Categories: The Joy of Cats - Jiri Adamek, Horst Herrlich, George Strecker

📝 Seven Sketches in Compositionality: An Invitation to Applied Category Theory - Brendan Fong and David I. Spivak (MIT)

Foundations of Mathematics / Type Theory

📝 Proofs and Types - Jean-Yves Girard

📝 Intuitionistic Type Theory - Per Martin-Lof

📝 Type Theory and Functional Programming - Simon Thompson

📝 Programming in Martin-Lof’s Type Theory - Bengt Nordstrom, Kent Petersson, Jan M. Smith

📝 Elementary Number Theory - W. Edwin Clark (University of South Florida)

📝 A Course on Number Theory - Peter J. Cameron

📝 A Computational Introduction to Number Theory and Algebra - Victor Shoup

📝 Number Theory: A Contemporary Introduction - Pete L. Clark

📝 An Introduction to the Theory of Numbers - Leo Moser

📝 Yet Another Introductory Number Theory Textbook - Jonathan A. Poritz

Number Theory / Algebraic Number Theory

📝 Introduction to Algebraic Number Theory - F. Oggier

📝 Algebraic Number Theory - J.S. Milne

📝 Algebraic Number Theory Course Notes - Matthew Baker (Georgia Tech)

📝 A Course In Algebraic Number Theory - Robert Ash

Number Theory / Analytic Number Theory

📝 Introduction to Analytic Number Theory - A.J. Hildebrand (University of Illinois)

📝 Elements of Analytic Number Theory - P. S. Kolesnikov, E. P. Vdovin (Novosibirsk)

📝 Analytic Number Theory - Otto Forster (LMU Munich)

📝 Analytic Number Theory - Lecture Notes based on Davenport’s book - Andreas Strömbergsson

Algebra / Analytic Number Theory

📝 A Course in Universal Algebra - S. Burris, H.P. Sankappanavar

📝 A Course in Commutative Algebra - Robert Ash

📝 First Course in Algebra - Herbert E. Hawkes, William A. Luby, Frank C. Touton (1910)

📝 Second Course in Algebra - Herbert E. Hawkes, William A. Luby, Frank C. Touton (1911)

📝 Algebra: An Elementary Text-Book, Part I - G. Chrystal (1904)

📝 Algebra: An Elementary Text-Book, Part II - G. Chrystal (1900)

📝 Understanding Algebra - James W. Brennan

Algebra / Abstract Algebra

📝 Introduction to Abstract Algebra - D. S. Malik, John N. Mordeson, M.K. Sen (Creighton University)

📝 Introduction to Modern Algebra - David Joyce (Clark University)

📝 Algebraic Methods - F. Oggier

📝 Abstract Algebra : Theory and Applications - Thomas W. Judson, Robert A. Beezer (Austin State University)

📝 An Undergraduate Course in Abstract Algebra - Robert Howlett

📝 Elements of Abstract and Linear Algebra - E.H. Connell (University of Miami)

📝 Abstract Algebra: The Basic Graduate Year - Robert Ash

📝 Abstract Algebra: Harvard Extension (Archived) - Benedict Gross

📝 Abstract Algebra: Harvard Extension Videos - Benedict Gross

Algebra / Group Theory

📝 Notes on Group Theory - Mark Reeder

📝 Group Theory - J.S. Milne

📝 Notes on Finite Group Theory - Peter J. Cameron

📝 Group Theory - Pedrag Civitanovic

Algebra / Linear Algebra

📝 Fundamentals of Linear Algebra - James B. Carrell

📝 Linear Algebra and Matrices - Martin Fluch

📝 Vector Space Theory - Robert Howlett

📝 Linear Algebra - Jim Hefferon

📝 MIT OpenCourseWare Lectures on Linear Algebra (18.06) as Jupyter Notebooks (⭐559) - Juan Klopper

📝 Elementary Linear Algebra - Keith Matthews

📝 A First Courses in Linear Algebra - Rob Breezer

📝 Linear Algebra - David Cherney, Tom Denton, Andrew Waldron

📝 Introduction to vectors and tensors, Vol 1: linear and multilinear algebra - Ray M Bowen, C. C. Wang

📝 Introduction to vectors and tensors, Vol 2: vector and tensor analysis - Ray M Bowen, C. C. Wang

📝 Introduction to Applied Linear Algebra - Stephen Boyd (Stanford University), Lieven Vandenberghe (UCLA)

📝 Linear Algebra Done Wrong - Sergei Treil

📝 Immersive Linear Algebra - J. Ström, K. Åström, and T. Akenine-Möller

📝 Interactive Linear Algebra - Dan Margalit and Joseph Rabinoff

📝 Linear Algebra, Infinite Dimensions, and Maple - James Herod

Algebra / Ring Theory

📝 Foundations of Module and Ring Theory - Robert Wisbauer (University of Düsseldorf)

Algebra / Galois Theory

📝 An Introduction to Galois Theory - Andrew Baker (University of Glasgow)

📝 Fields and Galois Theory - J.S. Milne

📝 Galois theory - Miles Reid

Algebra / Lie Algebras

📝 Lie Algebras - Shlomo Sternberg

Combinatorics / Lie Algebras

📝 Basic Combinatorics - Carl G. Wagner (University of Tennessee)

📝 Applied Combinatorics - Mitchel T. Keller, William T. Trotter

📝 Notes on Combinatorics - Peter J. Cameron

📝 Analytic Combinatorics - Philippe Flajolet, Robert Sedgewick

📝 generatingfunctionology - Herbert Wilf

Combinatorics / Graph Theory

📝 Graph Theory: Lecture Notes - Christopher Griffin

📝 Graph Theory - Reinhard Diestel

Geometry and Topology / Graph Theory

📝 Fundamentals of Geometry - Oleg A. Belyaev

📝 A=B - M. Petkovsek, H. Wilf, D. Zeilberger

📝 Elements - Euclid

📝 Euclid's Elements Redux - Daniel Callahan

📝 Mathematical Illustrations - Bill Casselman

📝 Byrne's Euclid - Oliver Byrne

📝 Plane Geometry - George Wentworth and David Eugene Smith (1913)

📝 Planes and Spherical Trigonometry - George Wentworth and David Eugene Smith (1915)

📝 Coordinate Geometry - Henry Buchard Fine and Henry Dallas Thompson (1911)

📝 Analytic Geometry - Lewis Parker Siceloff, George Wentworth, David Eugene Smith (1922)

Geometry and Topology / Differential Geometry

📝 Introduction to Differential Geometry - Joel W. Robbin, Dietmar A. Salamon

📝 Topics in Differential Geometry - Peter W. Michor

📝 Lectures on Differential Geometry - Wulf Rossmann

📝 An Introduction to Riemannian Geometry - Sigmundur Gudmundsson (Lund University)

📝 The Geometry and Topology of Three-Manifolds - W. Thurston

📝 Semi-Riemann Geometry and General Relativity - Shlomo Sternberg

📝 Discrete Differential Geometry - Keenan Crane

Geometry and Topology / Algebraic Geometry

📝 A Brief Introduction to Algebraic Geometry - R.C. Churchill

📝 Introduction to Algebraic Geometry - Igor V. Dolgachev

📝 Foundations of Algebraic Geometry - Ravi Vakil

📝 Algebraic Geometry - Jean Gallier, Stephen S. Shatz (University of Pennsylvania)

📝 Algebraic Geometry - J.S. Milne

📝 Algebraic Geometry - Andreas Gathmann (University of Kaiserslautern)

📝 The Stacks Project - Maintained by Aise Johan de Jong (Columbia)

Geometry and Topology / Algebraic Statistics

📝 Lectures on Algebraic Statistics - Mathias Drton, Bernd Sturmfels, Seth Sullivant

📝 An Introduction to Algebraic Statistics - Cristiano Bocci, Luca Chiantini and Anthony V. Geramita

📝 Algebraic Statistics - Karl-Heinz Zimmermann

📝 Algebraic Statistics for Computational Biology - Pachter, and Sturmfels.

Geometry and Topology / Topology

📝 Elementary Applied Topology - Robert Ghrist (UPenn)

📝 Introduction to Topology

📝 Introduction to Topology - Alex Küronya

📝 Introductory Topology - Jim L. Brown

📝 General Topology - Pierre Schapira (Paris VI University)

📝 Elementary Topology Problem Textbook

📝 General Topology - Jesper M. Møller

📝 Topology Topics

Geometry and Topology / Algebraic Topology

📝 Algebraic Topology - Allen Hatcher

📝 A Concise Course in Algebraic Topology - J. P. May

📝 Introduction to Algebraic Topology - Martin Cadek

📝 Algebra and Topology - Pierre Schapira (Paris VI University)

📝 Lecture Notes in Algebraic Topology - James F. Davis, Paul Kirk (Indiana University)

📝 Algebraic Topology - Michael Starbird

📝 Lecture Notes on Algebraic Topology - Jie Wu

Analysis / Real Analysis

📝 MIT OpenCourseWare Lectures on Calculus - G. Strang

📝 Elementary Calculus: An Approach Using Infinitesimals - Professor H. Jerome Keisler

📝 An Introduction to Real Analysis - John K. Hunter (University of California at Davis)

📝 Introduction to Real Analysis - William F. Trench (Trinity University, Texas)

📝 Basic Analysis: Introduction to Real Analysis - Jiří Lebl

📝 Elementary Real Analysis - Thomson, Bruckner

📝 Lecture Notes in Real Analysis - Eric T. Sawyer (McMaster University)

📝 Real Analysis - C. McMullen

📝 Real Analysis for Graduate Students - Richard F. Bass

📝 Modern Real Analysis - William P. Ziemer (Indiana University)

📝 Mathematical Analysis Vol I - Elias Zakon

📝 Mathematical Analysis Vol II - Elias Zakon

📝 Advanced Calculus - Lynn Loomis, Schlomo Sternberg

📝 Analysis of Functions of a Single Variable - Lawerence Baggett

📝 The Calculus of Functions of Several Variables - Dan Sloughter

📝 A ProblemText in Advanced Calculus - John M. Erdman

📝 Calculus and Linear Algebra. Vol. 1 - Wilfred Kaplan, Donald J. Lewis

📝 Calculus and Linear Algebra. Vol. 2 - Wilfred Kaplan, Donald J. Lewis

📝 Introduction to Calculus I and II - J.H. Heinbockel

📝 Active Calculus - Matt Boelkins

📝 Supplements to the Exercises in Chapters 1-7 of Walter Rudin's "Principles of Mathematical Analysis" - George M. Bergman

📝 Calculus Made Easy - Silvanus P. Thompson (1910)

📝 Elements of Differential and Integral Calculus - William Anthony Granville (1911)

📝 Precalculus - Carl Stitz, Jeff Zeager

Analysis / Harmonic Analysis

📝 Harmonic Analysis Lecture Notes - Richard S. Laugesen (University of Illinois at Urbana–Champaign)

📝 Harmonic Analysis - W. Schlag

📝 Lecture Notes: Fourier Transform and its Applications - Brad Osgood

📝 Fourier Analysis - Lucas Illing

📝 Mathematics of the Discrete Fourier Transform (DFT) with Audio Applications - Julius O. Smith III (Stanford University)

Analysis / Complex Analysis

📝 Introduction to Complex Analysis - Michael Taylor

📝 An Introduction to Complex Analysis and Geometry - John P. D'Angelo (University of Illinois)

📝 A First Course in Complex Analysis - Matthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka

📝 A Guide to Complex Variables - Steven G. Krantz

📝 Complex Analysis - Charles Walkden

📝 Complex Analysis - Christian Berg

📝 Complex Variables - R. B. Ash, W.P. Novinger

📝 Complex Analysis - Christer Bennewitz

📝 Complex Analysis - Donald E. Marshall

📝 A Concise Course in Complex Analysis and Riemann Surfaces - Wilhelm Schlag

📝 Complex Analysis - G. Cain (Georgia Tech)

📝 Complex Analysis - Juan Carlos Ponce Campuzano

Analysis / Functional Analysis

📝 An Introduction to Functional Analysis - Laurent W. Marcoux (University of Waterloo)

📝 Functional Analysis: Lecture Notes - Jeff Schenker (Michigan State University)

📝 Functional Analysis Lecture Notes - T.B. Ward (University of East Anglia)

📝 Functional Analysis - Alexander C. R. Belton

📝 Topics in Real and Functional Analysis - Gerald Teschl

📝 Functional Analysis - Christian Remling

📝 Theory of Functions of a Real Variable - Shlomo Sternberg

📝 Functional Analysis - Lawerence Baggett

Analysis / Measure Theory

📝 An Introduction to Measure Theory - Terence Tao (UCLA)

📝 Lecture Notes on Measure Theory and Functional Analysis - P. Cannarsa, T. D’Aprile

📝 Lecture Notes in Measure Theory - Christer Borell

📝 A Crash Course on the Lebesgue Integral and Measure Theory - Steve Cheng

📝 Measure Theory - John K. Hunter (University of California at Davis)

📝 Measure and Integration - Dietmar A. Salamon (ETH Zürich)

📝 Lecture notes: Measure Theory - Bruce K. Driver

Analysis / Ordinary Differential Equations

📝 Difference Equations To Differential Equations - Dan Sloughter

📝 Ordinary Differential Equation - Alexander Grigorian (University of Bielefeld)

📝 Ordinary Differential Equations: Lecture Notes - Eugen J. Ionascu

📝 Ordinary Differential Equations - Peter Philip

📝 Ordinary Differential Equations - Gabriel Nagy

📝 Ordinary Differential Equations and Dynamical Systems - Gerald Teschl

📝 Notes on Differential Equations - Bob Terrell

📝 Elementary Differential Equations - William F. Trench

📝 Elementary Differential Equations With Boundary Value Problems - William F. Trench

📝 Notes on Diffy Qs: Differential Equations for Engineers - Jiří Lebl

📝 Differential Equations - H. B. Phillips (1922)

Analysis / Partial Differential Equations

📝 Notes on Partial Differential Equations - John K. Hunter (University of California at Davis)

📝 Partial Differential Equations: Lecture Notes - Erich Miersemann (Leipzig University)

📝 Linear Methods of Applied Mathematics - E. Harrell, J. Herod (Georgia Tech)

Probability and Statistics / Probability Theory

📝 Introduction to Probability - Charles M. Grinstead, J. Laurie Snell

📝 Introduction to Probability - Dimitri P. Bertsekas, John N. Tsitsiklis (MIT)

📝 A Short Introduction to Probability - Dirk P. Kroese (University of Queensland)

📝 Probability: Theory and Examples - Rick Durrett

📝 Probability and Statistics Cookbook (⭐2.3k) - Matthias Vallentin (UC Berkeley)

📝 The Only Probability Cheatsheet You'll Ever Need - William Chen

📝 An Introduction to Probability and Random Processes - Gian-Carlo Rota, Kenneth Baclawski

📝 Foundations of Constructive Probability Theory - Yuen-Kwok Chan

Probability and Statistics / Statistics

📝 Lecture Notes on Statistical Theory - Ryan Martin (University of Illinois)

📝 Introduction to Statistics and Data Analysis for Physicists - Gerhard Bohm, Günter Zech

📝 Probability and Mathematical Statistics - Prasanna Sahoo (University of Louisville)

📝 Lectures on Statistics - William G. Faris

📝 Statistical Theory - Adolfo J. Rumbos

📝 Theory of Statistics - James E. Gentle (George Mason University)

📝 Theory of Statistics - Joseph C. Watkins (University of Arizona)

📝 Glossary of Data Modeling - AI Access

📝 Statistics Papers - List of statistics papers curated by the Institute for Digital Research and Education (IDRE) at UCLA on methods such as bootstrap and factor invariance.

📝 NIST Handbook of Statistical Methods - Resource on practical statistics directed towards scientists and engineers.

📝 Concepts and Applications of Inferential Statistics - Richard Lowry

📝 Rough set data analysis: A road to non-invasive knowledge discovery - Ivo Düntsch, Günther Gediga

📝 Statistical Thinking for the 21st Century - Russell A. Poldrack

📝 Odds and Ends: Introducing Probability & Decision with a Visual Emphasis - Jonathan Weisberg

📝 Seeing Theory - Daniel Kunin, Jingru Guo, Tyler Dae Devlin, and Daniel Xiang

📝 Statistics Done Wrong - Alex Reinhart

📝 All of Statistics: A Concise Course in Statistical Inference - Larry Wasserman

Probability and Statistics / Statistical Learning

📝 An Introduction to Statistical Learning with Applications in R - Gareth James, Daniela Witten, Trevor Hastie, Robert Tibshirani

📝 The Elements of Statistical Learning - Trevor Hastie, Robert Tibshirani, Jerome Friedman

📝 Statistical Learning Theory - Percy Liang

📝 Reinforcement Learning: An Introduction - Richard S. Sutton, Andrew G. Barto

Probability and Statistics / Stochastic processes

📝 Lectures on Stochastic Processes - K. Ito (Tata Institute of Fundamental Research, Bombay)

📝 Probability and Stochastic Processes with Applications - Oliver Knill (Harvard University)

📝 Stochastic Processes - Amir Dembo (Stanford University)

📝 Lecture Notes on Stochastic Processes - Frank Noé, Bettina Keller and Jan-Hendrik Prinz (Freie Universität Berlin)

📝 Introduction to Stochastic Processes - Lecture Notes - Gordan Žitković (University of Texas)

📝 Applied Stochastic Processes in science and engineering - Matt Scott (University of Waterloo)

📝 An Introduction to Stochastic Processes in Continuous Time - Flora Spieksma (Leiden University)

📝 Markov Chains and Mixing Times - David A. Levin, Yuval Peres, Elizabeth L. Wilmer

📝 Convergence of Stochastic Processes - David Pollard

Numerical Analysis / Stochastic processes

📝 Introduction to Numerical Analysis - Doron Levy (University of Maryland)

📝 A Concise Introduction to Numerical Analysis - Douglas N. Arnold (University of Minnesota)

📝 Numerical Analysis - L. Ridgway Scott

📝 Lectures In Basic Computational Numerical Analysis - J. M. McDonough (University of Kentucky)

📝 Advanced Numerical Methods and Their Applications to Industrial Problems: Adaptive Finite Element Methods - Alfred Schmidt, Arsen Narimanyan

📝 Numerical Analysis for Engineers - Douglas Wilhelm Harder

Signal processing / Stochastic processes

📝 Introduction to Signal Processing - Sophocles J. Orfanidis (Rutgers University)

📝 Foundations of Signal Processing - Martin Vetterli, Jelena Kovacevic, Vivek K Goyal

📝 An Introduction to Statistical Signal Processing - Robert M. Gray, Lee D. Davisson

📝 Think DSP - Allen B. Downey

📝 Linear algebra, signal processing, and wavelets. A unified approach. - Øyvind Ryan (University of Oslo)

Mathematics for Computer Science / Stochastic processes

📝 Mathematics for Computer Science - Eric Lehman, F. Thomson Leighton, Albert R. Meyer

📝 Algorithms and Complexity - H. Wilf

📝 Lecture Notes on Optimization - Pravin Varaiya

📝 Information Theory, Inference, and Learning Algorithms - David J. C. MacKay

📝 The Chaos Textbook: Mathematics in the age of the computer - Glenn Elert

Mathematical Biology / Stochastic processes

📝 Mathematical Biology - Jeffrey Chasnov

Mathematical Physics / Stochastic processes

📝 Introduction to Continuum Mechanics - Ray. M. Bowen

📝 Mathematical Tools for Physics - James Nearing

📝 Mechanism of the Heavens (1831) - Mary Somerville

42. Awesome Postgres

Contents / GUI

Teable (⭐19k) - A Super fast, Real-time, Professional, Developer friendly, No code database.

43. Awesome Css Frameworks

Material Design

Beer CSS - Build material design interfaces in record time without stress for devs.
Repo (⭐1.9k) | #CSS

Specialized

Bojler - Email framework for developing responsive and lightweight email templates.
Docs, Repo (⭐1k) | #SCSS

44. Awesome Cpp

Containers

fixed-containers (⭐417) - Header-only C++20 library that provides fixed capacity constexpr containers. [MIT]

Networking

mailio (⭐436) - mailio is a cross platform C++ library for MIME format and SMTP, POP3 and IMAP protocols. [BSD]

45. Awesome Sysadmin

Software / Configuration Management

Rudder - Scalable and dynamic configuration management system for patching, security & compliance, based on CFEngine. (Source Code (⭐566)) GPL-3.0 Scala

Software / Mail Clients

aerc - Terminal MUA with a focus on plaintext and features for developers. (Source Code) MIT Go

46. Awesome Php

Table of Contents / Micro Frameworks

Minicli (⭐1.1k) - Minimalist, dependency-free framework for building CLI-centric PHP applications.

Table of Contents / Security

Secure Headers (⭐533) - A package that adds security related headers to HTTP response.

Table of Contents / Code Analysis

Editorconfig-Checker (⭐71) - A command line utility which verifies that your files implement your .editorconfig rules.

Configuration / Miscellaneous

Ganesha (⭐634) - A PHP implementation of Circuit Breaker pattern.

Prev: Mar 18 - Mar 24, 2024
Next: Mar 04 - Mar 10, 2024