Search Results for "gnu science"
Sort By:
Showing 49 open source projects for "gnu science"
View related business solutions-
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.
-
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.
-
1
gdbgui
Browser-based frontend to gdb (gnu debugger)
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser. gdbgui is a browser-based frontend to gdb, the gnu debugger. You can add breakpoints, view stack traces, and more in C, C++, Go, and Rust! It's perfect for beginners and experts. -
2
x64dbg
An open-source x64/x32 debugger for windows.
An open-source x64/x32 debugger for windows. Development is done on GitHub (https://github.com/x64dbg/x64dbg). Daily snapshots are uploaded here, snapshots for every commit can be found on http://releases.x64dbg.com -
3
Lazarus is a free and open source development tool for the Free Pascal Compiler. The purpose of this project is to serve as a Code Repository, Wiki Knowledgebase and support site for converting existing components and libraries to work with Lazarus and the Free Pascal Compiler.
-
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...
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
simutron
AVR simulator IDE
Electronic circuit simulator. Simple environment to run and debug firmware for AVR 8-bit microprocessors. Able to run arduino firmware. Internally this program uses the open source Simavr AVR Processor Simulator (https://github.com/buserror/simavr) and wraps all its functions in a GUI shell. Setups for firmware debugging scenarios can be created dynamically. Able to run 16MHz MCU with decent set of external parts in real time. In particular this can be used for development of CNC firmware... -
6
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
7
wxHexEditor is another Hex Editor, build because of there is no good hex editor for Linux system, specially for big files. It supports files up to 2^64 bytes. Written with C++/wxWidgets GUI libs and can be used with other OS'es such Windows, Mac OS
-
8
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
9
GDB-ILI extends the GNU debugger with a generic interface to various interpreter languages. Features: Data transfer from/to debugee, direct interaction in interpreter shell, extended breakpoints,... Support for Matlab(R) and GNU Octave is included.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
Jlint
Static analyzer for Java bytecode
Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked. -
11
gcRadar
A library for monitoring the garbage collection of app objects
gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. By using gcRadar you can monitor the lifetime of the objects that are created by your application in runtime,... -
12
OS Build
Creating Embedded OS with LIVE OS Support Full Tools For Mobile Proces
OS Build GNU/Linux derivative targetting the development of Linux kernel and drivers, as well as Free Sofware embedded systems. Differences with standard OS_Build GNU/Linux: Removed applications not related to Linux kernel, drivers and embedded systems: games, office applications… Added tools and libraries for kernel and software development, in particular cross-compiling toolchains for many different architectures Usefulness Embedded Linux trainings: provide all the... -
13
Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org
-
14
Easy-to-use fault injection tool for testing robustness of software to faults that originate in shared libraries and the layers below. LFI minimizes human effort involved in testing and does not require access to the target program's source code.
-
15
thvortex-vmlab
VMLAB User Components for AVR peripherals and external components
This is the source code repository for my VMLAB User Components. The Project Website contains detailed descriptions of each component. You can also Download Components as pre-compiled DLL files from this site. The "AVR Peripheral" components should be installed to the "mculib" directory; all other components are installed in the "userlib" directory. A few components include a "readme.txt" with additional setup instructions. Most components are licensed under the LGPLv2 (or higher). A few... -
16
URDB is a universal reversible debugger that adds reversibility to almost any debugger through a python-based wrapper. It also supports reversible debugging of distributed computations, and temporal search on expression values.
-
17
JTAG interface library for FTDI chips. Linux port of the ftcjtag library from ftdi( http://bit.ly/98Vul3 ). Implementation relies on ftd2xx.so ( not libftdi.so ) which makes it windows compatible.
-
18
The ArrayDebugView-Add-In extends Visual Studio and adds graphical view capabilities to the debugger. You can plot the data from any array by specifying a pointer expression and a length. Features: Zoom-function, a cursor, saving to a file.
-
19
Winpdb is a platform independent GPL Python debugger with support for multiple threads, namespace modification, embedded debugging, encrypted communication and is up to 20 times faster than pdb.
-
20
A Lisp multilanguage design implemented on Smalltalk. Featuring an OOP macro system that works across all the languages. Contains all other languages as Lisp dialects. Fully OOP. Fully documented guided tour. language specs too. assembler, prolog, C#...
-
21
A C++ unit testing framework, in the style of CxxUnit, for Symbian OS. (For more information, forums and mailing lists please visit the project Home Page http://symbianosunit.sourceforge.net)
-
22
ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured clases as well as unreferenced classes/jars. ClasspathHelper can model most classloading scenarios.
-
23
A retargettable micro-controller and embedded system emulator architecture, providing common supports to emulate various types of micro-processors & devices on an x86 PC. Development of emulation for Arduino and various shields is just about to be launched in 2012.
-
24
QUASI is stand-alone AVR RISC processor simulator with debugging features, EDA-like GUI and plugin interface.
-
25
The p1451-1 project is a communication protocol dissector plugin for WireShark (formerly Ethereal). This plugin is limited to dissection of IEEE 1451.1 on-the-wire messages. It currently supports header parsing of basic 1451.1 packets and argument arrays
