{"category":{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},"packages":[{"categoryid":450,"description":"Language and environment for statistical computing and graphics","firstseen":"2010-05-04T00:54:45.661860","maintainer":"calchan@gentoo.org","maintainername":"Denis Dupeyron","name":"R","packageid":50918,"summary":"R is GNU S, a system for statistical computation and graphics. It consists of a language plus a run-time environment with graphics, a debugger, access to certain system functions, and the ability to run programs stored in script files. The core of R is an interpreted computer language which allows branching and looping as well as modular programming using functions. The R distribution contains functionality for a large number of statistical procedures such as: linear and generalized linear models, nonlinear regression models, time series analysis, classical parametric and nonparametric tests, clustering, smoothing and graphical data representations. Additional modules (\"add-on packages\") are available for a variety of specific purposes but are not distributed with this package."},{"categoryid":450,"description":"The ABS programing language","firstseen":"2021-06-20T09:05:59.600702","name":"abs","packageid":73009},{"categoryid":450,"description":"Binary bootstrap compiler for GNAT (Ada compiler)","firstseen":"2024-10-01T02:25:56.901763","name":"ada-bootstrap","packageid":77750},{"categoryid":450,"description":"Algol 68 Genie compiler-interpreter","firstseen":"2023-09-15T13:39:51.439631","name":"algol68g","packageid":76468,"summary":"Algol 68 Genie is free software distributed under the GNU General Public License; it is a fast compiler-interpreter which ranks among the most complete implementations of the language."},{"categoryid":450,"description":"Scala language-based scripting and REPL","firstseen":"2021-10-25T16:00:09.955885","name":"ammonite-repl-bin","packageid":73492},{"categoryid":450,"description":"New dialect of Lisp, works well for web applications","firstseen":"2021-11-26T15:17:19.962198","name":"arc","packageid":73641,"summary":"Arc is designed for exploratory programming: the kind where you decide what to write by writing it. A good medium for exploratory programming is one that makes programs brief and malleable, so that's what we've aimed for. This is a medium for sketching software. Arc is unfinished. It's missing things you'd need to solve some types of problems. But it works well for basic web apps."},{"categoryid":450,"description":"Functional programming language with dependent types","firstseen":"2023-10-19T23:06:55.965172","name":"ats2","packageid":76599,"summary":"ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. In addition, the template system makes ATS2 highly suitable for supporting numerical computation."},{"categoryid":450,"description":"An interpreter for the classic dialect of the programming language BASIC","firstseen":"2011-02-03T14:39:13.740633","name":"bas","packageid":56797,"summary":"Bas is an interpreter for the classic dialect of the programming language BASIC. It is pretty compatible to typical BASIC interpreters of the 1980s, unlike some other UNIX BASIC interpreters, that implement a different syntax, breaking compatibility to existing programs. Bas offers many ANSI BASIC statements for structured programming, such as procedures, local variables and various loop types. Further there are matrix operations, automatic LIST indentation and many statements and functions found in specific classic dialects. Line numbers are not required. Bas is written in ANSI C for UNIX systems."},{"categoryid":450,"description":"A brainfuck interpreter","firstseen":"2010-05-04T00:54:45.661860","name":"bff","packageid":51908},{"categoryid":450,"description":"SMT-based program verifier","firstseen":"2022-10-03T23:03:49.870993","name":"boogie","packageid":75498,"summary":"Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers for Dafny, Chalice, and Spec#. For a sample verifier for a toy language built on top of Boogie, see Forro. Boogie is also the name of a tool. The tool accepts the Boogie language as input, optionally infers some invariants in the given Boogie program, and then generates verification conditions that are passed to an SMT solver. The default SMT solver is Z3."},{"categoryid":450,"description":"C-INTERCAL - INTERCAL to binary (via C) compiler","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ulm@gentoo.org","name":"c-intercal","packageid":44394,"summary":"An implementation of the language INTERCAL, legendary for its perversity and horribleness (this version adds COME FROM for extra flavor). Comes with language manual and examples including possibly the entire extant body of INTERCAL code. Now supports i18n and l14n (to Ancient Roman locale only). Now with fix patch by Donald Knuth."},{"categoryid":450,"description":"Header file allowing to call Fortran routines from C and C++","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"cfortran","packageid":45456,"summary":"cfortran is a header file to ease bridge between C and FORTRAN. It provides an interface between C and FORTRAN routines and global data, i.e. structures and COMMON blocks. This package includes patches from Debian for better support on newer compilers and architectures."},{"categoryid":450,"description":"Tool for building Expert Systems (native version)","firstseen":"2021-11-26T11:46:09.485814","name":"clips","packageid":73637,"summary":"This package is a pure C implementation of CLIPS. CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities."},{"categoryid":450,"description":"Tool for building Expert Systems (Java version)","firstseen":"2021-11-26T11:46:09.485814","name":"clipsjni","packageid":73638,"summary":"This package is a Java implementation of CLIPS with a native shared library and a IDE. CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities."},{"categoryid":450,"description":"C<<1 programming language system","firstseen":"2010-05-04T00:54:45.661860","name":"cll1h","packageid":42154},{"categoryid":450,"description":"General-purpose programming language with an emphasis on functional programming","firstseen":"2010-07-21T14:36:10.535837","maintainer":"mr_bones_@gentoo.org","maintainername":"Michael Sterrett","name":"clojure","packageid":56076},{"categoryid":450,"description":"JavaScript optimizing compiler","firstseen":"2012-04-19T14:38:40.192438","maintainer":"vapier@gentoo.org","name":"closure-compiler-bin","packageid":59161,"summary":"The Closure Compiler is a tool for making JavaScript download and run faster. It is a true compiler for JavaScript. Instead of compiling from a source language to machine code, it compiles from JavaScript to better JavaScript. It parses your JavaScript, analyzes it, removes dead code and rewrites and minimizes what's left. It also checks syntax, variable references, and types, and warns about common JavaScript pitfalls."},{"categoryid":450,"description":"A little language that compiles into javascript","firstseen":"2015-07-04T13:38:08.080024","maintainer":"mjo@gentoo.org","maintainername":"Michael Orlitzky","name":"coffee-script","packageid":63831,"summary":"CoffeeScript is a little language that compiles into JavaScript. Underneath that awkward Java-esque patina, JavaScript has always had a gorgeous heart. CoffeeScript is an attempt to expose the good parts of JavaScript in a simple way. The golden rule of CoffeeScript is: \"It's just JavaScript.\" The code compiles one-to-one into the equivalent JS, and there is no interpretation at runtime. You can use any existing JavaScript library seamlessly from CoffeeScript (and vice-versa). The compiled output is readable, pretty-printed, and tends to run as fast or faster than the equivalent handwritten JavaScript."},{"categoryid":450,"description":"The Crystal Programming Language","firstseen":"2015-10-09T13:39:23.909120","maintainer":"longlene@gmail.com","maintainername":"Lixiao Chen","name":"crystal","packageid":64474,"summary":"Crystal is a programming language that resembles Ruby but compiles to native code and tries to be much more efficient, at the cost of disallowing certain dynamic aspects of Ruby."},{"categoryid":450,"description":"open-source data validation language and inference engine","firstseen":"2024-01-09T21:05:38.699882","name":"cue","packageid":76883},{"categoryid":450,"description":"A WAM based Prolog system","firstseen":"2020-07-19T11:15:42.815647","name":"cxprolog","packageid":71314},{"categoryid":450,"description":"Dafny is a verification-aware programming language","firstseen":"2023-09-17T20:47:46.121409","name":"dafny","packageid":76486,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."},{"categoryid":450,"description":"Verification-aware programming language","firstseen":"2022-06-29T17:34:09.417548","name":"dafny-bin","packageid":75101,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."},{"categoryid":450,"description":"Embeddable Javascript engine","firstseen":"2017-05-24T21:01:45.274861","name":"duktape","packageid":66867},{"categoryid":450,"description":"A BQN language implementation written in Java, also know as dbqn","firstseen":"2023-08-01T20:16:49.288401","name":"dzaima-bqn","packageid":76369},{"categoryid":450,"description":"Interpreter and compiler compatible with the ISLisp standard","firstseen":"2022-07-06T14:16:32.515325","name":"eisl","packageid":75120,"summary":"Easy-ISLisp(EISL) is an interpreter and compiler compatible with the ISLisp standard. EISL was written by Kenichi Sasagawa https:\/\/qiita.com\/sym_num\/items\/793adfe118514668e5b0"},{"categoryid":450,"description":"Elixir programming language","firstseen":"2013-07-13T13:36:09.814575","maintainer":"proxy-maint@gentoo.org","maintainername":"Proxy Maintainers","name":"elixir","packageid":61008},{"categoryid":450,"description":"Embeddable Lambda Prolog Interpreter in OCaml","firstseen":"2023-03-15T01:50:00.147852","name":"elpi","packageid":75905,"summary":"ELPI implements a variant of λProlog enriched with Constraint Handling Rules, a programming language well suited to manipulate syntax trees with binders. ELPI is designed to be embedded into larger applications written in OCaml as an extension language. It comes with an API to drive the interpreter and with an FFI for defining built-in predicates and data types, as well as quotations and similar goodies that are handy to adapt the language to the host application."},{"categoryid":450,"description":"Erlang programming language, runtime environment and libraries (OTP)","firstseen":"2010-05-04T00:54:45.661860","maintainer":"djc@gentoo.org","maintainername":"Dirkjan Ochtman","name":"erlang","packageid":42022,"summary":"Erlang is a programming language designed at the Ericsson Computer Science Laboratory. Open-source Erlang is being released to help encourage the spread of Erlang outside Ericsson."},{"categoryid":450,"description":"Combine interpreter of esoteric languages","firstseen":"2013-02-01T14:36:03.652681","maintainer":"pinkbyte@gentoo.org","maintainername":"Sergey Popov","name":"esco","packageid":60304},{"categoryid":450,"description":"A non-interactive scripting language","firstseen":"2013-10-03T13:36:11.665794","maintainer":"williamh@gentoo.org","maintainername":"William Hubbs","name":"execline","packageid":61466,"summary":"Execline is a non-interactive scripting language similar to sh. According to the home page, the syntax is far mor logical and predictable than sh, and has no security issues."},{"categoryid":450,"description":"Fortran to C converter","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"f2c","packageid":43707,"summary":"F2C compiles FORTRAN 77 sources by converting to C\/C++ sources and compiling the later with gcc. The resulting binaries depend on the libf2c runtime library."},{"categoryid":450,"description":"Lisp-like language that compiles to Lua","firstseen":"2021-11-28T18:55:20.254962","name":"fennel","packageid":73648,"summary":"Fennel is a lisp that compiles to Lua. It aims to be easy to use, expressive, and has almost zero overhead compared to handwritten Lua. Full Lua compatibility - You can use any function or library from Lua. Zero overhead - Compiled code should be just as or more efficient than hand-written Lua. Compile-time macros - Ship compiled code with no runtime dependency on Fennel. Embeddable - Fennel is a one-file library as well as an executable. Embed it in other programs to support runtime extensibility and interactive development. At https:\/\/fennel-lang.org there's a live in-browser REPL you can use without installing anything."},{"categoryid":450,"description":"Free Pascal Compiler","firstseen":"2010-05-04T00:54:45.661860","maintainer":"amynka@gentoo.org","maintainername":"Amy Winston","name":"fpc","packageid":52004},{"categoryid":450,"description":"A language with a focus on simplicity, safety and correctness","firstseen":"2023-02-06T17:39:38.294898","name":"fuzion","packageid":75810,"summary":"A language that unifies concepts to improve productivity and to use tools for performance and correctness."},{"categoryid":450,"description":"GNU Data Language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"gdl","packageid":54712,"summary":"A free IDL (Interactive Data Language) compatible incremental compiler (ie. runs IDL programs). IDL is a registered trademark of ITT Visual Information Solutions."},{"categoryid":450,"description":"GNU Forth is a fast and portable implementation of the ANSI Forth language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"carsten@strotmann.de","maintainername":"Carsten Strotmann","name":"gforth","packageid":44056},{"categoryid":450,"description":"The Glasgow Haskell Compiler","firstseen":"2010-05-04T00:54:45.661860","maintainer":"haskell@gentoo.org","maintainername":"Gentoo Haskell","name":"ghc","packageid":55607},{"categoryid":450,"description":"A friendly language for building type-safe, scalable systems!","firstseen":"2024-01-13T11:08:15.181098","name":"gleam","packageid":76901},{"categoryid":450,"description":"GNAT Ada Compiler - GPL version","firstseen":"2017-03-12T14:36:45.338749","name":"gnat-gpl","packageid":66640},{"categoryid":450,"description":"A free\/libre COBOL compiler","firstseen":"2022-11-24T11:40:57.192304","name":"gnucobol","packageid":75619},{"categoryid":450,"description":"GNU Prolog for Java is an implementation of ISO Prolog as a Java library","firstseen":"2016-10-28T13:36:27.177786","name":"gnuprologjava","packageid":66013},{"categoryid":450,"description":"A concurrent garbage collected and typesafe programming language","firstseen":"2012-05-16T15:06:58.620932","maintainer":"williamh@gentoo.org","maintainername":"William Hubbs","name":"go","packageid":59318,"summary":"Go is a new systems programming language developed at google by Rob Pike. It has garbage collection, coroutines, communication channels and a clean syntax."},{"categoryid":450,"description":"Bootstrap package for dev-lang\/go","firstseen":"2020-01-23T15:40:48.207931","name":"go-bootstrap","packageid":70734,"summary":"This package is used only to boot strap"},{"categoryid":450,"description":"Native Prolog compiler with constraint solving over finite domains (FD)","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"gprolog","packageid":51020},{"categoryid":450,"description":"A Sass compiler written purely in Rust","firstseen":"2025-01-06T18:06:03.134343","name":"grass","packageid":78103},{"categoryid":450,"description":"Multi-target universal programming language","firstseen":"2021-12-05T05:16:15.438594","name":"haxe","packageid":73711,"summary":"Haxe is an open source toolkit based on a modern, high level, static-typed programming language, a cross-compiler, a complete cross-platform standard library and ways to access each platform's native capabilities."},{"categoryid":450,"description":"Very high level language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"cwills@witznd.net","maintainername":"Cheyenne Wills","name":"icon","packageid":42297},{"categoryid":450,"description":"Purely functional programming language with first class types","firstseen":"2021-11-27T20:32:36.959877","name":"idris2","packageid":73642,"summary":"Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct."},{"categoryid":450,"description":"Design system for interactive fiction","firstseen":"2010-05-04T00:54:45.661860","maintainer":"games@gentoo.org","maintainername":"Gentoo Games Project","name":"inform","packageid":48760},{"categoryid":450,"description":"InterProlog is a Java front-end and enhancement for Prolog","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"interprolog","packageid":54808},{"categoryid":450,"description":"Intel SPMD Program Compiler","firstseen":"2012-06-15T14:38:52.161259","maintainer":"ottxor@gentoo.org","maintainername":"Christoph Junghans","name":"ispc","packageid":59470},{"categoryid":450,"description":"A dynamic Lisp dialect and bytecode vm","firstseen":"2020-03-18T09:13:26.521041","name":"janet","packageid":70931,"summary":"Janet is a functional and imperative programming language and bytecode interpreter. It is a modern lisp, but lists are replaced by other data structures with better utility and performance (arrays, tables, structs, tuples). The language also supports bridging to native code written in C, meta-programming with macros, and bytecode assembly."},{"categoryid":450,"description":"Ultra-lightweight JavaScript engine for the Internet of Things","firstseen":"2021-05-23T12:00:48.090232","name":"jerryscript","packageid":72915},{"categoryid":450,"description":"Small footprint implementation of Tcl programming language","firstseen":"2011-03-17T14:38:02.187254","maintainer":"hwoarang@gentoo.org","maintainername":"Markos Chandras","name":"jimtcl","packageid":57113},{"categoryid":450,"description":"Javascript Interpreter for .NET","firstseen":"2023-09-16T16:07:07.019954","name":"jint","packageid":76485,"summary":"Jint is a Javascript interpreter for .NET which can run on any modern .NET platform as it supports .NET Standard 2.0 and later."},{"categoryid":450,"description":"A data templating language for app and tool developers","firstseen":"2019-05-03T00:48:39.061973","name":"jsonnet","packageid":69823},{"categoryid":450,"description":"High-performance programming language for technical computing","firstseen":"2013-11-26T14:36:35.642025","maintainer":"patrick@gentoo.org","maintainername":"Patrick Lauer","name":"julia","packageid":61629,"summary":"Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, mostly written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, FFTs, and string processing. Julia programs are organized around defining functions, and overloading them for different combinations of argument types (which can also be user-defined)."},{"categoryid":450,"description":"High-performance programming language for technical computing","firstseen":"2019-01-07T22:00:05.745195","name":"julia-bin","packageid":69612,"summary":"Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, mostly written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, FFTs, and string processing. Julia programs are organized around defining functions, and overloading them for different combinations of argument types (which can also be user-defined)."},{"categoryid":450,"description":"MASM-compatible TASM-similar assembler (fork of Wasm)","firstseen":"2013-05-16T13:40:59.072311","maintainer":"slyfox@gentoo.org","maintainername":"Sergei Trofimovich","name":"jwasm","packageid":60759},{"categoryid":450,"description":"Statically typed language that targets the JVM and JavaScript","firstseen":"2024-01-21T21:13:38.677246","name":"kotlin-bin","packageid":76971,"summary":"Kotlin is a statically typed language that targets the JVM and JavaScript. It is a general-purpose language intended for industry use. It is developed by a team at JetBrains although it is an OSS language and has external contributors."},{"categoryid":450,"description":"feature rich visual programming environment emulating Delphi","firstseen":"2010-05-04T00:54:45.661860","maintainer":"amynka@gentoo.org","name":"lazarus","packageid":52871},{"categoryid":450,"description":"Lisp-flavoured Erlang, a lisp syntax front-end to the Erlang compiler","firstseen":"2014-03-13T14:38:48.608773","maintainer":"patrick@gentoo.org","maintainername":"Patrick Lauer","name":"lfe","packageid":62041,"summary":"LFE, Lisp Flavoured Erlang, is a lisp syntax front-end to the Erlang compiler. Code produced with it is compatible with \"normal\" Erlang code. An LFE evaluator and shell is also included."},{"categoryid":450,"description":"An object prototype based language","firstseen":"2010-05-04T00:54:45.661860","name":"lisaac","packageid":53159},{"categoryid":450,"description":"Open source object-oriented logic programming language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"logtalk","packageid":45553},{"categoryid":450,"description":"A powerful light-weight programming language designed for extending applications","firstseen":"2010-05-04T00:54:45.661860","maintainer":"rafaelmartins@gentoo.org","maintainername":"Rafael G. Martins","name":"lua","packageid":43035},{"categoryid":450,"description":"Just-In-Time Compiler for the Lua programming language","firstseen":"2010-10-13T14:34:03.652821","maintainer":"rafaelmartins@gentoo.org","maintainername":"Rafael G. Martins","name":"luajit","packageid":56384},{"categoryid":450,"description":"Gradually typed embeddable scripting language derived from Lua","firstseen":"2023-07-10T20:09:52.285408","name":"luau","packageid":76328,"summary":"Luau is a fast, small, safe, gradually typed embeddable scripting language derived from Lua. It is designed to be backwards compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a few caveats."},{"categoryid":450,"description":"High-level specification language for equational and logic programming","firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"maude","packageid":45483,"summary":"Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation."},{"categoryid":450,"description":"Mercury is a modern general-purpose logic\/functional programming language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"keri@gentoo.org","maintainername":"Keri Harris","name":"mercury","packageid":52166},{"categoryid":450,"description":"Additional libraries and tools that are not part of the Mercury standard library","firstseen":"2010-05-04T00:54:45.661860","maintainer":"keri@gentoo.org","maintainername":"Keri Harris","name":"mercury-extras","packageid":45099},{"categoryid":450,"description":"Python implementation for microcontrollers","firstseen":"2017-11-26T14:51:39.580532","name":"micropython","packageid":68474,"summary":"The MicroPython project aims to put an implementation of Python 3.x on microcontrollers and small embedded systems. MicroPython implements the entire Python 3.4 syntax (including exceptions, with, yield from, etc., and additionally async\/await keywords from Python 3.5). The following core datatypes are provided: str (including basic Unicode support), bytes, bytearray, tuple, list, dict, set, frozenset, array.array, collections.namedtuple, classes and instances. Builtin modules include sys, time, and struct, etc. Select ports have support for _thread module (multithreading). Note that only a subset of Python 3 functionality is implemented for the data types and modules. MicroPython can execute scripts in textual source form or from precompiled bytecode, in both cases either from an on-device filesystem or \"frozen\" into the MicroPython executable."},{"categoryid":450,"description":"Standard ML optimizing compiler and libraries","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"mlton","packageid":44972},{"categoryid":450,"description":"Donald Knuth's MMIX Assembler and Simulator","firstseen":"2010-05-04T00:54:45.661860","maintainer":"tamiko@gentoo.org","maintainername":"Matthias Maier","name":"mmix","packageid":42549},{"categoryid":450,"description":"A 6model-based VM for NQP and Raku","firstseen":"2013-12-06T14:39:22.081073","maintainer":"patrick@gentoo.org","maintainername":"Patrick Lauer","name":"moarvm","packageid":61673},{"categoryid":450,"description":"Mond is a scripting language for .NET Core","firstseen":"2023-09-18T22:35:16.395454","name":"mond","packageid":76492},{"categoryid":450,"description":"Mono runtime and class libraries, a C# compiler\/interpreter","firstseen":"2010-05-04T00:54:45.661860","maintainer":"dotnet@gentoo.org","maintainername":"Gentoo Dotnet Project","name":"mono","packageid":55663},{"categoryid":450,"description":"Visual Basic Compiler and Runtime","firstseen":"2018-03-26T15:54:53.994731","name":"mono-basic","packageid":69030,"summary":"This package contains the visual basic runtime and compiler, which are used by the mono project, to make Visual Basic .NET projects run under linux. Current compatibility level is Visual Basic 8 \/ .NET 2.0."},{"categoryid":450,"description":"Mutabah's Rust Compiler","firstseen":"2025-01-19T09:08:03.552690","name":"mrustc","packageid":78122,"summary":"A \"simple\" rust compiler written in C++ that is able to bootstrap a \"recent\" rustc."},{"categoryid":450,"description":"An embeddable JavaScript interpreter written in C","firstseen":"2015-06-01T13:37:10.468286","maintainer":"xmw@gentoo.org","maintainername":"Michael Weber","name":"mujs","packageid":63501,"summary":"MuJS is a lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities."},{"categoryid":450,"description":"groovy little assembler","firstseen":"2010-05-04T00:54:45.661860","maintainer":"mr_bones_@gentoo.org","maintainername":"Michael Sterrett","name":"nasm","packageid":51861,"summary":"The Netwide Assembler, NASM, is an 80x86 assembler designed for portability and modularity. It supports a range of object file formats, including Linux and NetBSD\/FreeBSD a.out, ELF, COFF, Microsoft 16-bit OBJ and Win32. It will also output plain binary files. Its syntax is designed to be simple and easy to understand, similar to Intel's but less complex. It supports Pentium, P6, MMX, 3DNow!, SSE and SSE2 opcodes, and has macro capability."},{"categoryid":450,"description":"Neko is a high-level dynamically typed programming language","firstseen":"2021-12-05T05:16:15.438594","name":"neko","packageid":73712,"summary":"Neko is a high-level dynamically typed programming language. It can be used as an embedded scripting language. It has been designed to provide a common runtime for several different languages. Learning and using Neko is very easy. You can easily extend the language with C libraries. You can also write generators from your own language to Neko and then use the Neko Runtime to compile, run, and access existing libraries."},{"categoryid":450,"description":"Statically-typed systems programming language inspired by Lua","firstseen":"2024-01-23T22:23:08.163531","name":"nelua","packageid":77043,"summary":"Nelua (stands for Native Extensible Lua) is a minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code."},{"categoryid":450,"description":"Compiled, garbage-collected systems programming language","firstseen":"2016-07-29T13:39:26.545515","maintainer":"slyfox@gentoo.org","maintainername":"Sergei Trofimovich","name":"nim","packageid":65643,"summary":"Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Nim generates native dependency-free executables, not dependent on a virtual machine, which are small and allow easy redistribution. The Nim compiler and the generated executables support all major platforms like Windows, Linux, BSD and macOS. Nim's memory management is deterministic and customizable with destructors and move semantics, inspired by C++ and Rust. It is well-suited for embedded, hard-realtime systems. Modern concepts like zero-overhead iterators and compile-time evaluation of user-defined functions, in combination with the preference of value-based datatypes allocated on the stack, lead to extremely performant code. Support for various backends: it compiles to C, C++ or JavaScript so that Nim can be used for all backend and frontend needs. Nim is self-contained: the compiler and the standard library are implemented in Nim. Nim has a powerful macro system which allows direct manipulation of the AST, offering nearly unlimited opportunities. Macros cannot change Nim's syntax because there is no need for it — the syntax is flexible enough. Modern type system with local type inference, tuples, generics and sum types. Statements are grouped by indentation but can span multiple lines."},{"categoryid":450,"description":"Interpreter and compiler to be compatible with Arity\/Prolog32","firstseen":"2022-12-04T06:20:59.253628","name":"nprolog","packageid":75641,"summary":"N-Prolog(NPL) is an interpreter and compiler to be compatible with Arity\/Prolog32. N-Prolog is NOT ISO-Prolog. About Arity\/prolog32 see http:\/\/petergabel.info\/ArityProlog32\/ArityProlog32PredList\/"},{"categoryid":450,"description":"Not Quite Perl, a Raku bootstrapping compiler","firstseen":"2011-10-29T14:35:50.825781","maintainer":"patrick@gentoo.org","maintainername":"Patrick Lauer","name":"nqp","packageid":58102},{"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"categoryid":450,"description":"Open source implementation of Object Rexx","firstseen":"2024-01-30T00:52:45.038204","name":"oorexx","packageid":77051,"summary":"Open Object Rexx (ooRexx) is an Open Source project managed by Rexx Language Association (RexxLA) providing a free implementation of Object Rexx. ooRexx is distributed under Common Public License (CPL) v1.0. Object Rexx is an enhancement of classic Rexx; a powerful, full-featured programming language which has a human-oriented syntax."},{"categoryid":450,"description":"The Oil Runtime Compiler, a just-in-time compiler for array operations","firstseen":"2010-05-04T00:54:45.661860","maintainer":"gstreamer@gentoo.org","maintainername":"GStreamer package maintainers","name":"orc","packageid":44174},{"categoryid":450,"description":"Virtual machine designed to compile and execute bytecode for dynamic languages","firstseen":"2010-05-04T00:54:45.661860","maintainer":"perl@gentoo.org","maintainername":"Gentoo Perl Project","name":"parrot","packageid":43760},{"categoryid":450,"description":"pcc portable c compiler","firstseen":"2010-06-04T16:18:37.260033","maintainer":"patrick@gentoo.org","maintainername":"Patrick Lauer","name":"pcc","packageid":55849},{"categoryid":450,"description":"Larry Wall's Practical Extraction and Report Language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"perl@gentoo.org","maintainername":"Gentoo Perl Project","name":"perl","packageid":44582},{"categoryid":450,"description":"The PHP language runtime engine","firstseen":"2010-05-04T00:54:45.661860","maintainer":"php-bugs@gentoo.org","maintainername":"PHP","name":"php","packageid":45708},{"categoryid":450,"description":"Fantasy console for making and playing tiny games and other computer programs","firstseen":"2022-04-10T16:23:24.091043","name":"pico8","packageid":74799,"summary":"PICO-8 is a fantasy console for making, sharing and playing tiny games and other computer programs. When you turn it on, the machine greets you with a shell for typing in Lua programs and provides simple built-in tools for creating sprites, maps and sound. The harsh limitations of PICO-8 are carefully chosen to be fun to work with, encourage small but expressive designs and hopefully to give PICO-8 cartridges their own particular look and feel."},{"categoryid":450,"description":"Poly\/ML is a full implementation of Standard ML","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"polyml","packageid":50289},{"categoryid":450,"description":"A fast, compliant alternative implementation of the Python (3.11) language","firstseen":"2024-10-21T16:27:14.789750","name":"pypy","packageid":77785},{"categoryid":450,"description":"PyPy3.11 executable (build from source)","firstseen":"2025-02-07T19:38:09.561569","name":"pypy3-exe","packageid":78156},{"categoryid":450,"description":"PyPy3.11 executable (pre-built version)","firstseen":"2025-02-07T19:38:09.561569","name":"pypy3-exe-bin","packageid":78157},{"categoryid":450,"description":"Freethreading (no-GIL) version of Python programming language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"categoryid":450,"description":"Python script wrapper","firstseen":"2013-10-31T14:37:37.964963","maintainer":"python@gentoo.org","maintainername":"Python","name":"python-exec","packageid":61544},{"categoryid":450,"description":"Configuration file for dev-lang\/python-exec","firstseen":"2021-01-19T15:10:23.892570","name":"python-exec-conf","packageid":72401},{"categoryid":450,"description":"Qore, the embeddable multithreaded scripting language","firstseen":"2023-09-24T05:32:14.786407","name":"qore","packageid":76510,"summary":"The Qore programming language is a powerful, thread-capable, embeddable weakly-typed language with optional strong typing and procedural and object-oriented features designed for anything from quick scripting to complex multithreaded, network-aware application development to embedded application scripting. Qore was initially designed to facilitate the rapid implementation of sophisticated interfaces in embedded code in an enterprise environment, and has since grown into a general-purpose language as well."},{"categoryid":450,"description":"Extended Prolog supporting quantifiers, object-variables and substitutions","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"qu-prolog","packageid":54788},{"categoryid":450,"description":"A compiler for the Raku programming language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"patrick@gentoo.org","maintainername":"Patrick Lauer","name":"rakudo","packageid":53483},{"categoryid":450,"description":"Pythonic JavaScript that doesn't suck","firstseen":"2023-10-19T22:26:48.971379","name":"rapydscript-ng","packageid":76598},{"categoryid":450,"description":"Portable Rexx interpreter","firstseen":"2024-05-08T20:59:16.262359","name":"regina-rexx","packageid":77520,"summary":"Regina is a Rexx interpreter. Rexx is a programming language that was designed to be easy to use for inexperienced programmers yet powerful enough for experienced users. It is also a language ideally suited as a macro language for other applications."},{"categoryid":450,"description":"An object-oriented scripting language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ruby@gentoo.org","maintainername":"Gentoo Ruby Project","name":"ruby","packageid":46620},{"categoryid":450,"description":"Systems programming language originally developed by Mozilla","firstseen":"2014-05-19T13:37:53.484814","maintainer":"rust@gentoo.org","maintainername":"Rust Project","name":"rust","packageid":62219},{"categoryid":450,"description":"Systems programming language from Mozilla","firstseen":"2014-10-18T13:38:34.494439","maintainer":"rust@gentoo.org","maintainername":"Rust Project","name":"rust-bin","packageid":62697},{"categoryid":450,"description":"Common files shared between multiple slots of Rust","firstseen":"2024-11-09T06:51:51.730402","name":"rust-common","packageid":77801},{"categoryid":450,"description":"A libsass command line driver","firstseen":"2017-11-07T08:58:19.766697","name":"sassc","packageid":68444,"summary":"SassC is a wrapper around libsass (http:\/\/github.com\/sass\/libsass) used to generate a useful command-line application that can be installed and packaged for several operating systems."},{"categoryid":450,"description":"The Scala Programming Language","firstseen":"2015-05-19T13:37:28.900029","maintainer":"monsieurp@gentoo.org","maintainername":"Java","name":"scala-bin","packageid":63460},{"categoryid":450,"description":"Functional, content-addressable programming language","firstseen":"2024-08-03T15:29:03.473860","name":"scrapscript","packageid":77673,"summary":"Scrapscript solves the software sharability problem. Modern software breaks at boundaries. APIs diverge, packages crumble, configs ossify, serialization corrupts, git tangles, dependencies break, documentation dies, vulnerabilities surface, etc. To make software safe and sharable, scrapscript combines existing wisdom in new ways: all expressions are content-addressible \"scraps\", all programs are data, all programs are \"platformed\"."},{"categoryid":450,"description":"Standard ML of New Jersey compiler and libraries","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"smlnj","packageid":47816,"summary":"Standard ML of New Jersey (abbreviated SML\/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML\/NJ is free, open source software."},{"categoryid":450,"description":"Phil Budne's port of Macro SNOBOL4 in C, for modern machines","firstseen":"2010-05-04T00:54:45.661860","maintainer":"robbat2@gentoo.org","maintainername":"Robin H. Johnson","name":"snobol","packageid":47490},{"categoryid":450,"description":"Datalog compiler, synthesizes C++ program from logic specification","firstseen":"2023-11-30T02:03:02.530547","name":"souffle","packageid":76756,"summary":"Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification."},{"categoryid":450,"description":"Software development for high-reliability applications","firstseen":"2017-10-21T19:07:57.494219","name":"spark","packageid":68098,"summary":"SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements."},{"categoryid":450,"description":"Mozilla's JavaScript engine written in C and C++","firstseen":"2010-05-04T00:54:45.661860","maintainer":"mozilla@gentoo.org","maintainername":"Gentoo Mozilla Team","name":"spidermonkey","packageid":46353},{"categoryid":450,"description":"A interpreted language mainly used for games","firstseen":"2010-05-04T00:54:45.661860","name":"squirrel","packageid":47700},{"categoryid":450,"description":"Versatile implementation of the Prolog programming language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"swi-prolog","packageid":48149},{"categoryid":450,"description":"Simplified Wrapper and Interface Generator","firstseen":"2010-05-04T00:54:45.661860","maintainer":"pchrist@gentoo.org","maintainername":"Panagiotis Christopoulos","name":"swig","packageid":46816,"summary":"SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of languages including common scripting languages such as Perl, Python, Tcl\/Tk and Ruby. The list of supported languages also includes non-scripting languages such as C#, Common Lisp (Allegro CL), Java, Modula-3 and OCAML. Also several interpreted and compiled Scheme implementations (Chicken, Guile, MzScheme) are supported."},{"categoryid":450,"description":"A very small C compiler for ix86\/amd64","firstseen":"2010-05-04T00:54:45.661860","maintainer":"wizardedit@gentoo.org","maintainername":"Austin English","name":"tcc","packageid":41821},{"categoryid":450,"description":"Tool Command Language","firstseen":"2010-05-04T00:54:45.661860","maintainer":"tcltk@gentoo.org","name":"tcl","packageid":50646},{"categoryid":450,"description":"Higher-order logic programming language Lambda Prolog","firstseen":"2012-12-10T14:36:29.392811","maintainer":"gienah@gentoo.org","maintainername":"Mark Wright","name":"teyjus","packageid":60116,"summary":"The Teyjus system is an efficient implementation of the higher-order logic programming language Lambda Prolog. The main strength of Lambda Prolog, a language developed by Dale Miller and Gopalan Nadathur, is the support it offers for what is known as lambda tree syntax, a new and effective way to view the structure of complex syntactic objects such as types, formulas, proofs and programs. Lambda Prolog provides this support by using lambda terms as data representation devices and by including primitives for probing such terms in logically meaningful ways. The new features present in the language raise several implementation challenges that have been addressed in collaborative work between Nadathur and his students and colleagues. The name \"Teyjus\" actually stands both for a project and for a class of compiler and virtual machine based realizations of Lambda Prolog arising from the research carried out within this project. Underlying the most recent version of the Teyjus system is a new and significantly improved virtual machine that has been designed by Xiaochu Qi as part of her doctoral dissertation work at the University of Minnesota. This virtual machine extensively exploits a special form of higher-order unification known as pattern unification."},{"categoryid":450,"description":"Tk Widget Set","firstseen":"2010-05-04T00:54:45.661860","maintainer":"tcltk@gentoo.org","maintainername":"Gentoo Tcltk Project","name":"tk","packageid":54735},{"categoryid":450,"description":"tuProlog is a light-weight Prolog for Internet applications and infrastructures","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"tuprolog","packageid":50928},{"categoryid":450,"description":"Superset of JavaScript with optional static typing, classes and interfaces","firstseen":"2021-06-04T06:26:05.263619","name":"typescript","packageid":72938,"summary":"TypeScript is a language for application-scale JavaScript. TypeScript adds optional types to JavaScript that support tools for large-scale JavaScript applications for any browser, for any host, on any OS. TypeScript compiles to readable, standards-based JavaScript"},{"categoryid":450,"description":"UASM is a free MASM-compatible assembler","firstseen":"2024-04-05T15:36:41.862041","name":"uasm","packageid":77398},{"categoryid":450,"description":"Compiler for the GObject type system","firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnome@gentoo.org","maintainername":"Gentoo GNOME Desktop","name":"vala","packageid":43264},{"categoryid":450,"description":"Whitespace, an esoteric programming language","firstseen":"2013-08-09T13:36:34.857277","maintainer":"haskell@gentoo.org","maintainername":"Gentoo Haskell","name":"whitespace","packageid":61093},{"categoryid":450,"description":"XSB is a logic programming and deductive database system","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"xsb","packageid":43752},{"categoryid":450,"description":"YAP is a high-performance Prolog compiler","firstseen":"2010-05-04T00:54:45.661860","maintainer":"prolog@gentoo.org","maintainername":"Prolog","name":"yap","packageid":52329},{"categoryid":450,"description":"An assembler for x86 and x86_64 instruction sets","firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"yasm","packageid":53668},{"categoryid":450,"description":"A robust, optimal, and maintainable programming language","firstseen":"2019-08-02T08:54:16.567799","name":"zig","packageid":70022},{"categoryid":450,"description":"A robust, optimal, and maintainable programming language","firstseen":"2022-08-22T09:45:59.690279","name":"zig-bin","packageid":75359}]}