Search Results for "linux-kernel-webassembly" - Page 3
Sort By:
377 projects for "linux-kernel-webassembly" with 2 filters applied:
-
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.
-
Vibes don’t ship, Retool doesVibe coding tools create cool demos, but Retool helps you build software your company can actually use. Generate internal apps that connect directly to your data—deployed in your cloud with enterprise security from day one. Build dashboards, admin panels, and workflows with granular permissions already in place. Stop prototyping and ship on a platform that actually passes security review.
-
1
Fuzzy sets for Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of... -
2
Simple components for Ada
A software components library
The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, arbitrary precision arithmetic, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix... -
3
Developer Home
Home directory configuration files for PL/SQL developers who use Vim
Configuration files used in Cygwin (MS Windows). It contains settings for: - readline; - Vim ( for SQL / PL/SQL developers); - ... -
4
Common Resource Grep - crgrep
Common Resource Grep
CRGREP searches for matching text in databases, various document formats, archives and other difficult to access resources. A command line tool for name and content text matching in database tables, plain files, MS Office documents, PDF, archives, MP3 audio, image meta-data, scanned documents, maven dependencies and web resources. CRGREP will search resources within resources of any arbitrary combination or depth, so text within a document within a zip archive, and so on. Here you... -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
5
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
6
Swiss Army Knife C++ Toolkit is a set of versatile tools for C++ development. It offers to a developer variety of everyday needed tools for programming. Among these tools are configuration files reader, Tokeniser, Singleton template and many more.
-
7
dbsql++
Generic C++ SQL wrapper over different SQL DB engines.
Generic C++ SQL client wrapper over different SQL DB engines. Using a unified interface, it currently supports MySQL/MariaDB, ODBC, PostgreSQL and SQLite. -
8
agglo
Multi facets CASE/AGL for easy project developments
Agglo is a CASE (Computer Aided Software Engineering) or AGL (Atelier Génie Logiciel), whose aim is to facilitate installation ans use of various tools (either existing opensource tools, or agglo tools), in several facets of project development: - requirements management - unit tests - automated integration tests - toolkit for various languages (cpp, c, python, shell, xsl) other facets are to come ultimately: - coverage tests - planification - integration with hudson - code... -
9
q
Developer's programmable text & binary editor
Mostly WYSIWYG command-line driven editor with editable commands, a powerful macro facility including a stack architecture run machine, macro debugger, online help, a foundation macro set and extension macro sets for C, python, Ada and Tcl development and email composition. Q tries to resolve the old tabs vs spaces conundrum: e.g. in Linux source, the user can automatically enforce leading tabs, no space-before-tab leading sequences and no trailing spaces. -
Leverage AI to Automate Medical CodingAs a healthcare provider, you should be paid promptly for the services you provide to patients. Slow, inefficient, and error-prone manual coding keeps you from the financial peace you deserve. XpertDox’s autonomous coding solution accelerates the revenue cycle so you can focus on providing great healthcare.
-
10
QTest is a perl-based test framework for testing programs written in any language. It supports a "design for testability" mentality, user-defined test coverage, filters, and multithreading support. Includes documentation.
-
11
cscope
Efficient, text-only browser for C sources
Cscope is a text screen based source browser, which can double as a behind-the scenes source code navigation aid for classic programmers' editors like Emacs or Vim, too. Based on a pre-parsed, condensed extract, and optionally a quick-lookup index, it finds and shows identified items in the entire source code, even of truly large projects, quickly and without fuss. -
12
NB: Development has been moved to Github: https://github.com/avrdudes/avarice AVaRICE is a program for interfacing the Atmel JTAG ICE to GDB to allow users to debug their embedded AVR target.
-
13
compiler manifest wrapper
compiler manifest wrapper - adds manifest to your exe's if applicable
this is a compiler wrapper made to wrap - borland c++ 5.5.1 (no longer available, *bc*) - DJGPP (gp.cmd,older gp.bat,*gp*) - mingw and mingw-w64 compilers (install-compilers.cmd, zap*, *gw2*) - mingw-w64 vityan compiler batch files for ubuntu natty and freebsd (*gwix*) are packaged with set just above. currently, you still have to specify exe or dll even there is no extension of linux binaries. it is not setup yet for .so files. I will need to do something for those. These are distributed as separate zip files, and are updated and upgraded whenever I see a bug, or need a feature. Help on is --help They are meant to be run under windows. gw.cmd, bc2.cmd, gp.cmd, gwix.cmd are your compiler wrapper batch files you will be using. ... -
14
ROBODoc is a documentation tool. It extracts the documentation from your source code and formats it in HTML, RTF, TeX, XML DocBook (PDF), or ASCII. Works with C, C++, Fortran, Perl, Scripts, Assembler, Tcl, Basic, and any language that supports remarks.
-
15
CppCMS is the web development framework written in C++, that is aimed on development of high performance web application. It uses different web APIs, most noticably FastCGI, as a web layer and various databases as a storage backed.
-
16
QtProjectTool
QtCreator plugin for some command line tools over a Qt (.pro) project.
qpt (Qt Project Tool) understands Qt C++ projects (.pro) and allows to pass this information to command line tools as "Code Counters" and "Static Analysis tools". It also can used inside QtCreator to act as a plugin for "Static Analysis tools" putting reported issues into QtCreator issues pane. -
17
SM83 Binutils
Binutils port for the Sharp SM83 (GameBoy CPU)
-
18
Formake is a generic build system template OR build system from scratch project. Formake provides generic project that builds several executables and libraries. Formake declares to be bloatless, portable, conform to known UNIX standards and be simple in sense of using only standard Shell and Make. Formake is for those power users and developers that know and respect Shell and Make. See wiki for more information.
-
19
m6811dis
M6811 Code-Seeking Disassembler
The M6811 Code-Seeking Disassembler is a command-line tool that lets you enter known starting vectors for a given code image for the 6811 micro. It will disassemble the code and follow through branches to assist in the separation of code and data. Its companion Fuzzy Function Analyzer uses DNA Sequence Alignment Algorithms to locate similar code in multiple binaries, facilitating reverse-engineering. Originally written to analyze code from GM automotive engine controllers, but is... -
20
Term::ReadLine::Gnu
Perl extension for the GNU Readline/History Library
Term::ReadLine::Gnu (TRG) is an implementation of the interface to the GNU Readline/History Library. This module gives you input line editing facility, input history management facility, word completion facility, etc. Visit to http://search.cpan.org/dist/Term-ReadLine-Gnu/ on the CPAN (The Comprehensive Perl Archive Network) site for download, documentation, bug report, etc. -
21
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. -
22
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.... -
23
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.
-
24
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. -
25
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.
