All Projects → discrete-math-python-scripts → Similar Projects or Alternatives

914 Open source projects that are alternatives of or similar to discrete-math-python-scripts

Introduction-to-Discrete-Mathematics-for-Computer-Science-Specialization
[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization
Stars: ✭ 71 (-27.55%)
Undergraduate-in-Statistics
Using Computer with your Statistics Major Course
Stars: ✭ 57 (-41.84%)
Mutual labels:  probability, mathematics, bayes
Math Php
Powerful 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-rzip
Extends zip.vim to browse and write nested zip files
Stars: ✭ 22 (-77.55%)
Mutual labels:  recursion, recursive
stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
Stars: ✭ 70 (-28.57%)
Mutual labels:  logic, coursera
slime-sat-solver
A Free World Class High Performance SAT Solver
Stars: ✭ 15 (-84.69%)
Mutual labels:  sat-solver, sat
Geeksforgeeks Dsa 2
This 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%)
Mutual labels:  mathematics, recursion
Probability Theory
A quick introduction to all most important concepts of Probability Theory, only freshman level of mathematics needed as prerequisite.
Stars: ✭ 25 (-74.49%)
Mutual labels:  probability, mathematics
Latte
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Stars: ✭ 210 (+114.29%)
Mutual labels:  logic, mathematics
nunchaku
Model finder for higher-order logic
Stars: ✭ 40 (-59.18%)
Mutual labels:  logic, sat
Project Euler Solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Stars: ✭ 1,374 (+1302.04%)
Mutual labels:  mathematics, recursion
Stats Maths With Python
General statistics, mathematical programming, and numerical/scientific computing scripts and notebooks in Python
Stars: ✭ 381 (+288.78%)
Mutual labels:  probability, mathematics
Awesome Machine Learning Deep Learning Mathematics
A curated list of mathematics documents ,Concepts, Study Materials , Algorithms and Codes available across the internet for machine learning and deep learning
Stars: ✭ 138 (+40.82%)
Mutual labels:  probability, mathematics
Philosophy
A list of philosophy books and resources.
Stars: ✭ 206 (+110.2%)
Mutual labels:  logic, mathematics
Math Finance Cheat Sheet
Mathematical finance cheat sheet.
Stars: ✭ 186 (+89.8%)
Mutual labels:  probability, mathematics
combi
Pythonic package for combinatorics
Stars: ✭ 51 (-47.96%)
haskell-picosat
Haskell bindings for PicoSAT solver
Stars: ✭ 15 (-84.69%)
Mutual labels:  logic, sat-solver
interview-refresh-java-bigdata
a 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%)
Mutual labels:  snippets, recursion
alchemy
Generate 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%)
Mutual labels:  mathematics, recursion
series-formelles
Translation 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%)
Mutual labels:  mathematics, combinatorics
Basic Mathematics For Machine Learning
The 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%)
Mutual labels:  probability, mathematics
Teaching
Teaching Materials for Dr. Waleed A. Yousef
Stars: ✭ 435 (+343.88%)
Mutual labels:  probability, mathematics
Mathematics for Machine Learning
Learn mathematics behind machine learning and explore different mathematics in machine learning.
Stars: ✭ 28 (-71.43%)
Mutual labels:  probability, mathematics
blt
Lattice-based integer linear programming solver
Stars: ✭ 60 (-38.78%)
Mutual labels:  ilp, ilp-solver
gapt
GAPT: General Architecture for Proof Theory
Stars: ✭ 83 (-15.31%)
Mutual labels:  sat-solver, proofs
sublime-PICO-8
PICO-8 plugin for the Sublime Text 3 editor.
Stars: ✭ 42 (-57.14%)
Mutual labels:  snippets
groupoid.space
🧊 Інститут Формальної Математики
Stars: ✭ 35 (-64.29%)
Mutual labels:  induction
atom-perl6-editor-tools
A collection of useful Perl 6 editor tools
Stars: ✭ 19 (-80.61%)
Mutual labels:  snippets
ilp-connector
Reference implementation of an Interledger connector.
Stars: ✭ 131 (+33.67%)
Mutual labels:  ilp
bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Stars: ✭ 45 (-54.08%)
Mutual labels:  sat
odin-vscode
Odin syntax highlighting and snippets for Code.
Stars: ✭ 17 (-82.65%)
Mutual labels:  snippets
theolog-ss2017
Notizen 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%)
Mutual labels:  logic
rocketnative-sublime-snippets
[DEPRECATED] Rocketseat React Native snippets for Sublime Text Editor
Stars: ✭ 16 (-83.67%)
Mutual labels:  snippets
AtCoder
atcoder.jp/user/saikat
Stars: ✭ 24 (-75.51%)
Mutual labels:  mathematics
react-folder-tree
A versatile react treeview library that supports custom icons and event handlers
Stars: ✭ 56 (-42.86%)
Mutual labels:  recursion
SimpleSnippets.vim
Simple snippet support for your Vim and Neovim
Stars: ✭ 86 (-12.24%)
Mutual labels:  snippets
cddlib
An efficient implementation of the Double Description Method
Stars: ✭ 71 (-27.55%)
Mutual labels:  mathematics
machine-learning-notebooks
🤖 An authorial collection of fundamental python recipes on Machine Learning and Artificial Intelligence.
Stars: ✭ 63 (-35.71%)
Mutual labels:  mathematics
classy
Super simple text classifier using Naive Bayes. Plug-and-play, no dependencies
Stars: ✭ 12 (-87.76%)
Mutual labels:  bayes
4ti2
A 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%)
Mutual labels:  mathematics
glm
OpenGL Mathematics (GLM)
Stars: ✭ 6,667 (+6703.06%)
Mutual labels:  mathematics
30-seconds-of-python
Short Python code snippets for all your development needs
Stars: ✭ 8,452 (+8524.49%)
Mutual labels:  snippets
tukey
Mini stats toolkit for Clojure/Script
Stars: ✭ 17 (-82.65%)
Mutual labels:  mathematics
termux-snippets
An integrated tool and a collection of snippets which helps in the various aspects of the terminal.
Stars: ✭ 28 (-71.43%)
Mutual labels:  snippets
LuaSnip
Snippet Engine for Neovim written in Lua.
Stars: ✭ 1,196 (+1120.41%)
Mutual labels:  snippets
mgit
🌊 Manage multiple git repositories.
Stars: ✭ 28 (-71.43%)
Mutual labels:  recursive
matematicaelementar
Matemática Elementar para Computação
Stars: ✭ 29 (-70.41%)
Mutual labels:  mathematics
firebase-functions-snippets
Awesome Firebase Functions snippets that cannot be ignored
Stars: ✭ 68 (-30.61%)
Mutual labels:  snippets
loadkit
Java 资源加载器,充分拓展ClassLoader#getResources(name)的能力,实现递归加载,支持普通风格 / 包名风格 / ANT风格 / 正则风格路径的资源加载同时支持自定义过滤器,通常作为框架的基础类库。
Stars: ✭ 39 (-60.2%)
Mutual labels:  recursion
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+3116.33%)
Mutual labels:  logic
VscOdooSnippets
Odoo Snippets for Visual Studio Code
Stars: ✭ 29 (-70.41%)
Mutual labels:  snippets
My NoteBook
サイエンス、テクノロジー、エンジニアリング関連の情報を記載したノート(忘備録)です。
Stars: ✭ 104 (+6.12%)
Mutual labels:  mathematics
Bulma-Snippets-Sublime-Text-Plugin
Bulma Snippets Sublime Text Plugin
Stars: ✭ 13 (-86.73%)
Mutual labels:  snippets
disco
Functional teaching language for use in a discrete mathematics course
Stars: ✭ 132 (+34.69%)
Mutual labels:  discrete-mathematics
common-lisp-snippets
Yasnippets for Common Lisp
Stars: ✭ 37 (-62.24%)
Mutual labels:  snippets
Recursive-Tile-Map-Growth
Tile based level growth algorithm used in Procedural Dungeon Toolkit
Stars: ✭ 40 (-59.18%)
Mutual labels:  recursion
mathraining
Site interactif avec théorie, exercices et problèmes
Stars: ✭ 31 (-68.37%)
Mutual labels:  mathematics
code-examples-manager
Software tool to manage your notes and code examples, to publish them as gists or snippets
Stars: ✭ 26 (-73.47%)
Mutual labels:  snippets
clara-copilot
A alternative to Github Copilot for vscode until you get the access to github copilot
Stars: ✭ 206 (+110.2%)
Mutual labels:  snippets
1-60 of 914 similar projects