Math PhpPowerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Stars: ✭ 2,009 (+1950%)
Awesome-Math-Learning📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.
Stars: ✭ 73 (-25.51%)
vim-rzipExtends zip.vim to browse and write nested zip files
Stars: ✭ 22 (-77.55%)
slime-sat-solverA Free World Class High Performance SAT Solver
Stars: ✭ 15 (-84.69%)
Geeksforgeeks Dsa 2This repository contains all the assignments and practice questions solved during the Data Structures and Algorithms course in C++ taught by the Geeks For Geeks team.
Stars: ✭ 53 (-45.92%)
Probability TheoryA quick introduction to all most important concepts of Probability Theory, only freshman level of mathematics needed as prerequisite.
Stars: ✭ 25 (-74.49%)
LatteLaTTe : a Laboratory for Type Theory experiments (in clojure)
Stars: ✭ 210 (+114.29%)
nunchakuModel finder for higher-order logic
Stars: ✭ 40 (-59.18%)
Project Euler SolutionsRunnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Stars: ✭ 1,374 (+1302.04%)
Stats Maths With PythonGeneral statistics, mathematical programming, and numerical/scientific computing scripts and notebooks in Python
Stars: ✭ 381 (+288.78%)
Philosophy A list of philosophy books and resources.
Stars: ✭ 206 (+110.2%)
combiPythonic package for combinatorics
Stars: ✭ 51 (-47.96%)
interview-refresh-java-bigdataa one-stop repo to lookup for code snippets of core java concepts, sql, data structures as well as big data. It also consists of interview questions asked in real-life.
Stars: ✭ 25 (-74.49%)
alchemyGenerate any a-by-( b + c ) finite rectangle SVG containing potentially Infinitely many a-by-( 2 * b ) finite rectangles animated along a number line of ( ( c - b ) / a )^n scale symmetry.
Stars: ✭ 29 (-70.41%)
series-formellesTranslation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)
Stars: ✭ 24 (-75.51%)
Basic Mathematics For Machine LearningThe motive behind Creating this repo is to feel the fear of mathematics and do what ever you want to do in Machine Learning , Deep Learning and other fields of AI
Stars: ✭ 300 (+206.12%)
TeachingTeaching Materials for Dr. Waleed A. Yousef
Stars: ✭ 435 (+343.88%)
bltLattice-based integer linear programming solver
Stars: ✭ 60 (-38.78%)
gaptGAPT: General Architecture for Proof Theory
Stars: ✭ 83 (-15.31%)
sublime-PICO-8PICO-8 plugin for the Sublime Text 3 editor.
Stars: ✭ 42 (-57.14%)
ilp-connectorReference implementation of an Interledger connector.
Stars: ✭ 131 (+33.67%)
bosphorusBosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Stars: ✭ 45 (-54.08%)
odin-vscodeOdin syntax highlighting and snippets for Code.
Stars: ✭ 17 (-82.65%)
theolog-ss2017Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-81.63%)
AtCoderatcoder.jp/user/saikat
Stars: ✭ 24 (-75.51%)
react-folder-treeA versatile react treeview library that supports custom icons and event handlers
Stars: ✭ 56 (-42.86%)
cddlibAn efficient implementation of the Double Description Method
Stars: ✭ 71 (-27.55%)
machine-learning-notebooks🤖 An authorial collection of fundamental python recipes on Machine Learning and Artificial Intelligence.
Stars: ✭ 63 (-35.71%)
classySuper simple text classifier using Naive Bayes. Plug-and-play, no dependencies
Stars: ✭ 12 (-87.76%)
4ti2A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter
Stars: ✭ 21 (-78.57%)
glmOpenGL Mathematics (GLM)
Stars: ✭ 6,667 (+6703.06%)
30-seconds-of-pythonShort Python code snippets for all your development needs
Stars: ✭ 8,452 (+8524.49%)
tukeyMini stats toolkit for Clojure/Script
Stars: ✭ 17 (-82.65%)
termux-snippetsAn integrated tool and a collection of snippets which helps in the various aspects of the terminal.
Stars: ✭ 28 (-71.43%)
LuaSnipSnippet Engine for Neovim written in Lua.
Stars: ✭ 1,196 (+1120.41%)
mgit🌊 Manage multiple git repositories.
Stars: ✭ 28 (-71.43%)
loadkitJava 资源加载器,充分拓展ClassLoader#getResources(name)的能力,实现递归加载,支持普通风格 / 包名风格 / ANT风格 / 正则风格路径的资源加载同时支持自定义过滤器,通常作为框架的基础类库。
Stars: ✭ 39 (-60.2%)
typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+3116.33%)
My NoteBookサイエンス、テクノロジー、エンジニアリング関連の情報を記載したノート(忘備録)です。
Stars: ✭ 104 (+6.12%)
discoFunctional teaching language for use in a discrete mathematics course
Stars: ✭ 132 (+34.69%)
mathrainingSite interactif avec théorie, exercices et problèmes
Stars: ✭ 31 (-68.37%)
code-examples-managerSoftware tool to manage your notes and code examples, to publish them as gists or snippets
Stars: ✭ 26 (-73.47%)
clara-copilotA alternative to Github Copilot for vscode until you get the access to github copilot
Stars: ✭ 206 (+110.2%)