422 Open source projects that are alternatives of or similar to C3T

Category theory in the context of (functional) programming

Matemática Elementar para Computação

A computational algebra system in Smalltalk.

My undergradate thesis on coinductive types in univalent type theory

(Still exploring) My cryptography journey: A collection of notebooks covering different algorithms and concepts from cryptography

Data science and numerical computing with Julia

Univalent mathematics in Agda

Oracle Database driver for the Julia language.

I/O operations for OME-TIFF files in Julia

neg4n's mathematics utilities

Collection of native ios extensions and classes to boost development process. Such as UIKit, Foundation, QuartzCore, Accelerate, OpenCV, CoreGraphics, os and more. 超实用开发加速工具收集

Supporting evidence for security of the Jubjub curve to be used in Zcash

A Quasi-Monte-Carlo Integrator Library with CUDA Support

This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository

An independent micro-service that takes orders in and processes payments.

《线性代数及其应用》笔记

Develop a 3D interactive graphics rendering engine

This is the companion repo for Accounting Succinctly by Joe Booth. Published by Syncfusion.

A collection of simulations and visualizations for all sorts of stuff (Majorly Algorithmic or Mathematical)

Learn mathematics behind machine learning and explore different mathematics in machine learning.

👁️ An authorial set of fundamental Python recipes on Computer Vision and Digital Image Processing.

A template to automatically convert Pluto notebooks to an HTML website with GitHub Pages. Demo page:

Proximal operators for nonsmooth optimization in Julia

Julia macros for suppressing and/or capturing output (STDOUT), warnings (STDERR) or both streams at the same time.

A categorical semantics library in Agda.

Quick reference material for techies

A Julia module providing the definition of the circle constant Tau (2π)

Level Set Method Library

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Source files for my course on Game Theory.

機械学習・統計学・理論計算科学などに出てくる等式・不等式を集めていきます

YOLO Object Detection in Julia

A pure julia text editor

Pure julia implementation of Multiple Affine Invariant Sampling for efficient Approximate Bayesian Computation

Interactive factorization diagrams

A cross-platform installer for the Julia programming language

Notes and step-by-step exercises resolution to aid students learning the base math for machine learning. Content summed up from the the course from the Imperial London College in Coursera.

Complex special functions and common mathematical operations in JavaScript

Fourier and Images

A formalization of category theory in cubical Agda

Collective tools for metaprogramming on Julia Expr

A native Julia code for lattice QCD with dynamical fermions in 4 dimension.

A DSL for the internal language of a topos

The Mathos Core Library

A set of tutorials to show how to use Julia for data science (DataFrames, MLJ, ...)

Category Theory For Programmers (Bartosz Milewski)

Automatically add category to Hexo article according to the article file directory.

The idiomatic rust implementation of the QuantLib C++ quantitative finance library

Category theory formalized in cubical agda

Interactive mathematics in the browser

A repository of mathematical knowledge written in the MathLingua language.

Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)

Code for the series "Searching for Riemann Hypothesis Counterexamples"

This is my HackerEarth Handle

🔧 Python Random Graph Generator

Utilities for generic functional programming

An application which allows user (small kids) to practice basic Mathematics operations

mml-book-chinese《Mathematics For Machine Learning》机器学习中的数学 中文版

Common functional iterator patterns

assign steamshop genres to your steam library games, even on private profiles