Search Results for "axiom"
Sort By:
Showing 19 open source projects for "axiom"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
The Optimism Monorepo
Optimism is Ethereum, scaled
...Optimism is the technical foundation for the Optimism Collective, a band of communities, companies, and citizens united by a mutually beneficial pact to adhere to the axiom of impact=profit — the principle that positive impact to the collective should be rewarded with profit to the individual. We're trying to solve some of the most critical coordination failures facing the crypto ecosystem today. We're particularly focused on creating a sustainable funding stream for the public goods and infrastructure upon which the ecosystem so heavily relies but has so far been unable to adequately reward. ... -
2
REDUCE
A Portable General-Purpose Computer Algebra System
...REDUCE has a long and distinguished place in the history of computer algebra systems. Other systems that address some of the same issues but sometimes with rather different emphasis are Axiom, Derive, Macsyma (Maxima), Maple, Mathematica and MuPAD. REDUCE primarily runs on either Portable Standard Lisp (PSL) or Codemist Standard Lisp (CSL), both of which are included in the SourceForge distribution. By modern standards, REDUCE is a surprisingly small and compact application, which runs well on all major operating systems. -
3
MantaRay Forensics
An Open Source Project | Since 2013 | SANS SIFT Automation | Hash Sets
MantaRay Forensics | An Open Source Project | Since 2013 | SANS SIFT Automation | Hash Sets MantaRay is designed to automate processing forensic evidence with open source tools. Released in SIFT 3.0 in 2013, with support for numerous image formats, the tool provides a scalable framework to utilize open source and custom exploitation tools. MantaRay is developed by forensic examiners with more than 30 years of collective experience in computer forensics. Additionally, the team releases... -
4
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
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.
-
5
Axiom
An FFmpeg GUI for Windows
Axiom is a command-line video processing tool designed to simplify complex FFmpeg workflows through structured presets and automation. It focuses on providing high-quality encoding and transcoding pipelines while reducing the need for manual command construction. The tool includes predefined configurations for various codecs and formats, allowing users to achieve consistent results with minimal effort. -
6
UbuntuMix (UbuntuXM)
The remixed Xubuntu Project-Based on Ubuntu 16.04.4 LTS
UbuntuMix (xubuntudark) is a new Ubuntu-Based Project, featuring the xfce desktop enviorment and the new circular Gnome-Pie , made by Simon Schneegans, providing an unique circular launcher. Gnome-pie can be launched trough the Ctrl+Alt+Space combination (for principal menu). The OS also includes some custom themes such as Marwaita and axiom. Please donate to can mantain tis project active and create improve it!! #LinuxPainter -
7
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
8
ontocomp
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
...It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has been discovered, and it is added to the ontology. If the user rejects it, the user has to give a counterexample to this question, i.e., an individual that is an instance of C1, C2 and not C3. When all such questions (about some initially given classes) have been answered, the ontology is complete with respect to the application domain. -
9
Open-source, cross-platform 3D rendering engine for .NET and Mono. The Axiom Engine is a high-performance C# port of the powerful OGRE engine and provides full support for DirectX, OpenGL and XNA on Windows, Linux, Android, iPhone and Windows Phone.
-
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
Miyagi is a .NET library for creating GUIs in Mogre and Axiom.
-
11
-
12
-
13
-
14
This is project is created to perform boolean operation using DirectX 9.0 with .NET 2.0 and other supported dlls. This is not a final build as i am working on the same. -- The suggestions are always welcome. Thank You.
-
15
-
16
-
17
-
18
A free rendered GUI library providing windowing and widgets for the easy creation of HUDs for games. It supports themes/skinning, XML-based configuration, and works with any graphics API or rendering engine including Axiom, Irrlicht, and SDL.NET.
-
19
SmartMap
SmartMap is an easy desktop random world creator.
...A simple scene manager is included using plugin style building blocks and object pathfinding. Also included is a 2D world editor with graphical features. SmartMap is currently built in conjunction with the Axiom 3D rendering engine.
- Previous
- You're on page 1
- Next
