https://github.com/cfr42/prooftrees

A LaTeX package for drawing logical tableaux.

latex latex-package logic mathematics pgf philosophy tableau tableaux tex tikz trees

Last synced: 07 Nov 2024

https://github.com/jsxgraph/moodle-filter_jsxgraph

moodle plug-in for JSXGraph

analysis dynamic geometry jsxgraph mathematics moodle plugin

Last synced: 05 Nov 2024

https://github.com/digitalkaoz/rechentrainer

let your kids train some basic math

flutter learning mathematics mobx

Last synced: 18 Oct 2024

https://github.com/stdlib-js/math-strided-special-bessely1-by

Compute the Bessel function of the second kind of order one for each element retrieved from an input strided array via a callback function.

accessor array bessel callback clbk element-wise javascript map math mathematics ndarray node node-js nodejs special stdlib strided transform vector y1

Last synced: 21 Oct 2024

https://github.com/stdlib-js/random-base-logistic

Logistic distributed pseudorandom numbers.

factory generator javascript logistic math mathematics node node-js nodejs prng pseudorandom rand random rng seed seedable statistics stats stdlib

Last synced: 12 Oct 2024

https://github.com/singhsatyam/math_editor

TinyMCE plugin for MathquillBasedEditor

editor editor-plugin latex math-library mathematics mathjax tinymce tinymce-wysiwyg-editor

Last synced: 07 Nov 2024

https://github.com/MartinKondor/positron

Blazingly fast deep learning library for Python.

ai algorithms artificial-intelligence deep-learning deep-neural-networks machinelearning math mathematics neural-network neural-networks

Last synced: 02 Nov 2024

https://github.com/stdlib-js/constants-float64-cbrt-eps

Cube root of double-precision floating-point epsilon.

64-bit 64bit const constant dbl double eps epsilon float float64 floating-point ieee754 javascript math mathematics node node-js nodejs number stdlib

Last synced: 24 Oct 2024

https://github.com/stdlib-js/math-strided-special-rsqrt

Compute the reciprocal square root for each element in a strided array.

array inverse javascript math mathematics ndarray node node-js nodejs number power principal reciprocal root sqrt square stdlib strided trig vector

Last synced: 21 Oct 2024

https://github.com/neizod/problems

neizod's solution to math & com-sci problems

algorithm computer-science mathematics problems-solving

Last synced: 13 Oct 2024

https://github.com/eigenein/bpci

Binomial proportion confidence intervals

agresti-coull binomial crate mathematics proportions rust rust-library statistics wald-interval wilson-score

Last synced: 27 Oct 2024

https://github.com/nicbarker/algebra-sandbox

Interactive algebra and symbolic manipulation

computer-algebra-system math mathematics mathematics-education

Last synced: 08 Nov 2024

https://github.com/stdlib-js/stats-iter

Standard library functions for computing statistics over iterators.

iter iteration iterator iterators javascript lib library math mathematics node node-js nodejs standard statistics stats stdlib

Last synced: 21 Oct 2024

https://github.com/cpmachado/cpmachado.github.io

My personal website / blog

blog chess dev hugo-site mathematics philosophy

Last synced: 06 Nov 2024

https://github.com/pniewiejski/ulam-spiral

Generate ulam spirals 🌀

mathematics prime-numbers sieve-of-eratosthenes ulam-spiral

Last synced: 31 Oct 2024

https://github.com/jishnub/vectorsphericalharmonics.jl

Vector Spherical Harmonics in Julia following the phase conventions of Varshalovich et al. (1988)

basis-set harmonics linear-algebra mathematics polynomials spherical-harmonics vector

Last synced: 11 Oct 2024

https://github.com/stdlib-js/stats-base-dsvariance

Calculate the variance of a single-precision floating-point strided array using extended accumulation and returning an extended precision result.

array deviation dispersion javascript math mathematics node node-js nodejs sample-variance standard-deviation statistics stats stdlib strided strided-array typed unbiased var variance

Last synced: 24 Oct 2024

https://github.com/414owen/lambda-repl

JS / jison port of my lambda-calculus reducer

functional jison lambda lambda-calculus mathematics maths

Last synced: 20 Oct 2024

https://github.com/stdlib-js/stats-base-meanwd

Calculate the arithmetic mean of a strided array using Welford's algorithm.

arithmetic-mean array average avg central-tendency javascript math mathematics mean node node-js nodejs statistics stats stdlib strided strided-array welford

Last synced: 24 Oct 2024

https://github.com/rindow/rindow-math-plot

Mathematical graph plotting library

graphics mathematics php plotting scientific-computing

Last synced: 06 Nov 2024

https://github.com/xtonousou/projecteuler

:tophat: Project Euler solutions

euler euler-solutions mathematics maths project python

Last synced: 12 Oct 2024

https://github.com/frankmike/bitcoin-from-scratch

A study on Bitcoin main components

bitcoin bitcoin-payment bitcoin-transaction blockchain cryptography mathematics

Last synced: 11 Oct 2024

https://github.com/librasteve/raku-math-polygons

Some perl6 polygon objects that draw using SVG

jupyter-notebook math mathematics maths perl6 polygons svg

Last synced: 05 Nov 2024

https://github.com/walchko/bearsnacks

:robot: Jupyter Notebooks on robotics, computer vision, python and more

computer-vision data-science hexapod inertial-navigation-systems jupyter-notebook mathematics multiped python3 robotics space

Last synced: 23 Oct 2024

https://github.com/nonlin-lin-chaos-order-etc-etal/websofmath_now_sh_nextjs

Nonlinear Mathematics Example

logic math mathematics metamath mm nl nlsci nonlinear nonlinear-science science synergetic synergetics

Last synced: 14 Oct 2024

https://github.com/mimmackk/unitball

Graphing the p-norm unit ball in 2 dimensions is a common exercise introductory analysis. Explore the problem solving process of modeling the 3-dimensional version, a much more difficult problem, using Python.

3d-models mathematics plotly python

Last synced: 04 Aug 2024

https://github.com/stdlib-js/blas-ext-base-dnannsumkbn

Calculate the sum of double-precision floating-point strided array elements, ignoring NaN values and using an improved Kahan–Babuška algorithm.

array blas compensated extended float64 javascript math mathematics node node-js nodejs statistics stats stdlib strided strided-array sum summation total typed

Last synced: 06 Nov 2024

https://github.com/mwmorale/python_play

Welcome to python_play ! I figured that I should update my GitHub to show off my recent Python skills that I gained during my time at Nerdwallet as a Security Software Engineer! Here, I explore the infamous "polish notation". But, what is Polish notation and how would I implement it via programming? Simple! Polish notation(and the associated program written) is a very simple and useful program that uses Python to calculate the result of the users "Polish notation" input. Polish notation is a very fun mathematical trick that uses a mathematical notation in which operators precede their operands.

mathematical-programming mathematics python

Last synced: 06 Nov 2024

https://github.com/adishavit/ordinals

Ordinal Arithmetic in C++

mathematics ordinal set-theory

Last synced: 06 Nov 2024

https://github.com/414owen/pure-lambda

Lambda calculus expression simplifier repl

bison flex functional lambda lambda-calculus lambda-expressions math mathematics parser-generator

Last synced: 20 Oct 2024

https://github.com/pelenium/math-parser

Math parser of expressions in Polish notaiton (LISP like)

expression-evaluator expression-parser fsharp math mathematics maths parser polish-notation

Last synced: 12 Oct 2024

https://github.com/stdlib-js/constants-float16-precision

Effective number of bits in the significand of a half-precision floating-point number.

const constant float floating-point half ieee754 javascript math mathematics node node-js nodejs precision significand stdlib

Last synced: 25 Oct 2024

https://github.com/stdlib-js/stats-incr-count

Compute a count incrementally.

accumulator count incremental javascript math mathematics node node-js nodejs statistics stats stdlib total

Last synced: 25 Oct 2024

https://github.com/erhant/math-notes

My notes related to Number Theory (and more soon).

blog markdown mathematics mdbook

Last synced: 11 Oct 2024

https://github.com/stdlib-js/array-logspace

Generate a logarithmically spaced numeric array.

array generic javascript linear log logarithmic math mathematics matlab node node-js nodejs stdlib utilities utils

Last synced: 24 Oct 2024

https://github.com/stdlib-js/array-datespace

Generate an array of linearly spaced dates.

array date generic javascript linear math mathematics matlab node node-js nodejs stdlib utilities utils

Last synced: 24 Oct 2024

https://github.com/stdlib-js/array-incrspace

Generate a linearly spaced numeric array using a provided increment.

array generic increment javascript linear linspace math mathematics matlab node node-js nodejs sequence stdlib utilities utils

Last synced: 24 Oct 2024

https://github.com/overloadedorama/mathbotdiscord

A simple bot that does mathematical calculations for Discord

bot discord discord-bot discord-py math mathematics python python3

Last synced: 03 Nov 2024

https://github.com/tomwhite/atomiclisp

Atomic LISP is my reformulation of Gregory J. Chaitin's version of LISP that he uses in his books "The Unknowable" (Springer Verlag, 1999) and "The Limits of Mathematics" (Springer Verlag 1998).

lisp mathematics

Last synced: 12 Oct 2024

https://github.com/stdlib-js/constants-uint8

8-bit unsigned integer mathematical constants.

8-bit 8bit byte const constants int integer javascript lib library math mathematics namespace node node-js nodejs standard stdlib uint8 unsigned

Last synced: 01 Nov 2024

https://github.com/stdlib-js/blas-base-gdot

Calculate the dot product of two vectors.

algebra blas ddot dot dot-product inner javascript level-1 linear math mathematics node node-js nodejs product scalar scalar-product sdot stdlib subroutines

Last synced: 01 Nov 2024

https://github.com/stdlib-js/constants-float64-ln-pi

Natural logarithm of π.

const constant dbl double float64 floating-point ieee754 javascript lnpi log logarithm logpi math mathematics natural node node-js nodejs pi stdlib

Last synced: 01 Nov 2024

https://github.com/juancastillo0/tensorflow_dart

TensorFlow bindings in Dart. API modeled after TensorFlowJS. Works using WASM for the web or desktop.

dart data-processing data-science deep-learning flutter machine-learning mathematics neural-networks tensorflow wasm

Last synced: 19 Oct 2024

https://github.com/friedbrice/applications-of-category-theory-to-programming-languages

Presentation and supporting code examples given at the Graduate Mathematics Seminar, Cal State Channel Islands, 2018-03-05.

beamer latex mathematics presentation-slides scala

Last synced: 15 Oct 2024

https://github.com/perkss/perkss.github.io

My fun super interesting blog take a read

algorithm algorithms c clojure docker finance functional-programming green kubernetes math mathematics maths sustainability terraform

Last synced: 28 Oct 2024

https://github.com/harsh7in/competitive-programming

This repository contains algorithms for Competitive Programming as a part of my competitive programming Journey.

algorithms arrray bitmasking dynamic-programming graph mathematics recursion stl string

Last synced: 11 Oct 2024

https://github.com/imedadel/gatsby-papers

WIP - Easily publish your academic papers on the web using GatsbyJS

academia academic academic-paper academic-website computer-science gatsby-blog gatsby-starter gatsbyjs mathematics physics wip work-in-progress

Last synced: 07 Nov 2024

https://github.com/melchisedech333/verbum-paper

:clipboard: Verbum Paper is a software that is intended to be used to facilitate the sharing of formulas, equations, and things involving mathematics.

function-plotter latex latex-document latex-editor latex-example latex-examples latex-parser latex-pdf math math-functions mathematics paper paper-notes paper-presentation scientific-paper scientific-papers scientific-publications scientific-publishing scientific-research

Last synced: 11 Oct 2024

https://github.com/ringiclub/obfuscation

Analyses of obfuscation generated by ollvm and tigress.

assembly binary-analysis logical-reasoning mathematics obfuscation ollvm reverse-engineering tigress

Last synced: 28 Oct 2024

https://github.com/stdlib-js/random-iter-uniform

Create an iterator for generating pseudorandom numbers drawn from a continuous uniform distribution.

continuous generator iterator javascript math mathematics node node-js nodejs prng pseudorandom rand random rng seed seedable statistics stats stdlib uniform

Last synced: 20 Oct 2024

https://github.com/domdfcoding/mathematical

Mathematical tools for Python 📐 🐍 🛠️

mathematics python python3 utilities

Last synced: 15 Oct 2024

https://github.com/stdlib-js/stats-base-dnanvariancetk

Calculate the variance of a double-precision floating-point strided array ignoring NaN values and using a one-pass textbook algorithm.

array deviation dispersion javascript math mathematics node node-js nodejs sample-variance standard-deviation statistics stats stdlib strided strided-array typed unbiased var variance

Last synced: 28 Oct 2024

https://github.com/harveyrdonnelly/maclaurin-series-models

A library of interactive Maclaurin Series Mathematical Models written in Python, including trigonometric and exponential functions.

maclaurin-series mathematical-modelling mathematics mathematics-education matplotlib numpy python python3 seaborn

Last synced: 15 Oct 2024

https://github.com/kjarosh/zobaczyc-matematyke

A website about complex numbers with interactive presentations

angular complex-numbers mathematics website

Last synced: 28 Oct 2024

https://github.com/cluzier/graphcalc

A simple Raycast graphing calculator extension

graphic-calculator mathematics raycast

Last synced: 07 Nov 2024

https://github.com/xyproto/num

Fractions and conversion to/from string, float64 and big numbers

conversions denominator fractions mathematics numerator

Last synced: 17 Oct 2024

https://github.com/0xD34F/mathematics

combinatorics math mathematics

Last synced: 27 Oct 2024

https://github.com/stdlib-js/math-iter-special

Standard library math iterators for special functions.

function iter iterable iteration iterator javascript lib library math mathematics node node-js nodejs special standard stdlib

Last synced: 21 Oct 2024

https://github.com/stdlib-js/math-iter-utils-continued-fraction

Evaluate the terms of a continued fraction.

approximation continued fraction iterable iterate iterator javascript math mathematics node node-js nodejs stdlib

Last synced: 21 Oct 2024

https://github.com/stdlib-js/stats-incr-skewness

Compute a corrected sample skewness incrementally.

accumulator corrected incremental javascript math mathematics node node-js nodejs sample-skewness shape skewness statistics stats stdlib

Last synced: 21 Oct 2024

https://github.com/stdlib-js/math-strided-special-ceil

Round each element in a strided array toward positive infinity.

array ceil element-wise integer javascript math mathematics ndarray nearest node node-js nodejs round stdlib strided vector

Last synced: 21 Oct 2024

https://github.com/stdlib-js/math-base-special-ellipe

Compute the complete elliptic integral of the second kind.

elliptic javascript math mathematics node node-js nodejs number special stdlib

Last synced: 21 Oct 2024

https://github.com/stdlib-js/math-base-special-floorb

Round a numeric value to the nearest multiple of b^n toward negative infinity.

floor floorb floorn integer javascript math mathematics nearest node node-js nodejs number round stdlib

Last synced: 21 Oct 2024

https://github.com/stdlib-js/random-streams-geometric

Create a readable stream for generating pseudorandom numbers drawn from a geometric distribution.

discrete geometric javascript math mathematics node node-js nodejs prng pseudorandom rand random readable rng seed seedable statistics stats stdlib stream

Last synced: 17 Oct 2024

https://github.com/strake/stern-brocot.hs

Library of the Stern-Brocot representation of the rational numbers

arithmetic mathematics rational-numbers stern-brocot-tree

Last synced: 12 Oct 2024

https://github.com/tomwhite/tournesol

Phyllotaxis code

fibonacci mathematics plants visualization

Last synced: 12 Oct 2024

https://github.com/stdlib-js/random-streams-frechet

Create a readable stream for generating pseudorandom numbers drawn from a Fréchet distribution.

continuous frechet javascript math mathematics node node-js nodejs prng pseudorandom rand random readable rng seed seedable statistics stats stdlib stream

Last synced: 15 Oct 2024

https://github.com/bog-walk/project-euler-kotlin

:desert_island: A Kotlin solution set for the first 100 Project Euler problems.

algorithms educational hackerrank kotlin mathematics problem-solving project-euler

Last synced: 30 Oct 2024

https://github.com/sebastiandotdev/math-rs

An extensive math library for Rust

cargo lib mathematics rust

Last synced: 11 Oct 2024

https://github.com/njmarko/njmarko

ai deep-learning graph-neural-networks machine-learning mathematics software-engineering

Last synced: 11 Oct 2024

https://github.com/000x999/particlefluid_simulator

2D Realistic particle and fluid physics simulator written in C++

2d cplusplus documentation fluid-dynamics fluid-simulation mathematics optimization particles physics simulator

Last synced: 30 Oct 2024

https://github.com/philippmolitor/haw-mathematik-1

Jupyter Notebooks for the HAW Hamburg Mathematics 1 course.

education haw haw-hamburg jupyter jupyter-notebook math mathematics programming programming-exercises python

Last synced: 08 Nov 2024

https://github.com/entkenntnis/einhorn-der-mathematik

Löse Mathe-Rätsel mit der Einhorn-Dame Tina und ihrem Bruder Teo. Knobel-Spaß für jedes Alter.

education math mathematics riddle-game riddles storytelling unicorn

Last synced: 12 Oct 2024

https://github.com/miladsade96/numermp

Multi-threaded numerical methods implemented in fortran and wrapped in python

fortran fortran90 mathematical-programming mathematics multithreading numerical-analysis numerical-methods openmp parallel-computing python

Last synced: 11 Oct 2024

https://github.com/exane/ram_model

RAM Simulator (Random Access Machine). A mathematical model of real computers (Theoretical computer science)

assembly mathematics playground ram random-access-machine simulation theoretical-computer-science

Last synced: 29 Oct 2024

https://github.com/stdlib-js/blas-ext-base-dsortins

Sort a double-precision floating-point strided array using insertion sort.

arrange array blas double extended float64 float64array insertion javascript math mathematics ndarray node node-js nodejs order permute sort stdlib strided

Last synced: 17 Oct 2024

https://github.com/mattmcmanis/triangulum

Pascal's Triangle Generator

generator math mathematics pascal-triangle pascal-triangle-generator pascals-triangle

Last synced: 13 Oct 2024

https://github.com/stdlib-js/stats-base-nanvariancetk

Calculate the variance of a strided array ignoring NaN values and using a one-pass textbook algorithm.

array deviation dispersion javascript math mathematics node node-js nodejs sample-variance standard-deviation statistics stats stdlib strided strided-array typed unbiased var variance

Last synced: 26 Oct 2024

https://github.com/omerjuve2023/calculadoraeuler2

Programa Java que implementa el método de Euler para resolver sistemas de ecuaciones diferenciales. La aplicación interactúa con el usuario para ingresar parámetros y muestra tanto resultados tabulares como gráficos.

java learn lombok-maven mathematics maven

Last synced: 31 Oct 2024

https://github.com/omerjuve2023/createpdf

Crea un pdf de funciones matematicas y genera una grafica y una tabla de datos

graphics java mathematics maven pdf shell-script

Last synced: 27 Oct 2024

https://github.com/molodchina/msu

This repository is dedicated to bachelor's studies at Moscow State University, including different practicums and inter-faculty courses

cmc computer-science mathematics msu

Last synced: 07 Nov 2024

https://github.com/bartolomej/bookmarks

A collection of personal bookmarks 📋 📚 📖

articles best-practises collection datasets javascript machine-learning mathematics practises resource-list resourses

Last synced: 05 Nov 2024

https://github.com/g4brielvs/g4brielvs.github.io

"The true delight is in the finding out rather than in the knowing"

education jekyll jekyll-sites mathematics personal-blog

Last synced: 14 Oct 2024

https://github.com/kpeeters/cadabra2-contrib

User-contributed notebooks for the Cadabra2 computer algebra system

cadabra2 computer-algebra mathematics notebooks physics

Last synced: 15 Oct 2024

https://github.com/antoninhrlt/linbra

Easily do linear algebra in game development, graphics and other sorts of calculations using vectors and matrices.

algebra gamedev graphics linear-algebra math mathematics rust

Last synced: 08 Nov 2024

https://github.com/deanblackborough/mathsquiz

Small Maths quiz. app to generate questions for my 8 and 2 year old. Generates random short division and long multiplication questions.

beginner cpp learning-by-doing mathematics

Last synced: 05 Nov 2024

https://github.com/gabrielsantoslima/algorithms-and-experiments

:infinity: Repository of algorithms and experiments built in Java, Javascript, Python and Kotlin.

algorithms java javascript julia kotlin mathematics python rust

Last synced: 07 Nov 2024

https://github.com/stdlib-js/math-strided-special-sin-by

Compute the sine of each element retrieved from an input strided array via a callback function.

angle array element-wise javascript map math mathematics ndarray node node-js nodejs radians sin sine stdlib strided transform trig trigonometry vector

Last synced: 21 Oct 2024

https://github.com/xcarpentier/fibo-premier

experimentation with rust programming

fibonacci mathematics rust rust-lang

Last synced: 23 Oct 2024

https://github.com/stdlib-js/math-strided-special-sqrt

Compute the principal square root of each element in a strided array.

array element-wise javascript math mathematics ndarray node node-js nodejs number power principal root sqrt square stdlib strided vector

Last synced: 21 Oct 2024

https://github.com/merttalug/maximum_minimum

A program that asks the user to input n counting numbers and finds the maximum and minimum of these numbers.

java kodluyoruz mathematics maths patika-dev sorting-numbers

Last synced: 05 Nov 2024

https://github.com/merttalug/armstrongnumber

A program that finds whether a number between 0-1000 that it receives as input from users is an Armstrong number.

armstrong-number java kodluyoruz mathematics maths patika-dev

Last synced: 05 Nov 2024

https://github.com/antoninhrlt/sdymh

Tool collection to automate the solution of mathematical exercises. "Stop doing your math homework"

automate education exercises france math-problems mathematics python python3

Last synced: 08 Nov 2024

https://github.com/stdlib-js/math-strided-special-atan-by

Compute the arctangent of each element retrieved from an input strided array via a callback function.

arc arctangent array atan element-wise inverse javascript math mathematics ndarray node node-js nodejs stdlib strided tan tangent trig trigonometry vector

Last synced: 21 Oct 2024

https://github.com/emlyn/optimised-primes

Jupyter notebook exploring simple prime generating algorithms

ipython-notebook mathematics numbers prime-numbers python

Last synced: 05 Nov 2024

https://github.com/qnhat2004/thuat-toan-ung-dung

Thuật toán ứng dụng - Đại học Thủy Lợi

algorithm algorithm-competitions algorithm-implementations algorithms c-plus-plus educational instructor-materials mathematics

Last synced: 31 Oct 2024

https://github.com/stdlib-js/constants-float64-max-base2-exponent-subnormal

The maximum biased base 2 exponent for a subnormal double-precision floating-point number.

bias binary const constant dbl double exponent float floating-point ieee754 javascript math mathematics max maximum node node-js nodejs stdlib subnormal

Last synced: 01 Nov 2024

https://github.com/cheran-senthil/btp-project

Congruences of Partitions: Rank Differences and Cubic Partition Pairs

congruence mathematics partition-functions research

Last synced: 15 Oct 2024

https://github.com/pierwill/gaussiant

Gaussian integers in Rust.

complex-numbers mathematics number-theory

Last synced: 20 Oct 2024

https://github.com/samson-mano/random_domain_generator

C# implementation of random closed domain generator

algorithm bounded closed-domain domain inner-surfaces map-generation map-generator mathematics random-closed-domain random-surface surface surface-detection surfaces

Last synced: 07 Nov 2024