Search Results for "computer-aided software engineering"
Sort By:
18 projects for "computer-aided software engineering" 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.
-
$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.
-
1
SigPack
SigPack - A signal processing library using Armadillo
SigPack is a C++ signal processing library using the Armadillo library as a base. The API will be familiar for those who has used IT++ and Octave/Matlab. -
2
GeoSolver
A Python library for solving geometric constraint problems
GeoSolver is a Python library for solving geometric constraint problems. A graphical testing and demostration application, the Geometric Constraint Workbench is included with the software. -
3
Navmol
Molecular structure navigator for Blind and Visually Impaired people
Navmol is a software that allows people that are blind or visually impaired to navigate and edit molecular structures in a simple and intuitive way. -
4
jSulfoQuant
Sb/(Sb+As) content ratio determination of the sulfosalts minerals
A computer program for a fast and accurate determination of Sb/(Sb+As) content ratio in the tetrahedrite-tennantite and bournonite-seligmannite solid solution series by at least one spectral parameter (band position or relative intensity) of their Raman spectra. -
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
Bat2015
Bachelor of Science (Informatik)
The toolkit glpk supports methods for mixed integer linear programming (MILP). These methods solve Capital Budgeting Problems (CBP). Unfortunately, glpk does not support any multithreading and there is no feature to distribute problems via network connections. Today, this is a pitiable sight, because modern computer systems are coupled by networks and support multi threading. We create a distributed system with Apache thrift and the C-API of glpk. Now, it is possible to use as many cores in... -
6
SyntheticWSI
Tools to generate and visualize artificial whole slide images
Java 8+ required. Collection of tools to help generate artificial Whole Slide Images (WSIs). A WSI is stored as a ZIP archive of JPG tiles, and this software contains a tool to visualize this format. SVS files can be used directly for texture extraction (thanks to the included Bio-Formats library). Main source files in package fr.unistra.wsi.synthetic. -
7
jmathstudio - Java Image/Signal toolkit
Java toolkit for discrete Image and Signal processing.
JMathStudio is a Java based digital image and signal processing toolkit/library. It is simple to use, portable, light (~300 Kb), extendable and free. Full source code available at https://github.com/bhavyaajani/jmathstudio Android compatible JMathStudio is available @ https://sourceforge.net/projects/jmathstudio-android/ -
8
Evidence bucket
A minimalist cross-platform transcription software
This project was moved to https://code.google.com/p/evidence-bucket/ -
9
Bracer
Repository has been moved to: http://dtitov.github.com/bracer
Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
MSR Tools is a source code evolution analysis tool. It consists of a framework for mining software repositories and tools for metric calculation, visualization, defect prediction.
-
11
OrthoInspector is a new software system for orthology/paralogy analysis. Its purpose is to facilitate the installation and the maintenance of a database describing orthology/inparalogy relations and to provide tools to exploit these data.
-
12
RGP: Red General de Posicionamiento (Project Number P022-06/E16 - Junta de Andalucía) -- General Network Positioning based on open software and hardware. This project is the development and test of the standard IEC-60870-5 application layer protocol
-
13
Biomedical Information Management System (BIMS) is a modular multilayer object - oriented software architecture, which provides a flexible computational solution to capture and manage a heterogeneous biomedical data: textual and visual information.
-
14
The BioloidNativeInterface is a C++ library to control bioloid/dynamixel modules including AX12, AXS1. It provides a parser for the bioloid protocoll and methods to read/write packets.
-
15
C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).
-
16
A software tool enabling the user to browse through an image stack created by a confocal microscope. Points can be plotted through the stack, producing a digital 3D representation, which can be viewed in 3D and compared with other plots.
-
17
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
-
18
libknot
libknot is a knot library
- Previous
- You're on page 1
- Next