Select a tag to browse associated projects and drill deeper into the tag cloud.
SWI-Prolog
Analyzed 25 days ago
SWI-Prolog is a comprehensive implementation of the Prolog programming language. It provides robust multi-threading, supports many document formats and protocols as well as interfaces to other programming languages. It includes a powerful HTTP server framework. The online version
Licenses:
bsd_2clau...
FSharp
Analyzed 25 days ago
F# is a programming language that provides support for functional programming in addition to traditional object-oriented and imperative (procedural) programming. The Visual F# product provides support for developing F# applications and extending other .NET Framework applications by using F# code. F#
Licenses:
apache_2
Charm++
C
No analysis available
A portable adaptive runtime system for parallel applications.
Application developers create an object-based decomposition of the problem of interest, and the runtime system manages issues of communication, mapping, load balancing, fault tolerance, and more. Sequential code implementing the
Mostly written in language not available
Licenses:
illinois-...
Ciao Programming Language
Analyzed 9 months ago
Ciao is a LGPL licensed, extensible, next generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.
Licenses:
No declared licenses
PyvaScript
P
No analysis available
A simpler and more readable JavaScript syntax inspired by Python. Removes JavaScript's annoying bug sources: forgotten "var", semicolons, etc. Uses indentation and has multi-line lambdas.
Mostly written in language not available
Licenses:
bsd
metta-wam
M
Analyzed 24 days ago
A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
Licenses:
lgplv3-st...
Herschel
Analyzed 24 days ago
Heather is an general-purpose multiparadigm programming language. It is strongly typed, offering type inference and parametric polymorphism ("generics"). It is consequently object oriented (everything is a object, even functions), while its consequent multiple dispatch approach keeps a strong
Licenses:
BSD-3-Clause
Elm-lang
E
Analyzed 25 days ago
Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
Licenses:
BSD-3-Clause
Agda 2
Analyzed 25 days ago
Agda is a dependently typed programming language / interactive theorem prover.