Search Results for "education software in java"
Sort By:
162 projects for "education software in java" with 2 filters applied:
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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.
-
1
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...
-
2
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
3
StackTraceSealer
Aid in finding infinite loops in Java programs on production systems
StackTraceSealer is a JConsole plugin with its own Java Agent Library that can be used to seal stack frames on a thread stack trace to detect whether these frames have changed or they have remained the same all the time to aid in finding an infinite loop on a production system when all you have is a long seemingly constant stack trace in the thread dump. -
4
ObjectiveScript
object orientated scripting language
== This project has been renamed to slang-lang/slang and moved to Github. == ObjectiveScript is an object orientated scripting language that tries to combine the speed of scripting with an object orientated syntax similar to Java and C++. The language offers native data types like bool, double, float, int and string as well as user defined object types and a system library with data types similar to the Java boxed types like Integer and String. Collections like List, Map, etc. can be used... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
ELFIO
A header-only C++ library for accessing files in ELF binary format
ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format -
6
Loggifier
A tool that inserts code into Java class files for logging
A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging. -
7
A subset of the TestCon project, ConAn builds on Roast to provide a testing framework for concurrent Java components. For more details on the development of ConAn and TestCon/Crom, see http://longbrothers.net/brad/papers/thesis.pdf
-
8
Jour is designed to simplify the use of Javassist for processing multiple classes. In short Jour is simple Aspect Oriented Programming AOP framework on top of Javassist.
-
9
IrcAppender
IrcAppender forwards important log4j messages to an IRC channel
IrcAppender is an appender for the Apache log4j system which forwards important logging event to an IRC channel. Output is controlled by the log4j configuration. -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
Code Bubbles is a front end to Eclipse designed to simplify programming by making it easy for the programmer to define and use working sets. It provides compact function-based views of the code (all backed by the underlying files) that are displayed in bubbles and that are easily moved around and manipulated on the screen. The bubbles are fully editable. A large bubble area lets the programmer set up different working sets simultaneously and easily move between them.
-
11
YARI is a comprehensive tool suite to debug (layouts), spy, spider, inspect and navigate SWT and Eclipse based application GUIs (Workbench or RCP) at runtime.
-
12
This is going to be a Java Swing Application that will be used as a quick reference for Java API names. It will feature incremental search and filtering so that searching efficiency is improved. It will be very simple and a good way to statistically analyze java api's.
-
13
ExpressionJ is a Java library allowing to interpret simple numeric expressions, which may be used in all applications which have to combine numeric values, but do not want to use full-blown scripting languages.
-
14
kodeWeave
HTML/CSS/JS and Markdown Playground For Web Designers and Developers
kodeWeave is a realtime coding playground for HTML, CSS and Javascript. Similar to JSFiddle and JSBin, but kodeWeave was made to work offline but also as a prototyping application to build applications for desktop operating systems while on mobile devices. (PhoneGap Build is recommended for mobile devices) kodeWeave similar to jsfiddle, jsbin, dabblet, liveweave, codepen, cssdeck, cssdesk, tinkerbin, d3 playground, plunker and pastebin, but allows you to export your web app as a desktop... -
15
A highlevel API to instrument Java bytecode. Jiapi can be used to modify bytecode of a Java class before it is loaded into a virtual machine.
-
16
-
17
-
18
GDBServer Extender
moved to http://sourceforge.net/projects/gdbx/
This project is moved to http://sourceforge.net/projects/gdbx/ 项目更名为gdbx，请移步至 http://sourceforge.net/projects/gdbx/ -
19
GDBServer Extender (gdbx)
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
GDBServer Extender（gdbx）顾名思义就是为GDB调试扩展一些本来没有的功能。例如线程（任务）感知调试（OS Aware）、线程（任务）堆栈检查等。支持FreeRTOS、eCos。支持OpenOCD、J-Link、QEMU。支持Cortex-M、i386。 请移步https://code.csdn.net/zoomdy/gdbx获得更多内容。 -
20
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts... -
21
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... -
22
JakeWharton Hugo
Annotation-triggered method call logging for your debug builds
Hugo is a small Android library (and annotation processor plugin) that automatically logs method calls, parameters, return values, and execution time for methods annotated with @DebugLog. Instead of manually adding logging statements everywhere, you simply annotate a method and Hugo injects the logging at compile-time in debug builds, keeping release builds clean. This helps developers gain visibility into method flows, execution timing, and parameter passing without cluttering production... -
23
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
-
24
jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
-
25
Madmap is a tool to help analyze java heap dumps. New in v1.1 it supports hprof ascii and now binary dumps collected with jmap. It helps find memory leaks by showing the live set and automatically calculating which objects retain the most heap size.
