Search Results for "mathematics"
Sort By:
Showing 51 open source projects for "mathematics"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
LaTeX2e Kernel Code Repository
The LaTeX2e kernel
LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation. LaTeX is the de facto standard for the communication and publication of scientific documents. LaTeX is available as free software. -
2
Ethereum Yellow Paper
The "Yellow Paper": Ethereum's formal specification
The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers seeking a precise, unambiguous description of Ethereum’s design and expected behavior. ... -
3
Asymptote
2D & 3D TeX-Aware Vector Graphics Language
Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text. -
4
octave-cfitsio
GNU octave bindings to the cfitsio library
GNU Octave bindings to the cfitsio library in an attempt to make a close to MATLAB toolkit for Octave. -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
VSCode-LaTeX-Inkscape
A way to integrate LaTeX, VS Code, and Inkscape in macOS
...I use LaTeX heavily for both academic work and professional work, and I think I'm quite proficient in terms of typing things out in LaTeX. But when I see the mind-blowing blog posts from Gilles Castel (RIP)-How I'm able to take notes in mathematics lectures using LaTeX and Vim and also How I draw figures for my mathematical lecture notes using Inkscape, I realize that I'm still far from fast, so I decided to adapt the whole setup from Linux-Vim to macOS-VS Code. -
6
SparthMP
SparthMP is an ANSI-C math library for Multi-Precision calculations
SparthMP is an ANSI-C math library for Multi-Precision calculations, i.e. beyond float/double domain. It supports regulated accuracy of calculations. For algorithm design with this library you should have an understanding of rounding errors in math. -
7
brl2mml
A library to convert between braille and MathML
**NOTE**: This project has been moved to https://github.com/timothytylee/brl2mml brl2mml is a library that can perform conversion between braille and MathML. It currently supports UK Maths braille. -
8
Burris Numerical System
A Numerical System controlled by algorithms.
BNS - Burris Numerical System was written to store the last digit of a number in 3 dimensional space but store the rest of the number mathematically in the 4th dimension of space. The result is that no matter how long the number is you can write it down on a piece of paper and put it in your pocket. The software can be used to retrieve the number. This can be used to save computer files. The only limit with BNS is how much time the user has. The software nor the numerical system has no... -
9
LateXSL is a set of XSLT stylesheets that translates LaTeX embedded in a Web page into HTML, so that math typed directly into a web page as LaTeX is displayed as math in a viewer's browser. The stylesheets may be applied in the browser or by a server.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
11
-
12
-
13
EqualX
The LaTeX Equation Editor
EqualX makes you easily write equations in LaTeX and preview them in real-time. repository: https://gitlab.com/q-quark/equalx -
14
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
15
VisualMathEditor
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their... -
16
Easy Equations
Hand Written Equation Creator
Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python... -
17
IDL specified API for manipulating and processing CellML 1.0 and 1.1. Includes C++ implementation. Accessible from a C++ program, or from any language for which a CORBA language mapping is available Also, a Java wrapper of the API is available.
-
18
The metric project supplies, via the web, educational materials in mathematics and mathematics-based subjects. There are interactive explorations of mathematical ideas, self-test exercises, tools and tutorials.
-
19
A set of Unix command line tools for quick and convenient batch processing of tabular text files (a.k.a., tab-delimited, csv, or flat file format) with a header line. Provides delimiter and compression detection, column reference by name. * tblmap: per-line ("map") computation: derive columns through an expression, delete, reorder, filter rows. * tblred: compute ("reduce") aggregations (e.g., sum, average) over groups defined by key columns. * tbldesc: Summarize columns in file...
-
20
knowceans
Utility classes from maps to search engine to random samplers
Collection of several multi-purpose Java libraries. --- knowceans-tools = collection of Java utility classes. --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString,... -
21
Big Integer Calculator with a simple micro controller (AVR MEGA32). 100 Digits now but soon it will go further long!
-
22
strid is a tool to generate string diagrams for inclusion in LaTeX documents. It has a syntax which is inspired of Xy-matrix, but dual diagrams are generated.
-
23
The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.
-
24
The Perl 3D-extension of MFPic LaTeX package aimed to high quality draw of spatial objects, such as vectors, curves, bounded surfaces.
-
25
DragMath is a drag and drop equation editor in the form of a Java applet. Once an expression is created the user can convert it into a variety of different linear syntax for mathematics, including MathML, LaTeX, Maple, Maxima or any user defined style. PLEASE NOTE: active code development has moved to GitHub. https://github.com/maths/dragmath