Key | Value |
---|---|
FileName | ./usr/lib/ats2-postiats-0.3.13/libats/SATS/SHARE/linralist.hats |
FileSize | 3720 |
MD5 | F6364FBBDC47D3CE0A11F2C9BE5442A3 |
RDS:package_id | 182052 |
SHA-1 | 085627B18CF31AEDC48890AC993FE14A44804421 |
SHA-256 | CBA5915C1FE6F6765B2A214F45AECF356BE22B641589E80186A6CE2A537F19BD |
SSDEEP | 48:OB0vSFncblH815u05WljjTP60DTwOwJTwd7cSgA413ECJywkmFaRJSoH:OB0p8140olLGEmLZ1nYH |
TLSH | T17971C02583512D3B43F5146B0842AFDB7643D209E1809D86F18DB2AFE70EFE5E1E46E6 |
insert-timestamp | 1679422736.169459 |
source | RDS.db |
hashlookup:parent-total | 69 |
hashlookup:trust | 100 |
The searched file hash is included in 69 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 546878 |
MD5 | 6F3714820067A9567F95A6031A4B00EE |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.1.1-1 |
SHA-1 | 000D5F6DEB5C803C70E6E9A8D83524E8303212BB |
SHA-256 | D23FC82067C6F4310E7B147722A0D83FF4E9388510CB183E5EB6BC5BB4B559AF |
Key | Value |
---|---|
FileSize | 664088 |
MD5 | F83BDA26944EC416E49FE504C8B0348B |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.1.1-1 |
SHA-1 | 08527815C1B52ACD979979FF6F7B248B1406E9C5 |
SHA-256 | EBBD6DB19FD712E5FB0EC15AD75E8590776A0D6301B7F498DCF89094CEDB7139 |
Key | Value |
---|---|
FileSize | 1154948 |
MD5 | 3184282C1D06AC84F152F5F8F136B881 |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Matthew Danish <mrd@debian.org> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.3.11-2 |
SHA-1 | 0874BC10394BA070C70E4B7D98C20D1DD659117E |
SHA-256 | 7C3172EC65A307F8E5DB71FCB5D8C3E13AC79736BB0834C61F1C9892C1C9F9CF |
Key | Value |
---|---|
FileSize | 771042 |
MD5 | D1C7790FA3C2119E4BD26D361278782B |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language. |
PackageMaintainer | Matthew Danish <mrd@debian.org> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.2.9-1+b1 |
SHA-1 | 09AB05EE18E8CC78C02B04A13004F4980D58336E |
SHA-256 | 3B9DBB7E72D1A2F4D2BAC9DCFA25B199D5502FF281058FD629C580460B23835D |
Key | Value |
---|---|
FileSize | 1103400 |
MD5 | CA64F373030F3FB16AD5AC5E3D5889D2 |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.3.11-2 |
SHA-1 | 0B0CDBD82430699727CB7AE7BDA75F54F1203FDA |
SHA-256 | ED498BF49F1744FED65910A28C8EAED60FF3F67EB581B3B21EA858FA9844B17F |
Key | Value |
---|---|
FileSize | 610456 |
MD5 | C0C83AF680499D26ECDA331A1CE5A0CF |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc, as well as the emacs mode for the language. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.2.1-1 |
SHA-1 | 0B83AEB6C91BCED15332B14698748809F7423CAA |
SHA-256 | 9058F2F8B54A262299CBDC21C9089A48FFE5978E11415A781E144FEA601FA01B |
Key | Value |
---|---|
FileSize | 559526 |
MD5 | AABAEA471DC019A6E8073C5D4BA18D69 |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Matthew Danish <mrd@debian.org> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.1.3-1 |
SHA-1 | 124DF91E0624C2E789080A54ED1A8B07A77B1DC7 |
SHA-256 | 44576A2C8BDE14D79343836B1B98356468A9BD07BEE85DE1E1740D362DD07A0D |
Key | Value |
---|---|
FileSize | 552260 |
MD5 | 9E544B82FDEC5DD8062F7B59F50C9443 |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Matthew Danish <mrd@debian.org> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.1.3-1 |
SHA-1 | 1F82400AA488A94DC8148D3B057C7AF365FB807A |
SHA-256 | 0A0545A5B0F087CC51025512D60FAD98EB4A78DAA6B45758A4787C9308E639C8 |
Key | Value |
---|---|
FileSize | 1070212 |
MD5 | DEDF50BDD5A74BCF936E1B3D2E7703B7 |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Matthew Danish <mrd@debian.org> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.4.0-1 |
SHA-1 | 20B284286E0BD898ECDB4856A1EC63CC372D3851 |
SHA-256 | 7191ED3A4445DFC8FD3F0EBF4DE8055B9854818AEA73460E4B06BD3BBBC7A8D1 |
Key | Value |
---|---|
FileSize | 1175404 |
MD5 | AD347CC0F840DE226E2A48D1A285D9DB |
PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
PackageMaintainer | Matthew Danish <mrd@debian.org> |
PackageName | ats2-lang |
PackageSection | devel |
PackageVersion | 0.4.0-1 |
SHA-1 | 24580CE8C57F5DA37332218CF0F7B0F2643DA30E |
SHA-256 | 2F69E414299B873348F61BC4ABB25DA17640D2E0420BD850B6B5A8AB57150798 |