Search Results for "linux-kernel-webassembly"
Sort By:
Showing 35 open source projects for "linux-kernel-webassembly"
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.
-
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
1
Linux GPIB Support
Linux GPIB Driver package (source)
The Linux GPIB Package is a support package for GPIB (IEEE 488.2) hardware. The package contains a development environment consisting of a GPIB library written in C, kernel driver modules, and bindings for several other languages. -
2
Gwave is a waveform viewer for the output of analog electronic circuit simulators such as spice. It displays the data as 2-D plots, and allows for interactive scrolling, zooming, and measuring of the waveforms.
-
3
Merupu
Electromagnetic Analysis Software
-
4
A scheme (lisp) interpreter written in ARM assembly language (currently: Cortex-M4F,M7, Cortex-A5,A8,A9, Cortex-A53; previously:ARM7TDMI, ARM920T, Cortex-M3) for education, robotics, wearable devices. Tested on Allwinner A64, Amlogic S905, Atmel SAMA5D4, SAME70, SAMV71, NXP LPC4300, RT1050, iMX8M, Samsung S5P6818, ST STM32F4, STM32F7, and TI AM3359, OMAP3530, DM3730, OMAP4430, TM4C1294 chips (previously: NXP LPC-1300,1700,2000, ATMEL AT91SAM7, STM STR711, STR911, STM32, CIRRUS EP9302, LMI...
-
Automated RMM Tools | RMM SoftwareOut-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
-
5
MScheme
Scheme Interpreter implemented in Java
MScheme is a Scheme interpreter implemented in Java. The project goals are to fully comply with the "Revised^5 Report on Scheme" and a clean and modular design. -
6
A quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. A cross-platform free/open-source tool for derivatives and financial engineering.
-
7
Cognidrome
Knowledge-Based Simulation
-
8
The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.
-
9
-
Cloud-based help desk software with ServoDeskWhat if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
-
10
Burrow-owl is a software package for visualizing multidimensional nuclear magnetic resonance (NMR) spectra, with an emphasis on spectra used in macromolecular structure determination.
-
11
The goal of this project is to provide a platform for simulating biological aging and evolution of the population. The simulation is done using Penna bit-string model. Its based on the mutation accumulation theory.
-
12
guileplayer is a Scheme binding for libplayerc - the Player client library, part of Player/Stage project. It can be used with guile (GNU Scheme interpreter) version 1.6 or later.
-
13
A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
-
14
Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
-
15
The Scheme Natural Language Toolkit (S-NLTK) is a Scheme R6RS library for language and text processing, and various tasks related to symbolic and statistical analysis of language data.
-
16
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
-
17
-
18
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
-
19
-
20
-
21
MLP(Multilayer Perceptron) training library written in LISP like language called Scheme. Can work with any type of MLP.
-
22
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
-
23
Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.
-
24
qtour is a Qt-based application for interpreting results of sporting tournaments. It uses the libtour C++/Guile library as its processing engine.
-
25
libtour is a generic tournament processing library. The rules, participants, schedule, and results of a sporting tournament can be defined in the Scheme programming language and given to the library as input.
