Search Results for "c-support.vim" - Page 21

Showing 3917 open source projects for "c-support.vim"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1

    VeriSiMPL

    Verification via biSimulations of Max-Plus-Linear models

    ...LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    MELTING is a software to compute, for a nucleic acid duplex, the enthalpy and the entropy of the helix coil transition and then the melting temperature. Four types of hybridization are possible : DNA/DNA, RNA/RNA, RNA/DNA and mRNA/RNA.
    Leader badge
    Downloads: 16 This Week
    Last Update:
    See Project
  • 3
    MCU Media Server

    MCU Media Server

    SIP Video Multiconference Media Server with WebRTC support.

    REPOSITORY MOVED TO GITHUB!! https://github.com/medooze/media-server Video Multiconference Media Server with WebRTC support. Provide Multiconference and video broadcasting services to any SIP service. Supports VP8, H264, MP4V-ES, H263 and H263P, continuous presence, RTMP flash broadcasting, adhoc conferences, load balancing and administrative WEB interface. JSR309 driver implementation under development. .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Advance-PCT-1.0

    A novel Code transformation technique to guide test input generator

    Advance_PCT is a pre-processing technique, that simplifies the complex boolean expression present in a C program. It identifies the boolean expression and creates equivalent conditional branches with an empty body. These additional statements along with original program supplied into test executor to improve test data. It ensures that each atomic conditions have been invoked at least once true and once false. It is done to achieve higher MC/DC, because according to the definition of MC/DC it is required to achieve 100% condition coverage, which was not possible due to short-circuit evaluation by the compiler, due to which MC/DC was low and inadequate. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • 5

    RelaxChess

    RelaxChess, chess game that makes no search futher needed for a wow

    Demo version of RelaXChess game, You can play against own written wow chess engine, or other users, rewind games forward and backward, easily restart again or if needed replay the game on demand. Attractive user interface and effects. If You like to You can see other games being played, windows, android
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Bria Desktop API Samples

    Samples and wrappers around the Bria desktop API

    The Bria Desktop API has moved to github at https://github.com/CounterPathAPI. Additional samples for Java and Javascript can be found there. The Bria Desktop allows third-party applications to control Bria for Windows softphone clients. By leveraging the Application API, third-party applications can perform commands such as starting an audio or video call, answering a call or placing a call on hold. CounterPath is now encouraging third-party-application developers to integrate...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7

    Android Firebird JDBC Driver Port

    Android port of the firebird jdbc driver (Jaybird)

    This is a port of the firebird jdbc driver (Jaybird): http://www.firebirdsql.org/en/jdbc-driver/
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    Java to C++ porting framework
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    CamBA is a Linux package for statistical analysis, by script/GUI, of neuroimaging data (fMRI/sMRI), developed at the Brain Mapping Unit, University of Cambridge. Non-parametric permutation-based statistics. Input images: 4D NiFTI files, output: HTML/
    Downloads: 2 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 10

    MoCObench

    Benchmark instances for multiobjective combinatorial optimization

    Benchmark instances for multiobjective combinatorial optimization
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    epyunit

    epyunit

    PyUnit and PyDev extensions for arbitrary Executables

    The package 'epyunit' provides extensions for PyUnit and PyDev. * Extensions for PyUnit - Unittests for arbitrary executables. * Extensions for PyDev - Automation of search and load of pydevd.py The extensions are applicable from commandline and/or within Eclipse. Online manuals: - https://pythonhosted.org/epyunit/ PyPi repository: - https://pypi.python.org/pypi/epyunit Current application examples are: - bash-core - http://bash-core.sourceforge.net Nickname -...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    liepa-tts-andoid

    Liepa TTS andoid engine

    TTS engne for Lithuanian language synthesation based on LIEPA project (https://www.xn--ratija-ckb.lt/liepa/infrastrukturines-paslaugos/elektroninio-teksto-skaitytuvas/7563)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Cygwin Ports

    Cygwin Ports

    Repository of desktops and programs for the Cygwin platform

    A large repository of open-source programs built for Cygwin, including X11 desktops, language interpreters, multimedia frameworks, cross-compiler toolchains, and much more. Also hosted here is the cygport tool for building Cygwin packages. cygport releases and the Ports Git repositories are hosted here; Ports packages are available from the website.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    Remote Player

    Remote Player

    Music player with remote control app

    Remote-Player is an open source music player, which allows you to listen to music and control the playback while laying on your bed. It has a remote control - (Remote Player Android App). Connection between the computer and and the android app is via wi-fi. App's functions: display title of current playing song; play/stop; play, next, previous song; change volume; change playing offset; If you have any ideas what can I do to make the app better, please share with me and I'll make that happen
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Android-CleanArchitecture

    Android-CleanArchitecture

    This is a sample app that is part of a series of blog posts

    Android Clean Architecture is a sample Android application demonstrating Robert C. Martin's Clean Architecture principles in a mobile project. The codebase separates responsibilities into presentation, domain, and data layers. This organization demonstrates how business rules can remain independent from Android-specific interface and persistence concerns. The project accompanies a series of articles explaining the architectural decisions and their evolution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This is a java wrapper for the Windows functions that operate on the registry. Some of the methods available in this library include read/write operations as well as the ability to search the registry for specific values. JRE 1.5 or higher required. The documentation for this library can be found online at https://jregistry.sourceforge.io/docs/.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17

    rubycollect4j

    Ruby Collections for Java

    ...With Java 8: // Sort the characters by its frequency based on the word 'Mississippi' case-insensitively RubyArray<String> word = ra("Mississippi".split("(?!^)")); String result = word.map((c) -> { return c.toLowerCase(); }).sortBy((c) -> { return word.count(c); }).uniq().join(); p(result); // "mpis" With Java 6: // Sort the characters by its frequency based on the word 'Mississippi' case-insensitively final RubyArray<String> word = newRubyArray("Mississippi".split("(?!^)")); String result = word.map(new TransformBlock<String, String>() { public String yield(String c) { return c.toLowerCase(); } }).sortBy(new TransformBlock<String, Integer>() { public Integer yield(String c) { return word.count(c); } }).uniq().join(); p(result); // "mpis"
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    SCALEXTRIC_CONTROLLER

    SCALEXTRIC_CONTROLLER

    An open source controller for Scalextric community

    Open source controller for Scalextric community. Scalextric Controller is composed by a custom hand controller, used to drive the Scalextric slots cars, and Android application used to communicate with the hand controller via Bluethoot low power (BLE). This project repository contains the PCB project, the micro embedded software, the Android App and the 3D CAD design of the cricital mechanical parts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Ocean Optics Sample Pack

    Ocean Optics Sample Pack

    Sample code for Ocean Optics OmniDriver spectrometer device driver

    Sample code demonstrating how to use OmniDriver to drive Ocean Optics full range of spectrometers from C, C++, C#, Java, LabVIEW, Delphi, MATLAB and more.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    SIGAR (System Information Gatherer and Reporter) is a cross-platform, cross-language library and command-line tool for accessing operating system and hardware level information in Java, Perl and .NET.
    Leader badge
    Downloads: 20 This Week
    Last Update:
    See Project
  • 21
    openmsr is a collection of tools around Instrumentation,Control and Automation ( ICA ). It runs under the following OS: Windows, Linux and Mac OSX. Ther are tools like digital simulation, object recognition, SoftPLC. Tools Messen,Steuern und Regeln
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    SW Test Automation Framework
    The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.
    Downloads: 86 This Week
    Last Update:
    See Project
  • 23

    Apollo85

    An emulation of the experimental computer board 85.

    An emulation of the experimental computer board 85, called ECB85, including an assembler and a c-compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    JOPUX

    JOPUX - a flexible and scalable application platform!

    JOPUX is a Linux-distribution and family of free open source Linux appliances, built on openSUSE and Gnome, and designed for quickly setup and running Linux on servers and workstations. With a fully documented library of resources, JOPUX allows the customization of every aspect of a Linux installation and cloning, including administration and the rapid integration with third-party applications JOPUX provides more developer power while making the user experience all the more friendly....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ejSerial

    ejSerial

    Serial connection Java library

    Java library to send and receive data via Serial COM-Ports. This library is intended to provide an easy way to access the serial-port. Only a few lines of code are needed to Read or Write data via serial port. All Properties and Methods are inspired by the "SerialPort"-Class of the .NET Framework (System.IO.Ports.SerialPort) The benefit of this project is, that it needs only a few lines of code to implement, and a reduced CPU load. Static Methods are available to send/receive...
    Downloads: 1 This Week
    Last Update:
    See Project