Search Results for "macos"
Sort By:
54 projects for "macos" with 2 filters applied:
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
Securely stream and govern industrial data to power intelligent operations with agentic insights.Trusted MQTT Platform — Fully-managed and cloud-native MQTT platform for bi-directional IoT data movement.
-
1
Elixir Koans
Elixir learning exercises
Elixir Koans is an interactive learning project designed to teach the fundamentals of the Elixir programming language through a series of self-guided coding exercises. Inspired by the style of koans used in other programming communities, it provides incomplete code snippets and failing tests that learners must solve to progress. Each exercise builds on the previous one, gradually introducing core concepts such as pattern matching, recursion, processes, and concurrency in Elixir. By debugging... -
2
PreviSat
Satellite tracking software
PreviSat is a satellite tracking software for observing purposes. Very easy to use, it shows positions of artificial satellites in real-time or manual mode. PreviSat is able to make predictions of their passes, predictions of MetOp and COSMO-SkyMed flares, transits of all satellites, predictions of Starlink satellites passes and several other calculations. -
3
eduActiv8
A collection of interactive educational exercises
...The latest version has been partially redesigned to improve usability, but certain activities will still be in the somewhat "prototype quality" - this will be gradually redesigned as time allows. Currently, it is available for Windows, MacOS, Linux and Android (you may need to allow unknown sources to install it on Android). Packages for multiple Linux distributions are available from: https://software.opensuse.org//download.html?project=home%3Aimiolek-i&package=eduactiv8 Support eduActiv8 at https://ko-fi.com/eduactiv8 -
4
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
Enterprise AI Agents for Every Customer MomentFrom chat to voice to SMS, every conversation gets a smart, personalized response powered by your policies, tone, and data.
-
5
KingJamesPureBibleSearch
GUI Application to Search and Count the Pure King James Bible
Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived... -
6
Triangolo
Liothyronine dosage calculator
Calculator software helping to determine L-T4 and L-T3 substitution dosage according to the algorithms provided by the European Thyroid Association (ETA). -
7
Flip card learning program for iPhone with a spaced learning algorithm. Create your own databases and edit the cards directly on the iPhone. Import Palm databases or csv-formatted files and backup your data with our Java application.
-
8
NumericalChameleon
a free cross platform precise unit converter, supports 6000+ units
The NumericalChameleon is a free, open source, cross platform software in order to convert units. It converts numbers with a precision of up to 1000 significant figures. It supports more than 6000 units in 94 categories. It has been localized in 10 languages. -
9
Unwrap
Learn Swift interactively on your iPhone
Unwrap is a Swift-based macOS application designed to help developers and learners improve their Swift programming skills through interactive challenges and structured lessons. Created as a companion to educational content, it focuses on teaching fundamental and advanced concepts in a hands-on manner. The app presents exercises that require users to write and refine Swift code, reinforcing understanding through practice rather than passive learning. -
Sage Intacct Cloud Accounting and Financial Management SoftwareDrive your organization forward with the right solution at the right price. AI-powered continuous accounting and ERP to support your growth now and into the future.
-
10
OpSim - Open Source Process Simulator
An open source process simulator
**19-OCT-2017 PROJECT MOVED TO GITHUB** OpSim is an open source Chemical Engineering Process Simulator with a user friendly drag-and-drop graphical user interface (GUI) and an underlying high performance simulation engine. -
11
DebitCalculator
Gestore di Voti Scolastici
DebitCalculator è un'app gratuita di gestione dei voti scolastici. Calcola la media, i crediti, la pagella e genera dei grafici dell'andamento scolastico. -
12
A database to support large history research projects. This is desktop application focuses on aiding individuals working on large projects like books and dissertations.
-
13
DrPython is a highly customizable cross-platform ide to aid programming in Python. It was developed with teaching in mind, and has a clean, simple interface. It is written in Python, using wxPython as the gui.
-
14
TICO
Interactive communication boards for people with severe disabilities.
TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments. -
15
Pamvotis is a Wireless LAN Simulator for all the current physical layer extentions of the IEEE 802.11 (IEEE 802.11 a/b/g) standard and for the IEEE 802.11e Draft for Quality of Service in WLANs.
-
16
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms.
-
17
SharpBoard.NET is an educational and school-oriented application that implement a WhiteBoard using a Wiimote, an IRPen and a PC. It's an OpenSource and Cross-Platform software written in C# for Windows, Linux and MacOS (using .Net Framework and Mono)
-
18
Semplice script python per generare in modo casuale e automatico testi (da stampare) di verifiche di inglese sui verbi (regolari e irregolari) per scuole medie/superiori italiane.
-
19
This is an application for Keene State College (www.keene.edu) students to receive near real-time alerts when they receive emails. As KSC uses the CampusCruiser system, it is not possible to use Outlook or Thunderbird, so this provides a solution.
-
20
toMOTko
A flashcard application for learning foreign language vocabulary.
...It's specifically designed for people learning one or more foreign languages. Its unicode support is convenient for japanese, korean or chinese characters, etc. It's available for multiple platforms: Windows, MacOS, Linux, Zaurus, and some Nokia phones. The interface is available in French, English, Spanish, and partially in German and Japanese. -
21
RCmania is a 3D Racing Game featuring remote controlled vehicles to be ported to many platforms, its Free and Open Source.
-
22
A Java program to enable users to comprehend the "Contraction and Convergence" model for reduction in carbon emissions as proposed by the Global Commons Institute. Intended primarily as a demo for government delegates at UN conferences
-
23
Performs basic to advanced mathematical computations needed to determine stock and other securities numerical parameters. Helps find entry and exit points for securities. Provides PocketPC and MacOS Dashboard access to a stock market inspired calculator.
-
24
Be educated during election season! Politico is a game that lets you keep track of the decisions your government representatives are making. At the end of the election term, the game summary will help you decide how to cast your vote.
-
25
Java editor for petri nets, based on the ARP analyzer. Exports nets to GIF, JPEG, PNG, PPM, ARP and PNML (XML based) file format. Uses the excellent JHotDraw 5.2 framework.
