Hott IntroAn introductory course to Homotopy Type Theory
Stars: ✭ 277 (+59.2%)
Important Java Concepts🚀 Complete Java - A to Z ║ 📚 Notes and Programs of all Important Concepts of Java - OOPS, Data Structures, Algorithms, Design Patterns & Development + Kotlin + Android 🔥
Stars: ✭ 135 (-22.41%)
Practical FmA gently curated list of companies using verification formal methods in industry
Stars: ✭ 272 (+56.32%)
Tachyons VerboseFunctional CSS for humans. Verbose edition.
Stars: ✭ 102 (-41.38%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (+55.17%)
PrimifyEmbed any image into a prime number.
Stars: ✭ 266 (+52.87%)
Cmathtutstrying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...
Stars: ✭ 266 (+52.87%)
BlogAbout math, programming and procedural generation
Stars: ✭ 37 (-78.74%)
Eseur BookIssue handling for Evidence-based Software Engineering: based on the publicly available data
Stars: ✭ 263 (+51.15%)
Project Euler SolutionsRunnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Stars: ✭ 1,374 (+689.66%)
Design Patterns JsAll the 23 (GoF) design patterns implemented in Javascript
Stars: ✭ 3,026 (+1639.08%)
Javascript PatternsA collection of design patterns and best practices for the JavaScript programming language.
Stars: ✭ 36 (-79.31%)
Go Design Patterngolang design pattern go 设计模式实现,包含 23 种常见的设计模式实现,同时这也是极客时间-设计模式之美 的笔记
Stars: ✭ 253 (+45.4%)
Data structure and algorithms libraryA collection of classical algorithms and data-structures implementation in C++ for coding interview and competitive programming
Stars: ✭ 133 (-23.56%)
fundamentalSoftware to look for interrelationships between constants and find formulas for number sequences
Stars: ✭ 14 (-91.95%)
common常用的模式、方法、算法。Common patterns and methods.
Stars: ✭ 59 (-66.09%)
Python DddPython DDD example
Stars: ✭ 100 (-42.53%)
Algos And Data StructuresCollection of Test Specs and Implementation of various algorithms and data structures from the Princeton Coursera course: Intro to Algorithms part 1 and 2
Stars: ✭ 31 (-82.18%)
It books好书分享,送人玫瑰,手有余香。
Stars: ✭ 154 (-11.49%)
Constant VigilanceLearn this if you want to be a software engineer. Constant vigilance means being continually aware of areas that need improvement. For me, I am constantly searching for valuable resources to ensure I am able to solve any problem that comes my way.
Stars: ✭ 30 (-82.76%)
AlgorithmsA collection of algorithms and data structures
Stars: ✭ 11,553 (+6539.66%)
laravel-filtersNeed some filters? This package is based on the Repository Design Pattern to let you create specific queries easily.
Stars: ✭ 19 (-89.08%)
Binarytraits.jlCan do or not? It's easy. See https://tk3369.github.io/BinaryTraits.jl/dev/
Stars: ✭ 30 (-82.76%)
Awesome-Math-Learning📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.
Stars: ✭ 73 (-58.05%)
HappysocialmediaMicroservices Social Media / Network / Chatt, with .net core 2.2, Docker, Implement with Domain Driven Design with all best practices design and architetural patterns as DDD, CrossCutting IoC, SOLID, etc
Stars: ✭ 28 (-83.91%)
Awesome Software Engineer TopicsA list of useful articles and videos generated from my Instapaper archived list on Software Design, Testing, Public Speaking, etc.
Stars: ✭ 97 (-44.25%)
Generic RepositoryGeneric implementation of Repository pattern in C# .NET
Stars: ✭ 115 (-33.91%)
Design PatternsОписание и реализация самых популярных шаблонов проектирования
Stars: ✭ 72 (-58.62%)
Techinterview💎 Cheat sheet to prep for technical interviews.
Stars: ✭ 454 (+160.92%)
Awesome ScalabilityThe Patterns of Scalable, Reliable, and Performant Large-Scale Systems
Stars: ✭ 36,688 (+20985.06%)
Resumos EMAP-FGVRepositório de resumos do curso de Matemática Aplicada da FGV-EMAP
Stars: ✭ 23 (-86.78%)
42@rsapkf's linkroll.
Stars: ✭ 1,906 (+995.4%)
adhesion-rsD-inspired contract programming in Rust using macros
Stars: ✭ 49 (-71.84%)
Math NotesApuntes de las asignaturas de matemáticas en la UGR
Stars: ✭ 14 (-91.95%)
spherical-cowA high volume fraction sphere packing library
Stars: ✭ 24 (-86.21%)
savva3Сайт Алексея Савватеева
Stars: ✭ 29 (-83.33%)
SeagullA Python Library for Conway's Game of Life
Stars: ✭ 130 (-25.29%)
CoursesQuiz & Assignment of Coursera
Stars: ✭ 454 (+160.92%)
Math ToolboxLightweight and modular math toolbox
Stars: ✭ 71 (-59.2%)
Symbolics.jlA fast and modern CAS for a fast and modern language.
Stars: ✭ 435 (+150%)
Service Pattern GoSimple clean Go REST API architecture with dependency injection and mocking example, following SOLID principles.
Stars: ✭ 449 (+158.05%)
Ts Design PatternsDesign Patterns, written and explained using Typescript
Stars: ✭ 13 (-92.53%)
Programming NotesLecture notes on Computer Science, Full Stack Development, and Software Engineering Philosophies.
Stars: ✭ 171 (-1.72%)