Search Results for "higher math system" - Page 2
Sort By:
Showing 474 open source projects for "higher math system"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
Diagrams
Diagram as Code for prototyping cloud system architectures
Diagrams lets you draw the cloud system architecture in Python code. It was born for prototyping a new system architecture without any design tools. You can also describe or visualize the existing system architecture as well. Diagram as Code allows you to track the architecture diagram changes in any version control system. Diagrams currently support main major providers including AWS, Azure, GCP, Kubernetes, Alibaba Cloud, Oracle Cloud, etc. It also supports On-Premise nodes, SaaS and major... -
2
Claude Code Best V3
The original Claude Code is runnable and buildable
Claude Code Best V3 is an agentic coding system that enables developers to interact with their codebases through natural language while automating repetitive and complex development tasks. It operates primarily in terminal or IDE environments, where it can analyze code, explain logic, and perform actions such as refactoring, debugging, and managing version control. The system is designed to understand the structure and intent of a codebase, allowing it to provide context-aware assistance rather than generic suggestions. ... -
3
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... -
4
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... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
reqwest
An easy and powerful Rust HTTP Client
The reqwest crate provides a convenient, higher-level HTTP client. It handles many of the things that most people just expect an HTTP client to do for them. The reqwest::Client is asynchronous. For applications wishing to only make a few HTTP requests, the reqwest::blocking API may be more convenient. There are several ways you can set the body of a request. The basic one is by using the body() method of a RequestBuilder. This lets you set the exact raw bytes of what the body should be. -
6
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. -
7
BeEF
The browser exploitation framework project
BeEF is short for The Browser Exploitation Framework. It is a penetration testing tool that focuses on the web browser. Amid growing concerns about web-borne attacks against clients, including mobile clients, BeEF allows the professional penetration tester to assess the actual security posture of a target environment by using client-side attack vectors. Unlike other security frameworks, BeEF looks past the hardened network perimeter and client system, and examines exploitability within the... -
8
ioquake3
The ioquake3 community effort to continue supporting/developing id's
ioquake3 is a free and open source first-person shooter engine derived from the Quake 3: Arena and Quake 3: Team Arena source code, maintained as a modern baseline engine for new games and classic mods. It is designed to let players run Quake 3, its expansion Team Arena, and community mods on contemporary systems while also serving as a solid base for new projects. The engine modernizes the original codebase with a CMake build system, an SDL2 backend for cross-platform windowing and input,... -
9
DataQualityDashboard
A tool to help improve data quality standards in data science
The goal of the Data Quality Dashboard (DQD) project is to design and develop an open-source tool to expose and evaluate observational data quality. This package will run a series of data quality checks against an OMOP CDM instance (currently supports v5.4, v5.3 and v5.2). It systematically runs the checks, evaluates the checks against some pre-specified threshold, and then communicates what was done in a transparent and easily understandable way. The quality checks were organized according... -
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
Canvas LMS
The open LMS by Instructure, Inc.
Canvas LMS is a full-featured learning management system designed for K–12, higher-ed, and professional training, with a strong emphasis on usability and openness. Instructors build courses from modular content—pages, assignments, discussions, quizzes—and organize them into learning paths with prerequisites and due dates. Rich grading tools like SpeedGrader streamline assessment with rubrics, inline annotations, and audio/video feedback, while the gradebook supports weighting, outcomes, and late/missing policies. ... -
11
jekyll-import
The "jekyll import" command for importing from various blogs to Jekyll
Import your old & busted site or blog for use with Jekyll. No importer for your system? No problem. Creating one is easy. -
12
OpenVR SDK
API and runtime that allows access to VR hardware
OpenVR is an API and runtime that allows access to VR hardware from multiple vendors without requiring that applications have specific knowledge of the hardware they are targeting. This repository is an SDK that contains the API and samples. The runtime is under SteamVR in Tools on Steam. The OpenVR API provides a game with a way to interact with Virtual Reality displays without relying on a specific hardware vendor's SDK. It can be updated independently of the game to add support for new... -
13
Skills For Real Engineers
Skills for Real Engineers. Straight from my .claude directory
...Each skill is a small, focused instruction set that guides an AI through tasks such as planning, refactoring, testing, or architectural analysis. Instead of relying on vague prompts, the system encodes repeatable processes that ensure consistent and higher-quality outputs. The repository includes tools for converting conversations into product requirements, breaking plans into actionable issues, and stress-testing ideas through structured questioning. It emphasizes disciplined thinking before coding, encouraging developers to fully explore design decisions. ... -
14
CoStrict
Strict AI coder for enterprises, quality first
CoStrict is an enterprise-focused, open-source AI coding assistant designed to standardize and elevate software development workflows through structured, high-quality automation. Unlike typical AI coding tools that prioritize speed over rigor, CoStrict introduces a “strict mode” methodology that enforces disciplined processes such as requirements analysis, architecture planning, task decomposition, and test generation before producing code. This makes it particularly suitable for... -
15
libctru
Homebrew development library for Nintendo 3DS/Horizon OS user mode
Library for writing user mode ARM11 code for the 3DS (CTR) This library aims to provide the foundations necessary to write 3DS Homebrew, and straightforwardly access the different functionalities provided by the 3DS operating system. It is not meant to provide higher-level functions; to put things in perspective, the purpose of libctru would be to sit between the OS and a possible port of SDL rather than replace it. libctru is just a library and needs a toolchain to function. devkitARM (created by devkitPro) is the officially supported ARM cross-compiling toolchain, which provides the framework necessary to supply a usable POSIX-like environment, with working C and C++ standard libraries; as well as the tools required to compile homebrew in the 3DSX format, and assemble GPU shaders. ... -
16
Reliable PostgreSQL Backup & Restore
Reliable PostgreSQL backup and restore
pgBackRest aims to be a reliable, easy-to-use backup and restore solution that can seamlessly scale up to the largest databases and workloads by utilizing algorithms that are optimized for database-specific requirements. Compression is usually the bottleneck during backup operations but, even with now-ubiquitous multi-core servers, most database backup solutions are still single-process. pgBackRest solves the compression bottleneck with parallel processing. Utilizing multiple cores for... -
17
Laravel Backup
A package to backup your Laravel app
This Laravel package creates a backup of your application. The backup is a zipfile that contains all files in the directories you specify along with a dump of your database. The backup can be stored on any of the filesystems you have configured. The package can also notify you via Mail, Slack or any notification provider when something goes wrong with your backups. Feeling paranoid about backups? Don't be! You can backup your application to multiple filesystems at once. Once installed,... -
18
duf
Disk usage and free utility, a better 'df' alternative
User-friendly, colorful output, adjusts to your terminal's theme & width. Sort the results according to your needs, with groups & filters devices. duf can conveniently output JSON. Make sure you have a working Go environment (Go 1.12 or higher is required). Binaries for Linux, FreeBSD, OpenBSD, macOS, Windows. You can simply start duf without any command-line arguments. If you supply arguments, duf will only list specific devices & mount points. If you want to list everything (including... -
19
Laravel AdminLTE
Easy AdminLTE integration with Laravel
This package provides an easy way to quickly set up AdminLTE v3 with Laravel (7 or higher). It has no other requirements and dependencies besides Laravel, so you can start building your admin panel immediately. The package provides a blade template that you can extend and an advanced menu configuration system. Also, and optionally, the package offers a set of AdminLTE styled authentication views that you can use in replacement of the ones that are provided by the legacy Laravel/UI authentication scaffolding. -
20
rustix
Safe Rust bindings to POSIX-ish APIs
rustix provides efficient memory-safe and I/O-safe wrappers to POSIX-like, Unix-like, Linux, and Winsock syscall-like APIs, with configurable backends. It uses Rust references, slices, and return values instead of raw pointers, and I/O safety types instead of raw file descriptors, providing memory safety, I/O safety, and provenance. It uses Results for reporting errors, bitflags instead of bare integer flags, an Arg trait with optimizations to efficiently accept any Rust string type, and... -
21
Chronicle Queue
Micro second messaging that stores everything to disk
Micro second messaging that stores everything to disk. With millions of users worldwide, Chronicle Queue is a leading choice for organizations of all sizes seeking a low-latency, high-performance messaging framework. The Chronicle Queue Enterprise version eliminates compatibility issues and allows for the seamless integration and sharing of data between Java, Rust, Python, and C++ libraries. Chronicle Queue is available as a fully native Java, Rust or C++ library, and also supports a Python... -
22
Caddy
Powerful, enterprise-ready, open source web server w/ automatic HTTPS
Caddy is a powerful, extensible, enterprise-ready server platform that uses TLS by default. Everything you would require in your infrastructure, from TLS certificate renewals and OCSP stapling, to reverse proxying and ingress, Caddy simplifies it all. Its modular architecture lets you do more with just a single static binary that compiles for any platform. Caddy is the only web server that uses HTTPS automatically and by default. It automatically renews TLS certificates, staples OCSP... -
23
react-resizable-panels
React components for resizable panel groups/layouts
react-resizable-panels provides accessible, flexible split-view layouts for React without wrestling low-level pointer math yourself. It models layouts as “groups” of panels separated by resize handles, supporting horizontal or vertical orientation and mixed min/max constraints that prevent panels from collapsing unexpectedly. The library focuses on smooth interactions: dragging, double-clicking to reset, and keyboard resizing for users who rely on accessibility features. -
24
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. -
25
Ant Design X
Experimental Ant Design extensions for advanced UI patterns
...It serves as a space for prototyping and validating ideas that go beyond the core Ant Design library, allowing developers to experiment with more complex interactions and layouts. Ant Design X emphasizes flexibility and extensibility, enabling developers to adapt components to modern application needs. It often includes higher-level abstractions and enhanced UI capabilities that are not yet part of the stable design system. It reflects ongoing innovation, with features that may evolve rapidly based on feedback and real-world usage. Overall, it is intended for developers who want to push the boundaries of Ant Design and explore cutting-edge UI solutions.