math search - LibHunt search results

Mathematical_research

4 11 0.0 Jupyter Notebook

Research and programming of various interesting mathematical examples

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

alfred-jira-search

1 24 0.0 JavaScript

Alfred Workflow to quickly search through Jira issues 🔎

JavaScript

17 31,611 8.6 JavaScript

Algorithms and Data Structures implemented in JavaScript for beginners, following best practices. (by TheAlgorithms)

C-Plus-Plus

3 29,444 5.7 C++

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

C

5 18,301 3.8 C

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

Algorithms

3 16,686 3.1 Java

A collection of algorithms and data structures (by williamfiset)

LaTeX-examples

1 1,554 0.0 TeX

Examples for the usage of LaTeX

SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

AngouriMath

18 766 3.3 C#

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

awesome-computational-neuroscience

3 658 10.0

A list of schools and researchers in computational neuroscience

optapy

2 264 5.5 Java

OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.

cadabra2

2 215 8.0 C++

A field-theory motivated approach to computer algebra.

TypeTopology

1 213 9.8 Agda

Logical manifestations of topological concepts, and other things, via the univalent point of view.

path_semantics

12 160 8.9 Rust

A research project in path semantics, a re-interpretation of functions for expressing mathematics

network-opt

1 151 6.1 C++

A library for topological network optimization

Research

16 111 8.6 Mathematica

Blockchain Commons Research papers (by BlockchainCommons)

pg-costop

1 43 3.9 PLpgSQL

Vector Arithmetic and Weighted, Variably Randomized Cosine Similarity Search in Postgres

search

0 12 0.0 Haskell

infinite search in finite time with Hilbert's epsilon (by ekmett)

algebraic-general-topology

1 8 10.0 TeX

A math research book

rust-spectre

1 7 1.8 Mathematica

A Rust iteration of the Spectre Variant 1 attack formulated in my undergraduate research. The original thesis' text explores the feasibility of exploitation of the Spectre vulnerability in security-focused languages, from which Rust is taken as a prime example.