Search Results for "computer-aided software engineering" - Page 11
Sort By:
2197 projects for "computer-aided software engineering" with 2 filters applied:
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
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.
-
1
Chess.jl
Julia chess programming library
A Julia chess programming library. This package contains various utilities for computer chess programming. There are functions for creating and manipulating chess games, chess positions and sets of squares on the board, for reading and writing chess games in the popular PGN format (including support for comments and variations), for creating opening trees, and for interacting with UCI chess engines. The library was designed for the purpose of doing machine learning experiments in computer chess, but it should also be suitable for most other types of chess software. -
2
Trico-electron-app
Dump Sheets in your DB
This App Converts your correctly formatted Excel Spreadsheet to a specified table/collection in a specified Database in MYSQL/MongoDB. -
3
m6811dis
M6811 Code-Seeking Disassembler
...Version 2.0 is completely reworked in 2014 to compile and run with GCC and STL to make it fully portable and accessible to all computer platforms. -
4
APTOS is an open source Apt translator project. It consists of several CAM applications, based on the Apt programming language. It is used to create control programs for cnc mills, lathes, water jets, lasers, and other industrial equipment.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
General catalogue of e-books
Collection of e-books (multiple disciplines, including download links)
General catalogue of e-books is a curated repository that collects links and resources for freely available technical and programming books, with a focus on high-quality material spanning computer science, programming languages, algorithms, systems, and related fields. Instead of hosting the full texts, the project points to legitimate online sources where books can be read or downloaded, serving as a centralized index for learners and professionals who want to build domain knowledge without... -
6
JDecisiontable
Stop to rack your brain, start using process-oriented decision tables!
This tool is about a method called "process-oriented decision tables". These are decision tables but different from "normal" decision tables. They fix the flaws of traditional decision tables making it a joy to work with. But they keep all benefits of traditional decision tables. First of all they present the logic in a very dense form. 1. Explore all possible combinations of conditions and actions by question-and-answer. 2. Have a compact one-sheet-view on complex logic. ... -
7
JDecisiontableLib
A library for creating decision tables written in Java.
This is a library for building decision tables and to get test specifications from it. More about decision tables and how this library works you'll find in the help files for the project JDecisiontable (which is an application build around this library): http://sourceforge.net/projects/jdecisiontable => Files => Help This library can give you decision table and test specifications as strings in json and csv format. The project JDecisiontable take this strings and save them as text... -
8
BifurcumLib
A library for running through a directional graph.
This is the library for the project Bifurcum. It does all the work. It has a simple algorithm (Deep First Search with modifications) and allows sorting children before traversing. This library sums up the authors 4-years experience when programming a commercial tool for graph traversing (which used a much more advanced algorithm) and coaching its users. -
9
RADPhE
Rapid Application Development PHP Hosting Environment
A Rapid PHP Application Development Environment designed for webmasters, developers, and hosts to enforce website uniformity, hardening, and light weight enough to function within shared hosting, in the presence of other scripts, and nested within itself. -
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.
-
10
The libbuspirate is a C library to talk with the bus pirate hardware (http://dangerousprototypes.com/docs/Bus_Pirate) in raw, binary scripting mode. The libbuspirate allows to quickly write a short C program to test interfacing with your favorite hardware. The library has mainly be used to interface through SPI with RF transceivers such as CC2500, MRF24J40, Ethernet controller such as ENC28J60, EEPROMs such as 24C02, 24FC1025, LCD display (PCD8544 / Nokia5110), LED display (HT1632), ......
-
11
yafu
Automated integer factorization
Check yafu on github for the latest code. YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. Most algorithm implementations are multi-threaded, allowing YAFU to fully... -
12
EduMIPS64 (aka edumips) is a cross-platform MIPS 64 ISA simulator. It can be used to run and debug MIPS programs that are written using the MIPS64 instruction set. It supports visual debugging and lets you see what instructions do in the pipeline.
-
13
Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.
-
14
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
15
chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.
-
16
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. -
17
CyC2018.github.io
Personal knowledge site built with GitHub Pages
This is a personal knowledge site built with GitHub Pages, organizing computer science notes and study materials in a browsable format. It aggregates content across algorithms, data structures, networking, operating systems, databases, and interview preparation into a coherent index. The presentation emphasizes succinct explanations paired with diagrams, tables, or code snippets to speed recall. Because the site is generated from a repository, it benefits from issue tracking, pull requests,... -
18
Moritz
transfer xml into specific text-formats (html, dot, source-code, ...)
Moritz is an "addon" to the well known tool doxygen. It generates nassi shneiderman diagramms of functions and methods in a c/c++ source as html-files, which could be included in a software-dokumentaion or simple whached by using a html-browser. -
19
pipestatus - source file for UNIX/POSIX shell that allows to obtain an exit status of every program in a pipe.
-
20
LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
-
21
This project hosts a library and tools for sharing simulation experiments encoded using SED-ML.
-
22
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
-
23
bioweb
polyglot language framework to analyze genetic data
polyglot framework using Python/C++/JavaScript to fast develop applications to analyze biological sequences -
24
ExRandom
Sampling exactly from the normal and exponential distributions
ExRandom is a small header-only C++11 library for exact sampling from the normal, exponential, and discrete normal distributions (provided that the underlying generator is perfect). This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257. -
25
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.