|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
compiler
development
programming-language
haskell
programming-languages
language
erlang
concurrency
standard-ml
otp
|
| Package |
Description |
Version |
|
agda
☆
formula
|
Dependently typed functional programming language |
2.8.0-r3 |
|
ats2-postiats
☆
formula
|
Programming language with formal specification features |
0.4.2 |
|
chicken
☆
formula
|
Compiler for the Scheme programming language |
5.4.0 |
|
coconut
☆
formula
|
Simple, elegant, Pythonic functional programming |
3.1.2 |
|
elm
☆
formula
|
Functional programming language for building browser-based GUIs |
0.19.1 |
|
erlang@25
☆
formula
|
Programming language for highly scalable real-time systems |
25.3.2.21 |
|
erlang@26
☆
formula
|
Programming language for highly scalable real-time systems |
26.2.5.16 |
|
erlang@27
☆
formula
|
Programming language for highly scalable real-time systems |
0.37.3/ex_doc_otp_26 |
|
frege
☆
formula
|
Non-strict, functional programming language in the spirit of Haskell |
|
|
frege-repl
☆
formula
|
REPL (read-eval-print loop) for Frege |
1.4-SNAPSHOT |
|
functionalplus
☆
formula
|
Functional Programming Library for C++ |
0.2.19 |
|
ghc
☆
formula
|
Glorious Glasgow Haskell Compilation System |
11 |
|
ghc@9.10
☆
formula
|
Glorious Glasgow Haskell Compilation System |
9.10.3 |
|
ghc@9.2
☆
formula
|
Glorious Glasgow Haskell Compilation System |
|
|
ghc@9.4
☆
formula
|
Glorious Glasgow Haskell Compilation System |
9.4.8 |
|
ghc@9.6
☆
formula
|
Glorious Glasgow Haskell Compilation System |
|
|
ghc@9.8
☆
formula
|
Glorious Glasgow Haskell Compilation System |
9.8.4 |
|
gleam
☆
formula
|
Statically typed language for the Erlang VM |
1.13.0 |
|
idris2
☆
formula
|
Pure functional programming language with dependent types |
0.8.0 |
|
immer
☆
formula
|
Library of persistent and immutable data structures written in C++ |
|
|
koka
☆
formula
|
Compiler for the Koka language |
|
|
lci
☆
formula
|
Interpreter for the lambda calculus |
|
|
lfe
☆
formula
|
Concurrent Lisp for the Erlang VM |
|
|
lunarml
☆
formula
|
Standard ML compiler that produces Lua/JavaScript |
|
|
mercury
☆
formula
|
Logic/functional programming language |
|
|
mit-scheme
☆
formula
|
MIT/GNU Scheme development tools and runtime library |
|
|
mitama-cpp-result
☆
formula
|
Provides `result<T, E>` and `maybe<T>` and monadic functions for them |
|
|
mlkit
☆
formula
|
Compiler for the Standard ML programming language |
|
|
mlton
☆
formula
|
Whole-program, optimizing compiler for Standard ML |
20241230 |
|
moscow-ml
☆
cask
|
Light-weight implementation of Standard ML |
2.10.1 |
|
mosml
☆
formula
|
Moscow ML |
|
|
never
☆
formula
|
Statically typed, embedded functional programming language |
|
|
ocaml
☆
formula
|
General purpose programming language in the ML family |
5.4.0 |
|
ocaml@4
☆
formula
|
General purpose programming language in the ML family |
4.14.2 |
|
ol
☆
formula
|
Purely functional dialect of Lisp |
|
|
polyml
☆
formula
|
Standard ML implementation |
|
|
purescript
☆
formula
|
Strongly typed programming language that compiles to JavaScript |
|
|
scala@2.12
☆
formula
|
JVM-based programming language |
2.12.21 |
|
smlnj
☆
cask
|
Compiler for the Standard ML '97 programming language |
110.99.9 |
|
spago
☆
formula
|
PureScript package manager and build tool |
|
|
unisonlang
☆
formula
|
Friendly programming language from the future |
1.0.0 |
|
urweb
☆
formula
|
Ur/Web programming language |
|
|
zug
☆
formula
|
C++ library providing transducers |
|