Search Results for "liblpsolve55.so"
Sort By:
Showing 18 open source projects for "liblpsolve55.so"
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.
-
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.
-
1
MicroPython
Python implementation for microcontrollers and constrained systems
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. The MicroPython pyboard is a compact electronic circuit board that runs MicroPython on the bare metal, giving you a low-level Python operating system that can be used to control all kinds of electronic projects. MicroPython is packed full of advanced features such as an... -
2
pFFh
a self-contained development environment for embedded systems.
pFFh is a programming language that allows you to launch applications on embedded systems safely, quickly and comfortably. pFFh runs on the target system, combining operation as a command interpreter and code compiler. We can say that pFFh behaves like an operating system on the board under development. All pFFh needs is a serial or USB-serial channel to communicate, and through it, receive and process console commands, either from a keyboard or from files sent from a desktop computer. At... -
3
MenuDesigner
A GUI system for embedded systems.
A small GUI system for monochrome and color LCDs suitable for embedded systems with very limited system resources (like 8 bit microcontrollers). Comes with a graphical editor for creating a menu. Runs on Linux and Windows (Cygwin is recommend for using all features). Samples showing the usage on a PC, AVR, and STM32 microcontrollers are included. -
4
Nginx-Clojure
Nginx module for embedding Clojure or Java or Groovy programs
...HTTP Services by using Clojure / Java / Groovy to write simple handlers for HTTP services. A build-in Jersey container to support java standard RESTful web services (JAX-RS 2.0). Tomcat 8 embedding support (so servlet 3.1/jsp/sendfile/JSR-356 WebSocket work within nginx!). Dynamic proxying by using Clojure / Java / Groovy to write a simple nginx rewrite handler to set var or return errors before a proxy pass or content ring handler. The non-blocking coroutine-based socket is Compatible with Java Socket API and works well with largely existing java libraries such as apache HTTP client, mysql jdbc drivers. ... -
Cloud tools for web scraping and data extractionAutomate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
-
5
mcip
Management and Control Information Protocol
MCIP is a lightweight inter-process communication (IPC) system. This project implements a protocol, a daemon and a shared library. It is aimed to be as simple, tiny and fast as possible, so it is adequate for embedded systems. -
6
rims-arduino-library
Recirculation infusion mash system library for Arduino
...For definition of a RIMS, see https://tinyurl.com/j3lyuyc For me, an Arduino micro controller + a LCD Keypad shield was cheaper and a lot more customizable than a commercial PID controller. So, with this library, a commercial PID controller is unnecessary. Automatic PID tuning toolkit is also included. Temperature can be read with a thermistor, a resistance temperature detector (RTD) or any custom temperature probe. Heater is controlled with pulse-width modulation (PWM) of a solid-state relay (SSR). Documentation : https://tinyurl.com/y7579v6a -
7
OBD-II for Arduino
Providing easy OBD-II connectivity for open-source hardware
...Several example sketches are provided for demonstrating the usage of the library as well as for real data logging use. The aim of the project is to provide Arduino vehicle connectivity via the OBD-II port with easy-to-use Arduino library so Arduino lovers can start play Arduino on their cars easily. Source code repository: https://github.com/stanleyhuangyc/ArduinoOBD -
8
autoCode4
Synthesizing embedded control software from formal specifications
...Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. A step-by-step tutorial is available within the software package. -
9
rect_tree
Rectangular Split, Addition and Subtraction , and Tree Structure
...Also a Tree structure handler is provided in this project, together they can use to deal with the window split and window relationship in GUI(Graphical User Interface), I hope so :-p -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
WinDS
Windows XP reimplemented on Nintendo DS
...In contrast to other little NDS-Operating Systems, just like Woopsi etc. you can code your own Application in Lua for WinDS: just copy the Code onto the FAT-Disk and execute it from within WinDS! This is what makes WinDS so unique. The New Beta 0.95 is out, it features - 52 Classes that are already available within Lua - 25 different types of user interface classes - 8 different predefined dialogs which makes it the perfect GUI sandbox for DS. PS: More time without update means: next update will have even more improvements, as i am still developing ;) -
11
Testability Measurement Tool
Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.
This application calculates combinational and sequential SCOAP parameters (CC0, CC1, CO, SC0, SC1, SO) and Testability Index parameter from a ISCAS89 netlist. It also performs the PODEM algorithm to check testability of a net against a single stuck at 0 or 1 fault. -
12
jpegant
Embedded JPEG encoder
...It is intended to be executed on small microcontrollers or microprocessors. High speed and small memory usage is its main concern. It implements a subset of JPEG standard. Now the code contains JPEG decoder so if you decided to use nonstandard transform or entropy coding in encoder you still will be able to decode bitstream (provided that you keep the decoder in sync of course). Release 1.1 source code and Windows executables are on the download page. For the latest release code look into the repository in 'release-1-0' branch. The SSE2 inplementation is present in 'simd.0' branch in the repository. -
13
BlackLib
Beaglebone Black C++ Library
...It is created for reading analog input, generating pwm signal, using gpio pins, and communicating with other devices over uart, spi and i2c. In addition to them, it includes debugging feature. So you can check errors after call any function in the library. -
14
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
15
microDispatch
Microcontroller Task Scheduler
Super lightweight task scheduler aimed at 8 bit AVR ATmega micro-controllers (perfect for Arduino), although it can easily be used on other hardware like Microchip PIC. It uses simple round-robin scheduling so no priority levels can be set. You choose the time interval by calling dispatchTick(), this is usually in a timer interrupt. Range for number of tasks: 0 to 255 tasks Range for delay: 0 to 65535 ticks Each task only uses 5 byte of RAM. The one task LED blink example only uses 5 bytes of RAM and 476 bytes of program memory for the whole program. -
16
ArduEMS-328
Arduino Engine Management System
...It has the same features as Megasquirt 1 and can be tuned in MegaTunix, MegaTune or TunerStudio as a Megasquirt 1 B&G2.0-3.0. The code is compiled for the ATmega328p so the supported boards should be: - Arduino Uno - Arduino Duemilanove - Arduino Diecimila - Arduino NG - Arduino Extreme v2 - Arduino Extreme Note: only tested on Arduino Duemilanove No schematics are available yet, but please have a look at the MegasquirtAVR schematics. It is meant for the ATmega128 so not pin compatible. -
17
LabMonkey Embedded Automation Platform
Create networks of embedded devices for data logging/automation tasks.
...A key design objective is to use as little dedicated hardware as possible for communication between nodes in the network, and to be able to adapt the network topology in real-time so as to minimize the occurrence of collisions between packets. To achieve this, a protocol has been designed specifically for the task, and implemented in assembler for AVR microcontrollers. The project is currently at the stage of testing the protocol for bugs and implementing some simple devices which use it. -
18
ChumbOS Launcher
ChumbOS Launcher - Native Application Launcher for Chumby
So, what does this application do? It enables you to design a simple Graphical User Interface (GUI) which can start and stop other applications on the Chumby.
- Previous
- You're on page 1
- Next
