💻 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.

10 months ago

Guile

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

10 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.

10 months ago

GNU sed

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

10 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.

10 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++.

10 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.

10 months ago
Smalltalk

Smalltalk

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

10 months ago
Transcrypt

Transcrypt

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

10 months ago
TXR

TXR

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

10 months ago
SoftwareTesting.AI

SoftwareTesting.AI

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

10 months ago
Agda

Agda

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

10 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.

10 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.

10 months ago
Elixir

Elixir

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

10 months ago
Skulpt

Skulpt

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

10 months ago
MLton

MLton

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

10 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.

10 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.

10 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.

10 months ago
F#

F#

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

10 months ago
R Lang

R Lang

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

10 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.

10 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.

10 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.

10 months ago
Qt / C++

Qt / C++

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

10 months ago

On Lisp

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

10 months ago

GPP

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

10 months ago
PHP

PHP

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

10 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.

10 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.

10 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.

10 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.

10 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.

10 months ago
JavaScript

JavaScript

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

10 months ago
Perl

Perl

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

10 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.

10 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.

10 months ago
Rust

Rust

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

10 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.

10 months ago
Erlang

Erlang

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

10 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.

10 months ago
Typescript

Typescript

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

10 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.

10 months ago
Elm

Elm

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

10 months ago
SymPy

SymPy

SymPy is a Python library for symbolic mathematics.

10 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.

10 months ago
ODIN

ODIN

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

10 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.

10 months ago

Filepp

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

10 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.

10 months ago
V (programming language)

V (programming language)

10 months ago
mruby

mruby

10 months ago

GCC C Preprocessor (cpp)

10 months ago

xmllint

10 months ago
Chicken

Chicken

10 months ago
ATS

ATS

10 months ago
Jython

Jython

10 months ago
Visual Basic

Visual Basic

10 months ago

preprocess

10 months ago
PP - A generic Preprocessor

PP - A generic Preprocessor

10 months ago
Objective-C

Objective-C

10 months ago