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

1 month ago

Guile

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

1 month 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.

1 month ago

GNU sed

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

1 month 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.

1 month 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++.

1 month 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.

1 month ago
Smalltalk

Smalltalk

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

1 month ago
Transcrypt

Transcrypt

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

1 month ago
TXR

TXR

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

1 month ago
SoftwareTesting.AI

SoftwareTesting.AI

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

1 month ago
Agda

Agda

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

1 month 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.

1 month 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.

1 month ago
Elixir

Elixir

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

1 month ago
Skulpt

Skulpt

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

1 month ago
MLton

MLton

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

1 month 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.

1 month 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.

1 month ago

J

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

1 month ago
F#

F#

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

1 month ago
R Lang

R Lang

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

1 month 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.

1 month 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.

1 month 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.

1 month ago
Qt / C++

Qt / C++

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

1 month ago

On Lisp

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

1 month ago

GPP

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

1 month ago
PHP

PHP

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

1 month 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.

1 month 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.

1 month 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.

1 month ago
Haskell

Haskell

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

1 month 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.

1 month ago
JavaScript

JavaScript

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

1 month ago
Perl

Perl

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

1 month 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.

1 month 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.

1 month ago
Rust

Rust

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

1 month 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.

1 month ago
Erlang

Erlang

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

1 month 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.

1 month ago
Typescript

Typescript

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

1 month 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.

1 month ago
Elm

Elm

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

1 month ago
SymPy

SymPy

SymPy is a Python library for symbolic mathematics.

1 month 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.

1 month ago
ODIN

ODIN

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

1 month ago
thinBasic

thinBasic

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

1 month ago

Filepp

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

1 month 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.

1 month ago
V (programming language)

V (programming language)

1 month ago
mruby

mruby

1 month ago

GCC C Preprocessor (cpp)

1 month ago

xmllint

1 month ago
Chicken

Chicken

1 month ago
ATS

ATS

1 month ago
Jython

Jython

1 month ago
Visual Basic

Visual Basic

1 month ago

preprocess

1 month ago
PP - A generic Preprocessor

PP - A generic Preprocessor

1 month ago
Objective-C

Objective-C

1 month ago