💻 Generic Programming Language

Discover products tagged with #Generic Programming Language

Coq

Coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms, and theorems together with an environment for semi-interactive development of machine-checked proofs.

3 months ago

Guile

Guile is a programming language designed for extending applications, with a focus on being embedded in other software systems.

3 months ago

Gambas

Gambas is a free development environment based on a Basic interpreter with object extensions. It is inspired by Visual Basic and allows you to quickly and easily create applications for Linux.

3 months ago

GNU sed

GNU sed is a stream editor for filtering and transforming text.

3 months ago
ES6

ES6

ECMAScript 6 (also known as ES6 and ECMAScript 2015) is the latest version of the ECMAScript standard. It brings many enhancements to the JavaScript language.

3 months ago
Squirrel (programming language)

Squirrel (programming language)

Squirrel is a high-level imperative, object-oriented programming language that is designed to be a lightweight scripting language that fits inside the applications. It features a dynamic type system, automatic memory management, and a syntax similar to C/C++.

3 months ago
Common Lisp

Common Lisp

Common Lisp is a high-level, general-purpose programming language known for its powerful macro system, rich set of data types, and support for object-oriented programming.

3 months ago
Smalltalk

Smalltalk

Smalltalk is an object-oriented, dynamically typed, reflective programming language.

3 months ago
Transcrypt

Transcrypt

Transcrypt is a Python to JavaScript compiler that allows you to write client-side web applications using Python.

3 months ago
TXR

TXR

TXR is a versatile software that simplifies text processing and data extraction.

3 months ago
SoftwareTesting.AI

SoftwareTesting.AI

SoftwareTesting.AI is an AI-powered software testing tool that automates test case generation, execution, and result analysis.

3 months ago
Agda

Agda

Agda is a dependently typed functional programming language and proof assistant.

3 months ago
Bracmat

Bracmat

Bracmat is a comprehensive project management software for small to medium-sized teams. It offers task management, team collaboration, and time tracking features.

3 months ago
Brython

Brython

Brython is a Python implementation for client-side web programming. It allows you to use Python in the browser to build interactive web applications.

3 months ago
Elixir

Elixir

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

3 months ago
Skulpt

Skulpt

Skulpt is a body composition tracker that measures body fat percentage and muscle quality.

3 months ago
MLton

MLton

MLton is an open-source whole-program optimizing compiler for the Standard ML programming language.

3 months ago

Xidel

Xidel is a command line tool to download and extract data from HTML/XML pages. It supports various querying methods like XPath, CSS selectors, and JSONPath.

3 months ago
XMLStarlet

XMLStarlet

XMLStarlet is a set of command-line utilities that can be used to transform, query, validate, and edit XML documents and files. It provides a simple and powerful way to work with XML data.

3 months ago

J

J is a high-level, general-purpose programming language that is particularly suited to the mathematical, statistical, and logical analysis of data.

3 months ago
F#

F#

F# is a functional-first programming language that allows you to write simple code to solve complex problems.

3 months ago
R Lang

R Lang

R Lang is a programming language and software environment for statistical computing and graphics.

3 months ago
Crystal (programming language)

Crystal (programming language)

Crystal is a general-purpose, object-oriented programming language that focuses on performance and type safety. It has syntax similar to Ruby but compiles to native code for better performance.

3 months ago
Zig

Zig

Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. It prioritizes simplicity, efficiency, and safety.

3 months ago
NIM

NIM

Nim is a statically typed, imperative programming language that offers efficiency, expressiveness, and elegance. It produces native code with high performance and low memory footprint.

3 months ago
Qt / C++

Qt / C++

Qt is a powerful C++ toolkit for creating cross-platform applications, UIs, and embedded devices.

3 months ago

On Lisp

A book by Paul Graham that discusses advanced techniques for Common Lisp programming.

3 months ago

GPP

GPP is a powerful project management tool with advanced features for team collaboration and task tracking.

3 months ago
PHP

PHP

PHP is a popular general-purpose scripting language that is especially suited to web development.

3 months ago
Scala Lang

Scala Lang

Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way.

3 months ago
Ruby

Ruby

Ruby is a dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is easy to read and write.

3 months ago
C

C

C is a general-purpose, procedural computer programming language supporting structured programming, lexical variable scope, and recursion, with a static type system.

3 months ago
Haskell

Haskell

Haskell is a functional programming language with a strong, static type system. It is known for its purity and laziness features.

3 months ago
Lua

Lua

Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.

3 months ago
JavaScript

JavaScript

JavaScript is a high-level, interpreted programming language that is widely used for creating interactive and dynamic websites.

3 months ago
Perl

Perl

Perl is a high-level, general-purpose, interpreted, dynamic programming language known for its powerful text processing capabilities.

3 months ago
Haxe

Haxe

Haxe is an open source toolkit based on a modern high-level strictly typed programming language, a state-of-the-art light-speed cross-compiler, and a complete cross-platform standard library.

3 months ago
C (programming language)

C (programming language)

C is a general-purpose, procedural computer programming language supporting structured programming, lexical variable scope, and recursion, with a static type system.

3 months ago
Rust

Rust

Rust is a systems programming language that is known for its speed, memory safety, and parallelism.

3 months ago
Kotlin

Kotlin

Kotlin is a modern programming language that runs on the Java Virtual Machine (JVM). It is expressive, concise, and powerful, making it a great choice for developing Android apps, server-side applications, and more.

3 months ago
Erlang

Erlang

Erlang is a functional programming language used for developing highly scalable, fault-tolerant systems.

3 months ago
Nim (programming language)

Nim (programming language)

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada, and Modula.

3 months ago
Typescript

Typescript

TypeScript is a strict syntactical superset of JavaScript that adds optional static typing to the language.

3 months ago
Clojure

Clojure

Clojure is a dynamic, functional programming language that runs on the Java Virtual Machine. It is designed for concurrency and allows immutable data structures.

3 months ago
Elm

Elm

Elm is a functional programming language for building web applications with a strong emphasis on simplicity and helpful error messages.

3 months ago
SymPy

SymPy

SymPy is a Python library for symbolic mathematics.

3 months ago
OCaml

OCaml

OCaml is a functional programming language with a strong emphasis on expressiveness and safety. It is well-suited for writing compilers, interpreters, and other performance-sensitive software.

3 months ago
ODIN

ODIN

ODIN is a comprehensive software solution for project management and collaboration.

3 months ago
thinBasic

thinBasic

thinBasic is a simple, flexible, and easy-to-learn scripting language. It is designed for automation, customization, and rapid software development.

3 months ago

Filepp

Filepp is a file management software that helps users organize and access their files efficiently.

3 months ago

GNU M4

GNU M4 is an implementation of the traditional Unix macro processor. It is mostly used as a macro processor that is used as a front end to a compiler, such as the C programming language.

3 months ago
V (programming language)

V (programming language)

3 months ago
mruby

mruby

3 months ago

GCC C Preprocessor (cpp)

3 months ago

xmllint

3 months ago
Chicken

Chicken

3 months ago
ATS

ATS

3 months ago
Jython

Jython

3 months ago
Visual Basic

Visual Basic

3 months ago

preprocess

3 months ago
PP - A generic Preprocessor

PP - A generic Preprocessor

3 months ago
Objective-C

Objective-C

3 months ago