Search Results for "gnu-darwin" - Page 76
Sort By:
Showing 12524 open source projects for "gnu-darwin"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
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
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
2
lightning-dart
Lightning User Interface in Dart
Lightning Dart is a library for developing web applications based on the CSS framework Salesforce Lightning Design System lightningdesignsystem.com. SLDS provides scss/css, icons and fonts, but no functionality. Lightning Dart provides the most complete component functionality for slds. Written in Dart, it compiles into Javascript ("Dart - the better Javascript"), so the delivery is a "one page apps". You can add business functionality by writing the code in Dart - or in Javascript... -
3
Acid
Python module for parsing and analyzing binary data files
Acid is a module and a simple application for displaying content of binary data files. It relies on plugins for parsing file formats. -
4
Makumba
Moved to GitHub: https://github.com/makumba
Makumba helps you rapidly develop data driven web applications. Provides a custom JSP taglib as a main interface, but leaves API open for advanced access. It is implemented in Java. Moved to GitHub: https://github.com/makumba -
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.
-
5
Collection of reusable componentized Design Patterns implemented in Java. The implementations will not be limited to those from GoF. Long term aim is to provide a full catalog of Software Engineering best practices in Java along with show case demos.
-
6
MethodCallTrace4Java
Template for AspectJ, by which you can trace back the method call.
$. What it does? When we design our own Java classes, we often depend on the 3rd party Java classes. Sometimes, we need to clarify the relationship among those 3rd party Java classes. And Aspect by AspectJ can shed light on our way. This project is the template for the Aspect by AspectJ. By the pointcut for the method call, we can trace back'who calls it. The word 'who' in this context is: Which method of which class For instance ... By the pointcut for: ... -
7
Metalasm is a classic meta-assembler for the generation of horizontal microcode for microcoded state machines. Meta assemblers has been used to design computer hardware (cpus, disk controllers, io controllers etc). Metalasm uses the Haskell fp language.
-
8
TER implements the CCSDS Recommendation for Image Data Compression (CCSDS 122.0-B-1). TER also adds new features to the Recommendation. TER is designed and programmed with the aim to provide a good basis to test and develop the CCSDS Recommendation.
-
9
SwingWT is an implementation of the Java Swing and AWT APIs which instead drives SWT applications. This allows existing Java/AWT/Swing applications to be compiled natively under Linux with gcj, or allow native widgets for existing Swing/AWT applications.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
10
Docker Registry Web
Web UI for private docker registry v2
Docker‑Registry‑Web is a Grails‑based web UI for private Docker Registry v2. It offers repository browsing, tag management, authentication service (with roles), and event recording/auditing. It supports both anonymous read and token-based authenticated interactions. -
11
Py2Bin
compile python script file to standeloune binary file (MacOs 10.6 + )
Py2Bin is an application for MacOs X 10.6 or later, this application compile and bluid a standeloune executable binary file from a .py python script file. The result of the compilation can be execute without the python programe This application is submite under GPL pulic licence If you need som information of if ou have a problem with this application please wrtite to m.houbad@gmail.com Py2Bin use Pyinstaller as compiler -
12
Platform for risk analysis of security critical IT systems using UML, based on the CORAS model-based risk assessment methodology. Contains an XML and UML repository, facilitating management and reuse of analysis results.
-
13
Xylophone
Report generator for Excel, PDF or printer
-
14
mergepbx
script for merging XCode project files in git
...Unfortunately, that script was finished only after the project ended. However, as I didn't want to let the work go to waste, this script is now published as open source under the GNU GPL 3. This script needs knowledge about the structure of Xcode's project. However, there doesn't seem to be any documentation (and I would be surprised if there were any). -
15
Notepad3
Light-weight Scintilla-based text editor with syntax highlighting
Notepad3 is a fast and light-weight Scintilla-based text editor with syntax highlighting. Notepad3 is an excellent replacement for the default Windows text editor. Notepad3 offers many extra features over Notepad. It has a small memory footprint, but is powerful enough to handle most programming jobs. -
16
-
17
HyperSQL is like a doxygen plus javadoc for SQL, hypermapping SQL views, packages, procedures, and functions to HTML source code listings and showing all code locations where these are used.
-
18
ctl-test
C++ библиотека шаблонов
-
19
SOGEL Mobile WordPress Theme
Minimalist, Modern and Simple Mobile WordPress Theme
Minimalist, Modern and Simple mobile wordpress theme only for mobile blog. Work with latest wordpress version and tested by wordpress 4.9! Required plugin : WP-PostViews Demo : http://diskon.co -
20
UPascal
My common Pascal units for Lazarus/FreePascal
I'm currently moving all my library code into one library. Its going to take some time, since I've built up a lot of code over the years. But, give it a few months, and everything should be here. The idea is to have a common code base for all my goodies, and a reference point for any "how do I" questions. cheers Derek -
21
MicroGP
A multi-purpose extensible self-adaptive evolutionary algorithm
MicroGP (µGP, ugp) is a versatile optimizer able to outperform both human experts and conventional heuristics in finding the optimal solution of hard problems. It is an evolutionary algorithm since it mimics some principles of the Neo-Darwinian paradigm. ⚠️ A new version is available on https://github.com/squillero/microgp4 -
22
AutoGen is designed to generate text files containing repetitive text with varied substitutions. Its goal is to simplify the maintenance of programs that contain large amounts of repetitious text, especially when needed in parallel tables.
-
23
SoyBeans
A Task Processing Framework for Java
Soy Beans is an HTTP request processing framework written in Java. Written as an alternative to frameworks like Struts and Stripes, it provides a robust and extremely flexible API enabling rapid deployment, and dynamic configuration. -
24
-
25
Rong Framework
generate your code by some easy step
Rong framework is an open source php framework base on php5.it's similar to Zend Framework. it's goal is for fast-coding,online documentation is http://www.wudimei.com/data/html_doc/rongframework/en/
