Search Results for "gnu-darwin" - Page 77
Sort By:
Showing 26538 open source projects for "gnu-darwin"
View related business solutions-
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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models... -
2
EasyShell
Eclipse plugin that opens system console, file browser for selection
= Project migrated to Git Hub: https://github.com/anb0s/EasyShell = EasyShell: opens shell window, runs selected file in the shell, opens explorer window (or nautilus / konqueror) and copies path. Update site: http://anb0s.github.io/EasyShell Eclipse Marketplace: http://marketplace.eclipse.org/content/easyshell -
3
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).
-
4
-
$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.
-
5
cewolf-art
cewolf code used by the ART reporting tool
Code from the cewolf project with some minor modifications for use by the ART reporting tool. cewolf project - https://sourceforge.net/projects/cewolf/ ART - https://sourceforge.net/projects/art/ -
6
bel_fft
FFT co-processor in Verilog based on the KISS FFT
...It comes with integration into Xilinx Vivado, EDK, and Altera QSYS and includes example designs for Xilinx Zynq and with PCI-Express core (including Linux driver and application). bel_fft is distributed under the GNU Lesser Public License 2.1. -
7
ExtremeTalk(XT)是一个用于企业或者组织内部进行在线通讯的，基于XMPP(Jabber)协议的即时通讯系统。ExtremeTalk(XT) is an Instant Messaging(IM) collaboration platform based on XMPP(Jabber) for enterprises and organizations
-
8
Java Information Retrieval System (JIRS) is an information retrieval system based on passages. This system has the advantage of being able to change to the different modules from the system and their functionality modifying the configuration XML file
-
9
MELTING is a software to compute, for a nucleic acid duplex, the enthalpy and the entropy of the helix coil transition and then the melting temperature. Four types of hybridization are possible : DNA/DNA, RNA/RNA, RNA/DNA and mRNA/RNA.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
MCU Media Server
SIP Video Multiconference Media Server with WebRTC support.
REPOSITORY MOVED TO GITHUB!! https://github.com/medooze/media-server Video Multiconference Media Server with WebRTC support. Provide Multiconference and video broadcasting services to any SIP service. Supports VP8, H264, MP4V-ES, H263 and H263P, continuous presence, RTMP flash broadcasting, adhoc conferences, load balancing and administrative WEB interface. JSR309 driver implementation under development. . -
11
JWebSwing
A true Java Only Web Framework
The JWebSwing is a web framework designed for ease of use, and as simplistic as possible in design. Design your applications the same way you would design a Swing application! Annotate your CSS according to Java Objects, Fields, or even in-line. Utilizing the best open source available on the web, This framework combines the best components available freely on the web into a single, easy-to-use, and extremely powerful framework which is lightweight, fast, and easily... -
12
OFMTools
Die kostenlose Onlinefussballmanager-Hilfe
Die OFMTools sind eine Sammlung von Programmen, die den Manager bei seiner täglichen Arbeit unterstützt. Jeder ist eingeladen sich am Projekt zu beteiligen, sei es durch Programmierung, mit Fehlermeldungen, mit neuen Ideen oder womit auch immer ;) -
13
VBS for Research on the Internet
Welcome to the Volunteer-Based System for Research on the Internet!
Welcome to the Volunteer-Based System for Research on the Internet! This system is designed to provide detail data about applications used in the Internet. This information can be used for: - obtaining the knowledge which applications are most frequently used in the network - providing the users some basic statistics about their Internet connection usage (for example for which kinds of applications their connection is used the most) - creating scientific profiles of traffic generated... -
14
Simple-Scrape is a simple web-scraping library that allows for programmatic access to HTML code. No further techniques are needed and the library is very compact and thus easy to use.
-
15
QuickWeb
This tool can be used to create quickly the skeleton of a web site.
QuickWeb is a tool to quickly create a skeleton of a web site. The tool developed in Java and to create a web site, there's no need to manipulate HTML in the beginning. All you have to do is to write a simple Java code that will generate a web site of several pages. Created to help me with documenting different Sourceforge project, QuickWeb does not generate, for now, any CSS or JS code, but, it can generate the skeleton and the static content of a website composed of several web pages and... -
16
my-gradle-build
Build tool utilizing gradle
Introducing forks for existing plugins and also combining plugins for a set of build tools to be used with gradle. -
17
jdds
An Implementation of Java5 PSM for DDS
jdds is an implementation of Java5 PSM for DDS defined by OMG -
18
QuickSlide
A tool to generate HTML-based slide shows.
This tool allow the generation of slide shows in HTML format (to run simply in the browser). It can not replace Microsoft Power Point, but, it allows you to create a slide show by writing Java code. The generated slide show can be run easily in the browser so it is platform independent and does not need any additional software installation, even on new installed OS or Smart phones. In this first pre-alpha version, the generated code supports simple text and basic lists only, but, I hope to... -
19
Java implementation of the Omni-Link Serial Protocol and Network Protocol as well as the Omni-Link II Network Protocol as described in two separate specification documents released by Home Automation Inc (HAI).
-
20
Args
A java configuration file and command line parser
...Options are grouped into hierarchical namespace, allowing sophisticated inclusion, exclusion and grouping based on rules. Supports multiple dialects and automatic document creator such as typical usage and UNIX manpages. POSSIX, GNU, MSDOS command line parser dialects. XML, INI, PROPERTIES configuration file types. Database and general persistance or combination of all the above. -
21
sap2csv
Simple java JCo3 utility to output SAP Table into a csv
Simple and Free java JCo3 utility to output any SAP Table into a csv -
22
Origami Editor 3D
Virtual paper folding program
Origami Editor 3D is an advanced paper folding simulator. It uses a what-you-see-is-what-you-get interface and operates with a geometric abstraction of the Yoshizawa-Randlett system. Anything from a simple airplane to John Montroll's omega star can be folded in this editor. Origami files created with the program preserve the entire folding process, and they can be exported as folding diagrams in PDF, animated GIF files, or even as standalone Java programs displaying the origami in a 3D... -
23
BioFace is simple software for editing and analyzing DNA, RNA, and protein sequences that is written in Java using SWT and JFace as libraries. Opening GenBank, FASTA, EMBL, or simple sequence files and analizing these sequences can be done.
-
24
WebcamStudio For GNU/Linux
A multifeatured virtual webcam software to broadcast over the Internet
========================= WEBCAMSTUDIO IS NO MORE MAINTAINED ========================= We are looking for someone to take over. If interested please contact: soylent.tv@gmail.com WebcamStudio is a multifeatured virtual webcam software that can be used with Skype or a flash website like UStream, to create a professional looking broadcast, including banners, animations, transit animations and icons, etc... This tool is not meant as a video editor but as a live video mixer giving you... -
25
PrimerSeq
Designs primers on flanking constitutive exons for RT-PCR
