Search Results for "higher math system"
Sort By:
Showing 640 open source projects for "higher math system"
View related business solutions-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
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
hidusbf
USB Mice Overclocking Software (for Windows)
Hidusbf is a low-level Windows driver and utility designed to modify the polling rate of USB input devices such as mice and controllers, effectively enabling higher responsiveness through overclocking or reducing latency through downclocking. It works by installing a filter driver that intercepts USB communication and adjusts the rate at which the device reports input data to the system. This can result in significantly higher polling rates, such as increasing from the default 125 Hz to much higher frequencies, depending on hardware compatibility. ... -
3
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... -
4
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,... -
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.
-
5
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. -
6
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. -
7
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. -
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
MongoDB Go Driver
The Go driver for MongoDB
The MongoDB supported driver for Go. The recommended way to get started using the MongoDB Go driver is by using go modules to install the dependency in your project. This can be done either by importing packages from go.mongodb.org/mongo-driver and having the build step install the dependency. When using a version of Go that does not support modules, the driver can be installed using dep. To get started with the driver, import the mongo package and create a mongo.Client with the Connect... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
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. ... -
11
Dolphin
Dolphin is a GameCube / Wii emulator
Dolphin is a mature, open-source video game console emulator that enables users to run Nintendo GameCube and Wii games on modern platforms including Windows, Linux, macOS, and Android devices. Originally released in 2003, it has evolved into one of the most advanced and widely used emulators, known for its high compatibility and continuous development over decades. The project is written primarily in C++ and focuses on accurately replicating console hardware behavior, including CPU timing,... -
12
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. -
13
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. -
14
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... -
15
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. -
16
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. -
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
AI Engineering from Scratch
Learn it. Build it. Ship it for others
AI Engineering from Scratch is a comprehensive open-source curriculum designed to teach artificial intelligence by building every component from first principles rather than relying on prebuilt frameworks. The project is structured into more than 20 phases and hundreds of lessons, covering topics that range from foundational mathematics to advanced systems such as large language models, retrieval pipelines, and multi-agent architectures. Each lesson emphasizes hands-on implementation,... -
19
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. ... -
20
SlateDB
A cloud native embedded storage engine built on object storage
Unlike traditional LSM-tree storage engines, SlateDB writes data to object storage to provide bottomless storage capacity, high durability, and easy replication. SlateDB is an embedded storage engine built as a log-structured merge-tree. Unlike traditional LSM-tree storage engines, SlateDB writes data to object storage (S3, GCS, ABS, MinIO, Tigris, and so on). Leveraging object storage allows SlateDB to provide bottomless storage capacity, high durability, and easy replication. The trade-off... -
21
VoxelCore
Voxel game engine in C++ with OpenGL
VoxelEngine-Cpp is a minimal voxel engine written in modern C++ using OpenGL, GLFW, and GLM, inspired by Minecraft-style block worlds. It offers a clean foundation for learning and experimenting with voxel-based rendering and world generation. With features like chunk loading, perlin noise terrain generation, and basic lighting, the engine is a perfect starting point for developers who want to create sandbox games or explore the technical aspects of 3D voxel environments. -
22
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... -
23
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... -
24
Flycast
Flycast is a multiplatform Sega Dreamcast, Naomi, Naomi 2
Flycast is a high-performance open-source emulator for Sega Dreamcast, Naomi, and Atomiswave systems, designed to accurately reproduce the behavior of original hardware while enabling modern enhancements. It supports a wide range of platforms including desktop and mobile environments, allowing users to run classic games across different devices. The emulator focuses on both accuracy and performance, using optimized rendering techniques to replicate original visuals while offering optional... -
25
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...
