Search Results for "programming program c2"
Sort By:
Showing 221 open source projects for "programming program c2"
View related business solutions-
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
Inventors: Validate Your Idea, Protect It and Gain Market AdvantagessenseIP is an AI innovation platform for inventors, automating any aspect of IP from the moment you have an idea. You can have it researched for uniqueness and protected; quickly and effortlessly, without expensive attorneys. Built for business success while securing your competitive edge.
-
1
The Ballerina programming language
The Ballerina Programming Language
Ballerina is an open-source programming language for the cloud that makes it easier to use, combine, and create network services. Network primitives in the language make it simpler to write services and run them in the cloud. Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. -
2
Quine Relay
An uroboros program with 100+ programming languages
quine-relay is an esoteric programming project that produces a single program which, when run, outputs the same program in another programming language; and that next-language version, when run, outputs itself in yet another language—and so on—cycling through many languages until returning to the original. It is effectively a “relay” of quines across dozens (or hundreds) of languages. -
3
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. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from... -
4
Unison
A friendly programming language from the future
Unison is an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable. Unison’s core idea is that code is immutable and identified by its content. This lets us reimagine many aspects of how a programming language works. We simplify codebase management, Unison has no builds, no dependency conflicts, and renaming things is trivial. -
Turn more customers into advocates.The platform's advanced capabilities ensure companies get the most out of their referral programs. Leverage custom events, profiles, and attributes to enable dynamic, audience-specific referral experiences. Use first-party data to tailor customer segment messaging, rewards, and engagement strategies. Use our flexible APIs to build management capabilities and consumer experiences–headlessly or hybrid. We have all the tools you need to build scalable, secure, and high-performing referral programs.
-
5
ispc
Intel SPMD Program Compiler
ispc is a compiler for a variant of the C programming language, with extensions for single programs, and multiple data programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. ispc compiles a C-based SPMD programming language to run on the SIMD units of CPUs and GPUs; it frequently provides a 3x or more speedup on architectures with 4-wide vector SSE units and 5x-6x on architectures with 8-wide AVX vector units, without any of the difficulty of writing intrinsics code. ... -
6
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
7
Racket
The Racket repository
Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads. -
8
ClojureScript
Compiler for Clojure that targets JavaScript
ClojureScript is a compiler for Clojure that targets JavaScript. It is designed to emit JavaScript code which is compatible with the advanced compilation mode of the Google Closure optimizing compiler. Clojure is a dynamic, general-purpose programming language supporting interactive development. Clojure is a functional programming language featuring a rich set of immutable, persistent data structures. As a dialect of Lisp, it has a code-as-data philosophy and a powerful macro system. Clojure... -
9
STLINK
Open source STM32 MCU programming toolset
stlink is an open source toolset to program and debug STM32 devices and boards manufactured by STMicroelectronics. It supports several so-called STLINK programmer boards (and clones thereof) which use a microcontroller chip to translate commands from USB to JTAG/SWD. There are four generations available on the market which are all supported by this toolset. -
Trumba is an All-in-one Calendar Management and Event Registration platformPublish, promote and track your events more affordably and effectively—all in one place.
-
10
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. ... -
11
NodeMCU
Lua based interactive firmware for ESP8266, ESP8285 and ESP32
NodeMCU is an open source Lua-based firmware for the ESP8266 WiFi SOC from Espressif and uses an on-module flash-based SPIFFS file system. NodeMCU is implemented in C and is layered on the Espressif NON-OS SDK. The firmware was initially developed as a companion project to the popular ESP8266-based NodeMCU development modules, but the project is now community-supported, and the firmware can now be run on any ESP module. -
12
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. ... -
13
PyQuil
A Python library for quantum programming using Quil
PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. ... -
14
OpenQASM
Quantum assembly language for extended quantum circuits
...Its main goal is to serve as an intermediate representation for higher-level compilers to communicate with quantum hardware. Allowances have been made for human usability. In particular, the language admits different representations of the same program as it is transformed from a high-level description to a pulse representation. -
15
Flyde
Visual programming for developers. Includes a VS Code extension
Built on a functional-reactive foundation, Flyde enables more than simple input/output flows. It supports everything you'd expect from a textual-based language; recursions, loops, and conditionals. Unlock new ways to think about, and debug your programs. Have an always-correct diagram of your program. Flyde’s flow-based, visual approach makes asynchronous and concurrent tasks simpler and more intuitive. In Flyde, nothing is hidden. From node implementation to runtime code. Easily access the... -
16
CIDER
The Clojure Interactive Development Environment that Rocks for Emacs
...CIDER aims to provide an interactive development experience similar to the one you’d get when programming in Emacs Lisp, Common Lisp (with SLIME or Sly), Scheme (with Geiser), and Smalltalk. Programmers are expected to program in a very dynamic and incremental manner, constantly re-evaluating existing Clojure definitions and adding new ones to their running applications. You never stop/start a Clojure application while using CIDER - you’re constantly interacting with it and changing it. -
17
xLUA
xLua is a lua programming solution for C#
xLua adds Lua script programming capabilities to C# environments such as Unity, .Net, Mono, etc. With xLua, these Lua codes can be easily called with C#. xLua has many breakthroughs in function, performance, and ease of use. The most representative of these aspects are C# implementation (methods, operators, attributes, events, etc.) can be replaced with Lua implementation at runtime; excellent GC optimization, custom struct, enumeration transfer between Lua and C# without C# gc alloc; and... -
18
Drogon
Drogon: A C++14/17/20 based HTTP web application framework
...Use a non-blocking I/O network lib based on epoll (kqueue under macOS/FreeBSD) to provide high-concurrency, high-performance network IO, please visit the TFB Tests Results for more details. Provide a completely asynchronous programming mode. Support Http1.0/1.1 (server side and client side). Based on the template, a simple reflection mechanism is implemented to completely decouple the main program framework, controllers, and views. Support cookies and built-in sessions. Support back-end rendering, the controller generates the data to the view to generate the Html page. -
19
WS2812FX
WS2812 FX library for Arduino and ESP8266
...You can search for WS2812FX in the Arduino IDE Library Manager or install the latest (or development) version manually. More complex effects can be created by dividing your string of LEDs into segments (up to ten) and programming each segment independently. Use the segment() function to program each segment's mode, color, speed, and direction (normal or reverse). Note, some effects make use of more than one color (up to three) and are programmed by specifying an array of colors. Random color introduced alternating from start and end of strip. Alternating white/red/black pixels running. ... -
20
ELENA Programming Language
an object-oriented language with late binding
ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples -
21
PSPad
Text and code editor
PSPad editor is a programmers editor with support for multiple syntax highlighting profiles. It comes with a hex editor, CP conversion, text differences, templates, macros, spellcheck option, auto-completion, Code Explorer and much more. The program is pre-configured for the most popular programming languages (VB, C++, SQL, PHP, ASP, Python etc.) and you can further customize the syntax settings. PSPad includes several additional tools that are especially useful for HTML editing (compress, format code) and also integrates TopStyle Lite and TidyHTML. The program can be used as IDE for any compiler. ... -
22
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.
-
23
MLton
A whole-program optimizing compiler for Standard ML
MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler. -
24
BASIC-256 is an easy to use version of BASIC designed to teach anybody how to program. A built-in graphics mode lets them draw pictures on screen in minutes, and a set of easy-to-follow tutorials introduce programming concepts through fun exercises, 2021-08-05 - Ubuntu and other LINUX users can install the latest version with snap: sudo snap --beta basic256
-
25
KEditor
An Editor to teach Programming Fundamentals using Karel Robot
This Editor is used for educational purposes in First Programming Course. It is integrated with Karel Robot library developed by Stanford. It is a secure editor with limited capabilities to enforce the students to avoid copy and paste, do it by yourself methodology. You can use Karel commands and write new functions and run your program without any hassle to configure Karel. Every program stamped with Author name which, once set, is not allowed to be changed. ...
