formulas-and-numbers Goto Github PK

archive-pml.github.io

archive-pml.github.io

axiom

Axiom is a free, open source computer algebra system

corenlp

Stanford CoreNLP: A Java suite of core NLP tools.

cubicaltt

datasaurus

The Datasaurus Dozen datasets

deepdive

DeepDive

flint2

FLINT (Fast Library for Number Theory)

formulas-and-numbers.github.io

Organization web-site

fortranfiles.jl

Julia support for reading/writing Fortran unformatted files

foundations

Development of the univalent foundations of mathematics in Coq

gadfly.jl

Crafty statistical graphics for Julia.

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

julia

The Julia Language: A fresh approach to technical computing.

keras

Deep Learning library for Python. Runs on TensorFlow, Theano, or CNTK.

llvmlite

A lightweight LLVM python binding for writing JIT compilers

martin-lof

papers of Per Martin Löf

maxima.jl

Symbolic Computations in Julia using Maxima

mpmath

Python library for arbitrary-precision floating-point arithmetic

nemo.jl

Julia bindings for various mathematical libraries (including flint2)

numba

NumPy aware dynamic Python compiler using LLVM

numpy

Numpy main repository

numpydoc

Numpy's Sphinx extensions

oneparameterisalwaysenough

code from Piantadosi (2018)

python-stanford-corenlp

Official Python interface to CoreNLP using a bidirectional server-client interface.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

rdata.jl

Read R data files from Julia

scikit-learn

scikit-learn: machine learning in Python

snorkel

A training data creation and management system focused on information extraction

soerp

Second Order ERror Propagation

statsbase.jl

Basic statistics for Julia