446 Open source projects that are alternatives of or similar to coq-big-o

An introductory course to Homotopy Type Theory

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

A library of abstract interfaces for mathematical structures in Coq [[email protected]]

Source code counter and metrics tool for C++, C, and Java

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

🔧 Python Random Graph Generator

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

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Fourier and Images

This repository is not maintained anymore. If I have any significant contributions, I usually do a PR for the Faust libraries. This repository contains the Faust libraries for sound and information processing that I use to implement my music complex adaptive systems.

Equations in Swift

Complex special functions and common mathematical operations in JavaScript

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

Complexity of Code - JavaScript/TypeScript

Interactive factorization diagrams

Level Set Method Library

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.

🎨 An authorial collection of fundamental recipes on Creative Coding and Recreational Programming.

C Code Source Metrics - tool to gather simple metrics from C code

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

Template project for program verification in Coq

Formalization of the basic actuarial mathematics using Coq

neg4n's mathematics utilities

Code for the series "Searching for Riemann Hypothesis Counterexamples"

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

Detect deeply nested if statements in Go source code

Source files for my course on Game Theory.

Convert Haskell source code to Coq source code.

A library of mechanised undecidability proofs in the Coq proof assistant.

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

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

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

Cellular Automata Simulator

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

Formalization of the polymorphic lambda calculus and its parametricity theorem

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

🚀 A library designed to facilitate work with probability, statistics and stochastic calculus

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

A Quasi-Monte-Carlo Integrator Library with CUDA Support

Agent-based modeling in JavaScript in the browser or on the server.

MathB.in - Mathematics Pastebin Written in Common Lisp

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

Archive for all Coq related OPAM packages organized in various repositories

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

Interactive mathematics in the browser

Quick reference material for techies

Develop a 3D interactive graphics rendering engine

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

A mandelbrot fractal viewer in javascript using svelte

This is my HackerEarth Handle

The Mathos Core Library

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

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

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

Formalization of Typed Assembly Language (TAL) in Coq

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

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

Escrita colaborativa de recursos educacionais abertos sobre cálculo diferencial e integral..

图形学书单