reed-thesisMy undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-12.5%)
tweedleGenerator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
Stars: ✭ 16 (+0%)
cafe🧊 Презентації та Воркшопи
Stars: ✭ 20 (+25%)
Probability TheoryA quick introduction to all most important concepts of Probability Theory, only freshman level of mathematics needed as prerequisite.
Stars: ✭ 25 (+56.25%)
FAQUnofficial Fedora FAQ in russian
Stars: ✭ 86 (+437.5%)
Awesome-Math-Learning📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.
Stars: ✭ 73 (+356.25%)
appliedstats📊 Methods of Applied Statistics Course Textbook Repository
Stars: ✭ 134 (+737.5%)
spherical-cowA high volume fraction sphere packing library
Stars: ✭ 24 (+50%)
MathImproveModify and Improve math expressions.
Stars: ✭ 13 (-18.75%)
savva3Сайт Алексея Савватеева
Stars: ✭ 29 (+81.25%)
lib12lib12 is a library of universal helpers and extensions useful in any .NET project
Stars: ✭ 30 (+87.5%)
cplot🌈 Plot complex functions
Stars: ✭ 75 (+368.75%)
Cs RoadmapMy Computer Science Curriculum
Stars: ✭ 239 (+1393.75%)
Sudokus ColoredAn experiment in R to color overimposed sudokus
Stars: ✭ 22 (+37.5%)
glossaryhttps://machinelearning.wtf/ - An online glossary of machine learning terms.
Stars: ✭ 28 (+75%)
Julia Set PlaygroundA Swift playground that generates beautiful Julia set fractal images.
Stars: ✭ 236 (+1375%)
ggraph끄래프 - 2학년 2학기 응용프로그래밍화면구현 수행평가
Stars: ✭ 14 (-12.5%)
litLiterature for the self-taught AI practitioner! 📚
Stars: ✭ 199 (+1143.75%)
stochastic sierpinskiA stochastic method to generate an approximation to the Sierpinski triangle
Stars: ✭ 41 (+156.25%)
Stdlib✨ Standard library for JavaScript and Node.js. ✨
Stars: ✭ 2,749 (+17081.25%)
AlgorithmsFree hands-on course with the implementation (in Python) and description of several computational, mathematical and statistical algorithms.
Stars: ✭ 117 (+631.25%)
creative-coding-notebooks🎨 An authorial collection of fundamental recipes on Creative Coding and Recreational Programming.
Stars: ✭ 17 (+6.25%)
JbookNotes about programming, advices, algorithms and a lot of good stuff with Java
Stars: ✭ 233 (+1356.25%)
LatteLaTTe : a Laboratory for Type Theory experiments (in clojure)
Stars: ✭ 210 (+1212.5%)
Pymystem3A Python wrapper of the Yandex Mystem 3.1 morphological analyzer (http://api.yandex.ru/mystem). The original tool is shipped as a binary and this library makes it easy to integrate it in Python projects. Let us know in the issues if you would like to be involved into the developments or maintenance of this project. If you have any fix or suggestion, please make a pull request. We are very open to accepting any contributions.
Stars: ✭ 224 (+1300%)
M2The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Stars: ✭ 200 (+1150%)
Rust book ruThe Rust Programming Language на русском языке
Stars: ✭ 188 (+1075%)
C3TC3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱
Stars: ✭ 26 (+62.5%)
OdlOperator Discretization Library https://odlgroup.github.io/odl/
Stars: ✭ 198 (+1137.5%)
OpenpapyrusSophisticated ERP, CRM, Point-Of-Sale, etc. Open source now. This system is developed since 1996.
Stars: ✭ 158 (+887.5%)
maths-for-deep-learning-aiA open source book covering the foundational maths of deep learning and machine learning using TensorFlow
Stars: ✭ 35 (+118.75%)
RazdelRule-based token, sentence segmentation for Russian language
Stars: ✭ 144 (+800%)
FplllLattice algorithms using floating-point arithmetic
Stars: ✭ 188 (+1075%)
Dotnetbook.NET Platform Architecture book (English, Chinese, Russian)
Stars: ✭ 1,763 (+10918.75%)
Eyo🦔 CLI for restoring the letter «ё» (yo) in russian texts
Stars: ✭ 119 (+643.75%)
SwiftymathPure Math in Pure Swift.
Stars: ✭ 182 (+1037.5%)
Program-MatematikaProgram Matematika adalah sebuah repository GitHub yang berisi program yang dapat memudahkan para pelajar atau guru dalam menyelesaikan masalah Matematika dengan Terminal
Stars: ✭ 15 (-6.25%)
Ru YtsRussian films provider for Popcorn Time
Stars: ✭ 109 (+581.25%)
UgmUbpa Graphics Mathematics
Stars: ✭ 178 (+1012.5%)
Russian Roulette🍀 You want to push your luck? ... Go ahead and try your best with this CLI russian roulette! 💥
Stars: ✭ 92 (+475%)
mathcellInteractive mathematics in the browser
Stars: ✭ 34 (+112.5%)
React Ru Interview QuestionsЗдесь собраны самые популярные вопросы, задаваемые на русскоязычных собеседованиях разработчика React.js, и ответы на них. Тематика вопросов включает в себя как основы JavaScript и веб-технологий так и глубокое понимание работы React.js
Stars: ✭ 86 (+437.5%)
JwaveA Discrete Fourier Transform (DFT), a Fast Wavelet Transform (FWT), and a Wavelet Packet Transform (WPT) algorithm in 1-D, 2-D, and 3-D using normalized orthogonal (orthonormal) Haar, Coiflet, Daubechie, Legendre and normalized biorthognal wavelets in Java.
Stars: ✭ 174 (+987.5%)
Russian news corpusRussian mass media stemmed texts corpus / Корпус лемматизированных (морфологически нормализованных) текстов российских СМИ
Stars: ✭ 76 (+375%)
csmath-2021This mathematics course is taught for the first year Ph.D. students of computer science and related areas @zju
Stars: ✭ 30 (+87.5%)
Riemann bookAn interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks. Work in progress.
Stars: ✭ 160 (+900%)
Black-Scholes-Option-Pricing-ModelBlack Scholes Option Pricing calculator with Greeks and implied volatility computations. Geometric Brownian Motion simulator with payoff value diagram and volatility smile plots. Java GUI.
Stars: ✭ 25 (+56.25%)
Intro-Cultural-AnalyticsIntroduction to Cultural Analytics & Python, course website and online textbook powered by Jupyter Book
Stars: ✭ 137 (+756.25%)
ScPoEconometricsUndergraduate textbook for Econometrics with R
Stars: ✭ 100 (+525%)
autodiffA .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
Stars: ✭ 69 (+331.25%)
mathlinguaMathLingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
Stars: ✭ 68 (+325%)
AtCoderatcoder.jp/user/saikat
Stars: ✭ 24 (+50%)
riemann-divisor-sumCode for the series "Searching for Riemann Hypothesis Counterexamples"
Stars: ✭ 16 (+0%)
CocalcCoCalc: Collaborative Calculation in the Cloud
Stars: ✭ 888 (+5450%)