Search Results for "higher math system"
Sort By:
Showing 329 open source projects for "higher math system"
View related business solutions-
Go from Data Warehouse to Data and AI platform with BigQueryBigQuery is more than a data warehouse—it's an autonomous data-to-AI platform. Use familiar SQL to train ML models, run time-series forecasts, and generate AI-powered insights with native Gemini integration. Built-in agents handle data engineering and data science workflows automatically. Get $300 in free credit, query 1 TB, and store 10 GB free monthly.
-
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.
-
1
DeepSeek Math
Pushing the Limits of Mathematical Reasoning in Open Language Models
...The goal is to push DeepSeek’s performance in domains that require rigorous symbolic steps, calculus, linear algebra, number theory, or multi-step derivations. The repo may also include modules that integrate external computational tools (e.g. a CAS / computer algebra system) or calculator assistance backends to enhance correctness. Because math reasoning is a high bar for LLMs, DeepSeek-Math aims to showcase their model’s ability not just in natural text but in precise formal reasoning. -
2
Swift System
Low-level system calls and types for Swift
Swift System provides idiomatic Swift interfaces to low-level system calls and types, aiming to be the canonical home for these building blocks on all supported Swift platforms. It wraps platform details behind portable APIs while still allowing you to drop down to exact OS semantics when needed. The design follows Swift’s value semantics and protocol orientation to keep code predictable and testable. It’s distributed via SwiftPM with tagged releases, making it straightforward to pin... -
3
GLM
OpenGL Mathematics (GLM)
OpenGL Mathematics (GLM) is a header only C++ mathematics library for graphics software based on the OpenGL Shading Language (GLSL) specifications. GLM provides classes and functions designed and implemented with the same naming conventions and functionality than GLSL so that anyone who knows GLSL, can use GLM as well in C++. This project isn't limited to GLSL features. An extension system, based on the GLSL extension conventions, provides extended capabilities: matrix transformations,... -
4
CoreCycler
Script to test single core stability
A PowerShell script to test the stability of single-core loads. Modern CPUs can adjust their CPU frequency depending on their load, and have mechanisms that allow them to clock higher. With this script, you can test the stability for each core, which helps you to validate if your Ryzen "PBO" resp. "Curve Optimizer" settings are actually stable. It also works to test Intel's "Active-Core" Turbo-Boost settings. -
Run Any Workload on Compute Engine VMsCompute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
-
5
Magisk
Suite of open source tools for customizing Android
Magisk is a suite of tools intended for Android customization, and supports devices higher than Android 4.2. Some elements of Android customization are root, boot scripts, SELinux patches, AVB2.0 / dm-verity / forceencrypt removals, etc. Some of the most important features of Magisk are that it provides root access to your device and it modifies read-only partitions when installing modules. Also, you can hide Magisk from root detections / system integrity checks. -
6
EssentialsX
The modern Essentials suite for Spigot and Paper
EssentialsX is a continuation of the Essentials plugin suite, updated to support modern Minecraft and Spigot versions. It provides countless new features, performance enhancements and fixes that are not available in the original Essentials or Spigot-Essentials. If you're coming from the original Essentials plugin, EssentialsX is a drop-in replacement for Essentials. -
7
Napkin
An Infinitely Large Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. ... -
8
Sol
MacOS launcher & command palette
Sol is an open source app launcher, focused on ease of use and speed. It has minimal configuration and runs natively. -
9
Constructs
Define composable configuration models through code
Constructs are classes that define a "piece of system state". Constructs can be composed together to form higher-level building blocks which represent a more complex state. Constructs are often used to represent the desired state of cloud applications. For example, in the AWS CDK, which is used to define the desired state for AWS infrastructure using CloudFormation, the lowest-level construct represents a resource definition in a CloudFormation template. -
Deploy Apps in Seconds with Cloud RunCloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
-
10
QMK Toolbox
A Toolbox companion for QMK Firmware
This is a collection of flashing tools packaged into one app. It supports auto-detection and auto-flashing of firmware to keyboards. Make sure your newly-flashed keyboard is working as expected. No-fuss installation of drivers for all supported bootloaders on Windows. Debug your code using QMK's Console feature. -
11
NodeMCU
Lua based interactive firmware for ESP8266, ESP8285 and ESP32
NodeMCU is an open source Lua-based firmware for the ESP8266 WiFi SOC from Espressif and uses an on-module flash-based SPIFFS file system. NodeMCU is implemented in C and is layered on the Espressif NON-OS SDK. The firmware was initially developed as a companion project to the popular ESP8266-based NodeMCU development modules, but the project is now community-supported, and the firmware can now be run on any ESP module. -
12
JupyterQuiz
An interactive Quiz generator for Jupyter notebooks and Jupyter Book
JupyterQuiz is a tool for displaying interactive self-assessment quizes in Jupyter notebooks and Jupyter Book. Important Note for JupyterLab 4 Users: Changes to the math rendering system in JupyterLab 4 have broken the LaTeX rendering in JupyterQuiz. There is not currently a simple solution, but I have opened an issue requesting that the necessary methods be made available. Math should still work in Jupyter Book. A very hacky solution is available in version 2.7.0a1, which loads MathJax 3 on top of the JupyterLab MathJax version. ... -
13
PyGlossary
A tool for converting dictionary files aka glossaries
A tool for converting dictionary files aka glossaries. The primary purpose is to be able to use our offline glossaries in any Open Source dictionary we like on any OS/device. There are countless formats, and my time is limited, so I implement formats that seem more useful for myself, or for Open Source community. Also diversity of languages is taken into account. Pull requests are welcome. -
14
Stats
macOS system monitor in your menu bar
Stats currently supported on macOS 10.13 (High Sierra) and higher. Stats is an application that allows you to monitor your macOS system. CPU utilization, GPU utilization, memory usage, disk utilization, sensors information (Temperature/Voltage/Power), battery level, network usage, fans speed, fan control, and Bluetooth devices. Supports many languages, such as English, Polski, Українська, Русский, and many more. -
15
Typst
A new markup-based typesetting system that is powerful and easy
Typst is a new markup-based typesetting system that is designed to be as powerful as LaTeX while being much easier to learn and use. Typst supercharges templates: They react to your content and format everything instantly while you type. Select from a wide range of community templates or create your own. Store shared documents in team workspaces to bring everyone in your working group on the same page. Whether in the classroom, the faculty office, or at home. Typst runs in your browser, so... -
16
SymPy
A computer algebra system written in pure Python
SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously... -
17
Rocket.Chat Desktop App
OSX, Windows, and Linux Desktop Clients for Rocket.Chat
Secure and compliant communications platform. We use communication platforms on a daily basis to collaborate with colleagues, other companies, customers, and communities. Most of them give you very little in terms of control and customizations; except Rocket.Chat. Bring together messages, projects, and tasks in one place and watch your team’s productivity rise to new heights. Engage in contextual interactions with customers irrespective of how they contact you. Ensure long-term relationships... -
18
tree-sitter
An incremental parsing system for programming tools
...Dependency-free so that the runtime library (which is written in pure C) can be embedded in any application. All of Tree-sitter’s parsing functionality is exposed through C APIs. Applications written in higher-level languages can use Tree-sitter via binding libraries like node-tree-sitter or the tree-sitter rust crate, which have their own documentation. To build the library on a POSIX system, just run make in the Tree-sitter directory. This will create a static library called libtree-sitter.a as well as dynamic libraries. -
19
FFTW.jl
Julia bindings to the FFTW library for fast Fourier transforms
This package provides Julia bindings to the FFTW library for fast Fourier transforms (FFTs), as well as functionality useful for signal processing. These functions were formerly a part of Base Julia. Users with a build of Julia based on Intel's Math Kernel Library (MKL) can use MKL for FFTs by setting a preference in their top-level project by either using the FFTW.set_provider!() method, or by directly setting the preference using Preferences.jl. Note that this choice will be recorded for... -
20
AWS ParallelCluster Node
Python package installed on the Amazon EC2 instances
aws-parallelcluster-node is the python package installed on the Amazon EC2 instances launched as part of AWS ParallelCluster. AWS ParallelCluster is an AWS-supported Open Source cluster management tool that makes it easy for you to deploy and manage High-Performance Computing (HPC) clusters in the AWS cloud. Built on the Open Source CfnCluster project, AWS ParallelCluster enables you to quickly build an HPC compute environment in AWS. It automatically sets up the required compute resources... -
21
I2P
I2P is an anonymizing network to securely communicate
The Invisible Internet is a privacy-by-design, people-powered network. It is a truly free and anonymizing Internet alternative. Get I2P. The Invisible Internet Project (I2P) is a fully encrypted private network layer. It protects your activity and location. Every day people use the network to connect with people without worry of being tracked or their data being collected. In some cases people rely on the network when they need to be discrete or are doing sensitive work. I2P hides the server... -
22
JSBSim
An open source flight dynamics & control software library
JSBSim is a multi-platform, general purpose object-oriented Flight Dynamics Model (FDM) written in C++. The FDM is essentially the physics & math model that defines the movement of an aircraft, rocket, etc., under the forces and moments applied to it using the various control mechanisms and from the forces of nature. JSBSim can be run in a standalone batch mode flight simulator (no graphical displays a.k.a. console mode) for testing and study, or integrated with the Unreal engine, FlightGear... -
23
Pandoc
The universal markup converter
Pandoc is a universal document converter able to convert files from a multitude of markup formats into another. With Pandoc, you have a swiss-army knife of a converter, able to convert practically any markup format into any other. Pandoc contains a Haskell library for conversions as well as a command-line tool that uses this library. It can convert to and from just about anything-- lightweight markup formats, HTML formats, documentation formats, ebooks, TeX formats, word processor formats... -
24
Docmost
An open-source collaborative wiki and documentation software
Open-source collaborative wiki and documentation software. The editor allows multiple users to edit pages simultaneously in real-time. It has support for tables, math (LaTex), and callouts to name a few. Control who can view, edit, and manage content with a robust permissions system, ensuring information is secure and accessible to the right people. Organize your content into distinct spaces dedicated to different teams, projects, or departments, providing a structured and focused environment for collaboration. ... -
25
Sonarr
Smart PVR for newsgroup and bittorrent users
Sonarr is a smart personal video recorder (PVR) designed for Usenet and BitTorrent users. It monitors RSS feeds for new episodes of TV shows, automatically downloads, sorts, and renames them, and can upgrade existing downloads when a better quality version becomes available. Support for major platforms: Windows, Linux, macOS, Raspberry Pi, etc. Automatically detects new episodes. Can scan your existing library and download any missing episodes. Can watch for better quality of the episodes...
