Search Results for "java open source" - Page 9
Sort By:
1561 projects for "java open source" with 2 filters applied:
-
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.
-
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
1
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
2
StructPie
A set of C libraries to implement data structures and algorithms
Struct-Pie (Structures Pie) is a set of C shared libraries to implement data structures and algorithms so that they can be used/integrated easily into C projects. LIFO & FIFO Stack, Binary Search Tree, Priority Queue and a Hash Table are implemented and included in this package. Future releases will have many other data structures. The hash table in this package uses separate chaining to avoid collision. In the "hash_table" directory, the hash table implementation uses linked lists.... -
3
CloudTest-Cloud java unit test framework
A redefined framework with new approach and methodology for unit test
CloudTest is a redefined unit testing approach and methodology, which can make your testing jobs become much more easy and efficient. It is a pure java lightweight framework integrated test cases management, test data management, assert management, automation regression, performance monitor and test report in one. -
4
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
-
6
Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
-
7
Unified Sessions Manager
Pioneering Private and Public Cloud Management since 2008
The UnifiedSessionsManager supports the integrated management of user sessions within Private-Clouds, comprising heterogeneous IT landscapes of various physical and virtual machines, hypervisor management, and virtual user sessions with remote desktops. Extracted documents see https://sourceforge.net/projects/ctys-doc. -
8
TACO is a toolkit for building distributed control systems or any other distributed system. It is based on a C/C++ core. It is based on the client-server model. It supports writing clients and server on Unix+Windows. Clients and servers can be written in
-
9
Fedora Cygwin
Cygwin cross-compiler for Fedora
This project provides a Cygwin cross-compiler toolchain for current versions of Fedora Linux and RHEL6-compatible distributions, including a large selection of cross-compiled libraries. Also available are the mingw32 packages with static libraries required for building Cygwin's setup.exe installer. -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
11
-
12
crossdjgppv2
Cross compiling environment to DJGPP v2
Win32 hosted tools to cross compile to DJGPP v2 (CWSDPMI) for MS-DOS. The primary reason is to be able to cross compile Allegro 3.12 using GCC 2.7.2.3 & Binutils 2.8.1. Later versions of GCC / Binutils are unable to build Allegro which leads to people either compiling on DOSBox which is incredibly slow, or just giving up all together. So party like it's 1996! -
13
Extended C Library
Extended C Library
Why Is libxc needed? There doesn't exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn't exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc... The programmer working in C doesn't have anything analogous to the Boost C++ library. The extended C library is intended to make some headway into providing this functionality. To ensure... -
14
ADempiere ERP Business Suite
A full ERP system - moved to GitHub. See full description for details.
...See adempiere.net for more info. ADempiere Business Suite is a fully functional ERP/CRM/MFG/SCM/POS system suitable for large enterprise adoption. The software is fully open source and supported by an international community of developers and system experts. -
15
oobash
Framework for bash 4
oo-style framework for bash 4. It provides tools for rapid script development and huge libraries. Written in bash. Source and use... -
16
-
17
FCML
A machine code manipulation library for Intel 64 and IA-32.
This is a general purpose machine code manipulation library for IA-32 and Intel 64 architectures. The library supports UNIX-like systems as well as Windows and is highly portable. The FCML library is free for commercial and non-commercial use as long as the terms of the LGPL license are met. Currently it supports such features as: - A one-line disassembler - A one-line assembler - An experimental multi-pass load-and-go assembler (Multi line!) - Support for the Intel and AT&T syntax - An... -
18
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
19
Codepot
Web-based subversion manager
Codepot is a web-based subversion repository manager. It incorporates the subversion revision control system and wiki-based documentation, and supports authentication via LDAP or DBMS. If you opt for the simplest, you can manage multiple subversion repositories independent of each other. Going beyond it, you can track issues, write documents, and upload release files. See it live at http://code.abiyo.net -
20
Repository Beans is a toolkit for abstracting ATG Repositories into POJOs. By using Repository Beans one may develop against ATG Repositories, but retain the benefits of coding against POJOs.
-
21
Wheefun Ingeniously Retro Engine
Low-Level Game Engine for Retro Platforms
WFIRE is a low-level game engine which provides a portable library allowing for writing video games for multiple classic targets. Originally written for a game called the Crypts of Eldor, WFIRE aims to provide compatibility with a number of constrained environments, such as DOS and the Amiga. It also aims for "new-retro" computers such as the Commander X16 and the Neon816. Of course, modern operating environments such as Windows NT and GNU/Linux are also planned. WFIRE is meant to reduce... -
22
libinstrument (ex libcsdbg)
C/C++ function instrumentation (AOP, exception/stack tracing, GC)
Libinstrument is a complete and easy way to do custom function instrumentation for C/C++. The project comes ready with classic applications of instrumentation, such as AOP (Aspect Oriented Programming), Concern and Side Effect injection, stack tracing, exception tracing, basic time profiling, callgraph profiling and other. A GC (Garbage Collector) module is also under development. Libinstrument is highly portable and decoupled. The project comes with a CMake build system, integration with... -
23
setupjavax
Provides Java and integrated Jython/Pyhon + Java builds
The ‘setupjavax‘ package provides extension modules for the build of Java and Jython packages. The current release supports the following commands, additional are coming soon: - build_java - Java build and packaging for Python. Supports Java packaging for Python projects, adds native Java modules for Jython. - build_jy - Integrated Python and Java builds for Jython. Supports combined Java and Python / Jython packaging. Calls build_py and build_java. -
24
-
25
pysourceinfo
RTTI for Python Source and Binary Files
The 'pysourceinfo' package provides source information on Python runtime objects based on 'inspect', 'sys', 'os', and 'imp'. The covered objects include packages, modules, functions, methods, scripts, and classes by two views: - File System View - packages, modules, and linenumbers - based on files and paths - Runtime Object View - callables, classes, and containers - based on in-memory RTTI / introspection The supported platforms are: - Linux, BSD, Unix, OS-X, Cygwin, and...
