Search Results for "type"
Sort By:
Showing 109 open source projects for "type"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
InEight is a leader in construction project controls softwareMinimize risks, gain operational efficiency, control project costs, and make confident, informed decisions. InEight software has your back during every stage of construction, from accurate pre-planning to predictable execution and completion. When project teams collaborate effectively, every decision is backed by precise, authoritative insights.
-
1
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. -
2
Checked C
Checked C is an extension to C that lets programmers write C code
...The project is developing an extension to C called Checked C that adds checking to C to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. -
3
PJSIP
PJSIP project
...It combines signaling protocol (SIP) with a rich multimedia framework and NAT traversal functionality into high-level API that is portable and suitable for almost any type of system ranging from desktops, and embedded systems, to mobile handsets. PJSIP is both compact and feature rich. It supports audio, video, presence, and instant messaging, and has extensive documentation. PJSIP is very portable. On mobile devices, it abstracts system-dependent features and in many cases is able to utilize the native multimedia capabilities of the device. -
4
Zstandard
Zstandard - Fast real-time compression algorithm
Zstandard is a fast compression algorithm, providing high compression ratios. It also offers a special mode for small data, called dictionary compression. The reference library offers a very wide range of speed / compression trade-off, and is backed by an extremely fast decoder (see benchmarks below). Zstandard library is provided as open source software using a BSD license. Its format is stable and published as IETF RFC 8478. The negative compression levels, specified with --fast=#, offer... -
EasySend is a no-code platform that transforms customer journeysEvolve forms into smart, AI-powered digital workflows that streamline your data intake and elevate customer experiences.
-
5
Objeck
Objeck is a modern object-oriented programming language
General-purpose object-oriented and functional programming language. Designed to be intuitive, lightweight, cross-platform and fast. The Objeck compiler produces two types of binaries. The first is an executable and the second type is a library. Libraries can be linked into executables by passing the names of libraries to the compiler. Objeck can be built for a variety of targets. The language is implemented in C++, assembly (i.e., generated machine code) and assisted by code generators for bindings to SDL2 and GTK 3/4. -
6
Flecs
A fast entity component system (ECS) for C & C++
Flecs is a fast and lightweight Entity Component System that lets you build games and simulations with millions of entities (join the Discord!). Here are some of the framework's highlights. Fast zero dependency C99 API. Modern type-safe C++11 API that doesn't use STL containers. Minimal ECS core with optional addons. Entire codebase builds in less than 5 seconds. Runs in the browser without modifications with emscripten. Cache-friendly archetype/SoA storage that can process millions of entities every frame. Supports entities with hundreds of components and applications with tens of thousands of archetypes. ... -
7
MIR
A lightweight JIT compiler based on MIR
...Each module can contain functions and declarations and data. Each function has a signature (parameters and return types), local variables (including function arguments) and instructions. Each local variable has a type which can be only a 64-bit integer, float, double, or long double. Each instruction has an opcode and operands. Operand can be a local variable (or a function argument), immediate, memory, label, or reference. The immediate operand can be a 64-bit integer, float, double, or long double value. There are conversion instructions for conversion between different 32- and 64-bit signed and unsigned values, float, double, and long double values. ... -
8
libgit2
A cross-platform, portable, linkable Git implementation library
...It’s highly recommended that you build libgit2 as a static library for Xcode projects to simplify distribution significantly. libgit2 is used for powering Git GUI clients, such as gmaster and GitKraken and on Git hosting providers such as GitLab, Azure, GitHub, DevOps, among others. By clicking "merge pull request", we perform the merge. It is licensed under the GPLv2 license, so you can link it in its unmodified state with any type of software without releasing its source code. -
9
[OFFICIAL] tinyfiledialogs C C++ v3.21.3
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
one C/C++ file & header ==> 8 functions: - beep - tray notify popup - message & question - input & password - save file - open file(s) - select folder - color picker complements OpenGL Vulkan GLFW GLUT GLUI VTK SFML TGUI SDL Ogre Unity3d ION OpenCV CeGui MathGL GLM CPW GLOW Open3D ImGui MyGui GLT NGL STB Nuklear Fenster MicroUi & head-less programs NO INIT NO MAIN LOOP NO LINKING NO INCLUDE win (XP to 11) ASCII MBCS UTF-8 UTF-16 (wchar_t) - native dialogs osx/unix...">
-
Instant Remote Support Software. Unattended Remote Access Software.Zoho Assist is cloud-based remote support and remote access software that helps you support customers from a distance through web-based, on-demand remote support sessions. Set up unattended remote access and manage remote PCs, laptops, mobile devices, and servers effortlessly. A few seconds is all you need to establish secure connections to offer your customers remote support solutions.
-
10
Programming library for writing an XML-RPC server or client in C or C++. XML-RPC is a standard network protocol to allow a client program to make a simple remote procedure call (RPC) type request of a server. Like SOAP or CORBA, but much simpler.
">
-
11
tkImg
Img is a collection of format handlers for the Tk photo image type.
See https://tkimg.sourceforge.net/ for a list of supported image formats.">
-
12
gSOAP Toolkit
Development toolkit for Web Services and XML data bindings for C & C++
The gSOAP toolkit is an extensive suite of portable C and C++ software to develop XML Web services with powerful type-safe XML data bindings. Easy-to-use code-generator tools allow you to directly integrate XML data in C and C++. Serializes native application data in XML. Includes WSDL/XSD schema binding and auto-coding tools, stub/skeleton compiler, Web server integration with Apache module and IIS extension, high-performance XML processing with schema validation, fast MIME/MTOM streaming, SOAP and REST Web API development, WS-* protocols (WS-Security, WS-Policy, WS-ReliableMessaging, etc), XML-RPC and JSON. ... -
13
Seed7
Interpreter and compiler for the Seed7 programming language.
...Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. Several driver libraries assure that the access to operating system resources such as files, directories, network, clock, keyboard, console and graphics are done in a portable way. ... -
14
OpenBLT
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
OpenBLT is mostly used as an STM32 bootloader, due to the popularity of STM32 microcontrollers. However, the bootloader’s architecture is such that it can work with any microcontroller and use any type of communication interface to perform firmware updates. -
15
txtconf
Library for handling structured-text configuration files
txtconf is designed to be complementation for getopt(3), using very similar ways for defining configuration file structure (template). The idea is to implement universal, easy and efficient way to read and save configuration from/to human-readable text files. -
16
XPL compiler
XPL to C translator
XPL compiler as described in the book "A Compiler Generator" by McKeeman, Horning and Wortman. This compiler translates the XPL language to C source code allowing anyone with a working C compiler to run an XPL compiler. -
17
libfc4c
Fast containers for C language
C dynamic containers are missing in the standard, so almost every single project in C uses different implementations. This library is yet another implementation of few basic containers, optimized for speed. A simplified interface to libarchive allows to save the containers in a compressed form. All the containers are 32bit. This greatly improves the performance (up to ~32%) and reduces the memory consumption (up to 41%) on 64bit systems. All the containers are pre-allocating buffers to... -
18
pgsodium
Modern cryptography for PostgreSQL using libsodium
pgsodium is an encryption library extension for PostgreSQL using the libsodium library for high-level cryptographic algorithms. pgsodium can be used a straight interface to libsodium, but it can also use a powerful feature called Server Key Management where pgsodium loads an external secret key into memory that is never accessible to SQL. This inaccessible root key can then be used to derive sub-keys and keypairs by key id. This id (type bigint) can then be stored instead of the derived key. -
19
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
20
ALEPH-w
Data structures and Algorithms library
Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that... -
21
smartstr
a convenience ANSI C (C89) library for easy strings
ANSI C is very simple. So simple, that it misses a "string" type - instead, the programmer has to compose with arrays of characters. This may often lead to bugs: buffer overflows because the string outgrew its allocated space, segmentation faults when something or someone forgot to end the char array with a null terminator, memory leaks, etc. Because I was tired of fighting with stupid strings all the time, I created smartstr. -
22
ringBufU
Ring-Buffer library in C, includes support of multithreading
A Ring-Buffer instance could be used with element types - char - long - long long - void* . Focus is on a hardened SW structure with buffer-instance-pointer check (not very fast but more secure). Some features are globally choosable on compile-time (e.g. switch multithread support off completely to have faster access). Note: User Interface is for Test and Tutor Code only. -
23
libquickmail
C library for sending e-mail (with attachments) from C/C++
C library intended to give C/C++ developers a quick and easy way to send e-mail from their applications. Supports multiple To/Cc/Bcc recipients and multiple attachments without size limitation. For the actual SMTP communication either libcurl can be used or the built in SMTP support. The library can also be used to just create a multipart MIME message body. Also comes with a command line application (quickmail) for sending mails (mutiple attachments supported) from command line or... -
24
Ravi Programming Language
Ravi is a dialect of Lua, featuring limited optional static typing
...However, static typing is optional and therefore Lua 5.3 programs are also valid Ravi programs. There are other attempts to add static typing to Lua (e.g. Typed Lua but these efforts are mostly about adding static type checks in the language while leaving the VM unmodified. So the static typing is to aid programming in the large - the code is eventually translated to standard Lua and executed in the unmodified Lua VM. -
25
EJDB
Embeddable JSON Database engine C library
...Lexicographically sort object keys in both maps. Do matching keys and its values starting from the lowest key. Database index can be build for any JSON field path containing values of number or string type. All documents in collection are sorted by their primary key in descending order. So if you use auto generated keys (ejdb_put_new) you may be sure what documents fetched as result of full scan query will be ordered according to the time of insertion in descendant order, unless you don't use query sorting, indexes or inverse keyword.