Search Results for "c programming framework" - Page 4
Sort By:
Showing 650 open source projects for "c programming framework"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
1
Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
-
2
A Windows C# computer program was written that tested the first 1 trillion numbers for the Collatz Conjecture. See the Wiki page for a description of the math conjecture. https://en.wikipedia.org/wiki/Collatz_conjecture The program tests a number of ways for researching various patterns. A white paper is included that describes various results of the research. Also included are a number of data files of results of the program.
-
3
ROBOOP
Object oriented library in C++ for robotics simulation
This library (ROBOOP) is a C++ robotics object oriented programming toolbox suitable for synthesis, and simulation of robotic manipulator models in an environment that provides ``MATLAB like'' features for the treatment of matrices. Its is a portable tool that does not require the use of commercial software. A class named Robot provides the implementation of the kinematics, the dynamics and the linearized dynamics of serial robotic manipulators. -
4
Toward A Philosophy Of Computing
How to philosophize with internetworked electronic computing machinery
Toward A Philosophy Of Computing begins as a dissertation proposal in Texts and Technology at the University of Central Florida that explores doing philosophy by programming. See the project wiki for the proposal. -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Curv
A language for making art using mathematics
Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing. Curv is a simple, powerful, dynamically typed, pure functional programming language. Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models. Coloured shapes are represented... -
6
ATTinyCore Universal
Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
Arduino support for almost every classic tinyAVR device! Supports ATtiny 1634, 2313/4313, 24/44/84, 441/841, 25/45/85, 261/461/861, 87/167, 48/88, 43 and 828. Supports programming vis ISP, Serial (Optiboot - all parts with >4k flash, and all parts with 4k flash for which an 8k version is available) or VUSB (Micronucleus - where appropriate) There are 272 different versions of micronucleus built (and part of the 2.0.0-dev branch now), and optiboot will dwarf that number! 0 of those have been... -
7
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.
-
8
Distributed MultiThreaded Checkpointing
Checkpoint/Restart functionality for Linux processes
DMTCP (Distributed MultiThreaded Checkpointing) transparently checkpoints a single-host or distributed computation in user-space -- with no modifications to user code or to the O/S. It works on most Linux applications, including Python, Matlab, R, GUI desktops, MPI, etc. It is robust and widely used (on Sourceforge since 2007). For the newest releases of DMTCP, please go to: https://github.com/dmtcp/dmtcp Among the applications supported by DMTCP are MPI (various implementations),... -
9
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/ -
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.
-
10
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
11
OpenFrames
Real-time interactive 3D graphics API for scientific simulations
OpenFrames has moved its primary development repository to GitHub! Everything else will follow. Get it at https://github.com/ravidavi/OpenFrames/wiki OpenFrames is an Application Programming Interface (API) that allows developers to provides the ability to add interactive 3D graphics to any scientific simulation. A simulation developer can use OpenFrames to specify what they want to visualize, without having to know any details of computer graphics programming. OpenFrames is currently... -
12
bioweb
polyglot language framework to analyze genetic data
polyglot framework using Python/C++/JavaScript to fast develop applications to analyze biological sequences -
13
Homie for ESP8266
ESP8266 framework for Homie, a lightweight MQTT convention
An Arduino for ESP8266 / ESP32 implementation of Homie, an MQTT convention for the IoT. This branch of Homie for ESP8266 implements Homie 3.0.1 and adds support for ESP32. PlatformIO is an open-source ecosystem for IoT development with the cross-platform build system, library manager and full support for Espressif ESP8266 development. It works on the popular host OS, Mac OS X, Windows, Linux 32/64, Linux ARM (like Raspberry Pi, BeagleBone, CubieBoard). Available in the PlatformIO registry.... -
14
EasyModbusTCP/UDP/RTU .NET
Modbus TCP, UDP and Modbus RTU client/server library
Modbus TCP, Modbus UDP and Modbus RTU client/server library for .NET Supports Function Codes: - Read Coils (FC1) - Read Discrete Inputs (FC2) - Read Holding Registers (FC3) - Read Input Registers (FC4) - Write Single Coil (FC5) - Write Single Register (FC6) - Write Multiple Coils (FC15) - Write Multiple Registers (FC16) V5.6: Upload lates version - This will probably the last version for .NET Framework 4.0 - The next Version will be based on new .NET5 and... -
15
The Development System for Auditory Modelling (DSAM) is a computational library designed specifically for producing simulations of the auditory system. It brings together many established auditory models within a flexible programming platform.
-
16
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...
-
17
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.
-
18
Limada (Linked Marked Data) is a framework for managing relationships of data in non-hierarchical structures, where the individual elements are interconnected in complex ways. The philosophy behind: Information is connection, is relationship of data.
-
19
ebfformat
An Efficient Binary data Format
EBF, which stands for Efficient Binary Format, is a binary file format for reading and writing binary data easily. Reading writing routines are currently available in C,C++,Fortran,Java, Python, IDL, MATLAB. A program called ebftkpy which has a set of utility functions to work with the .ebf files , e.g., viewing the contents and getting a summary, is also provided. The EBF specification is designed to be concise and easy to understand to make it easier for others to write their own code if needed. ... -
20
C++QED
A framework for simulating open quantum dynamics
C++QED is an application-programming framework for simulating open quantum dynamics in general. It has demonstrated the ability to simulate full Master equation of up to several thousand, and quantum trajectories of up to several hundred thousand dimensions. The basic idea is to allow users to build arbitrarily complex interacting quantum systems out of free subsystems and interactions (elements), and simulate their time evolution with a number of available time-evolution drivers. ... -
21
The latest ESMF development is happening in GitHub: https://github.com/esmf-org/esmf https://earthsystemmodeling.org The Earth System Modeling Framework provides high-performance software infrastructure and superstructure for the construction and coupling of climate, weather, and data assimilation applications.
-
22
ScaffCC
Compilation and optimization framework for the Scaffold language
ScaffCC is a compiler and scheduler for the Scaffold programing language. It is written using the LLVM open-source infrastructure. It is for the purpose of writing and analyzing code for quantum computing applications. ScaffCC enables researchers to compile quantum applications written in Scaffold to a low-level quantum assembly format (QASM), apply error correction, and generate time and area metrics. It is written to be scalable up to problem sizes in which quantum algorithms outperform... -
23
An Open Source IEC 61131-3 Integrated Development Environment, providing PLCOpen SoftPLC programming, CanOpen IO's, and SVG based HMI.
-
24
"SmartSoft" provides a component based approach to develop robotics software (http://smart-robotics.sourceforge.net/). This project provides a Message based (build on ACE from Douglas C. Schmidt) implementation of the SmartSoft idea.
-
25
DSPatch
The Refreshingly Simple C++ Dataflow Framework
Webite: http://flowbasedprogramming.com DSPatch, pronounced "dispatch", is a powerful C++ dataflow framework. DSPatch is not limited to any particular domain or data type, from reactive programming to stream processing, DSPatch's generic, object-oriented API allows you to create virtually any dataflow system imaginable. *See also:* DSPatcher ( https://github.com/MarcusTomlinson/DSPatcher ): A cross-platform graphical tool for building DSPatch circuits. ...
