Result for 0874BC10394BA070C70E4B7D98C20D1DD659117E

Search result
Graph view
Children (1455)

Query result

Key Value
FileSize1154948
MD53184282C1D06AC84F152F5F8F136B881
PackageDescriptionATS 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.
PackageMaintainerMatthew Danish <mrd@debian.org>
PackageNameats2-lang
PackageSectiondevel
PackageVersion0.3.11-2
SHA-10874BC10394BA070C70E4B7D98C20D1DD659117E
SHA-2567C3172EC65A307F8E5DB71FCB5D8C3E13AC79736BB0834C61F1C9892C1C9F9CF
hashlookup:children-total1455
hashlookup:trust50

Network graph view

Children (Total: 1455)

The searched file hash includes 1455 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc2js/ATS2-0.3.2/SATS/ML/array0.sats
FileSize407
MD57B27C945432E97FB2CABAB62E9B4ADCF
SHA-1001A6344AF8598BF4CD401554FD097926C8F5561
SHA-2562449002B2036420DBB110FD05182447E3B1678FCEA3A597698B9909F3247255A
SSDEEP12:6G2DlKvmtKb9WRxexOAuflPqGoCNlAeMdWg:MlKvR9+uOnfY8XMd/
TLSHT122E0683289A00E8500301173059AFADDA78FE43A52420667F18CFEB7D10EECC2257746
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc/SATS/funarray.sats
FileSize1304
MD5992F3D9AD6FE4BB01ECD0FFF58A52000
SHA-10021D2FE4D03BA9448F7DD7FA910AF97A5980869
SHA-256FCD98497CD43533E93453C9A29A52F755710C0A4F75B251F258E969BFEB07EDB
SSDEEP24:PwcSCMBUinSrfrVZ1LfYZ1PAB+0fmC1wf/0nhonnudzg:rSCQ5nSXVZ10Z1PgsC1+0hon0g
TLSHT1D221D83017822F3D5B75623F484398D27263A21951813AD3A21BFEB5B30DF35FA845E5
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize_dfs.dats
FileSize1150
MD571328900B21E71E6C3E781FB959D5433
SHA-10026E45681FE3358330649F12D5DC7E3209A309C
SHA-2566C19EFF038C9C5D4FA8EA10BB235F30BF39955B8A9D24DBC7723CA70AE3C675A
SSDEEP24:1nYOR7waKfnP6ePsPEWXnPuhC6aPCmy6dbO7FnznPqTZ8AFQB59RBW9/4:V5YyeUcWXMTa6mP67FDiN8AyBvR89A
TLSHT18B21C03375400C0168BF40BFD82BAFD66741E2AB58051E5FF419F199940EA14B274BC9
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc/DATS/slistref.dats
FileSize1531
MD5EE35205D0F7570650E1D87CE7E4FBA8F
SHA-1003481DF88338067E8DEA63E90D12985AAFE343B
SHA-25631B4213914CB311966B3808CDE0FD6004F3DA0102AADB1BF832237D94B345C7E
SSDEEP24:G8wujAGye2VzT9FuQVSqF9FGVVPPT0VqxFjA/IroYVfhN7PdwFolcyVfhH70D7Fd:82Azeq9UqF9SPT0VqxFAIMwRwWzC7vf
TLSHT1FC31AF6756600C3A11F98427FC42E1EE8F54E11648552D8396AF7551F20CFC9E1A13E0
Key Value
FileName./usr/lib/ats2-postiats-0.3.11/prelude/DATS/float.dats
FileSize6242
MD503DAFC7F21D65AF1BCC66A1696B59763
SHA-1005FD2E941BEB99C11791E9FF77C6102CD819983
SHA-256CAEA27E39B05C3240D5717FAFB2F069F3182A5EC524E1B4B73CE3560D5F7F571
SSDEEP96:OB0s85Z1XZzZ8bEj9cWisLKMZiQLbHFLCHihr:FsIXFKYROsLKMZPfl+Hihr
TLSHT1EED15A2E30A31D621C6D1E67ADC761EE98A105E55FACEC1BF4AC3531EB2C9214C606FD
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc2pl/ATS2-0.3.2/TEST/Makefile
FileSize1035
MD55398E3EEABF94ED57F2FC3BE4ABF5639
SHA-1006018E7DD8F2A9C19F69604F3A3DB150AD39146
SHA-2569EE9F44E92B844DC4EF019F99A3D8844BD1CA50718EAB7E28C91491FB5E75104
SSDEEP24:mF3R4vhHzHEiH/aNn9OJeNd8paNgz6BJe2uKNhifJBalWKlMlUIOY7hI04:gB4vhHzE0C7NdSaQ6NLKLaLCRhIn
TLSHT156115EAD834367348B962F33435673B98518D42B3D43282AD75C5C0F3A06FDCB88A529
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/atscntrb/atscntrb-hx-libpcre/SATS/pcre_ML.sats
FileSize2793
MD5335E91AC24C44B1D3F5F7ECD9C733B11
SHA-100A04FABFD1B929219BE6F83B2FF89CF23B37B28
SHA-2560A1C20070524B81C7893CCC77A7E174335ECA5CDD1573A3490CFE33E85083E25
SSDEEP48:pvSa0tSiixtuqdA5F3elxu79uWtTNtY0Mttajmgm0Vi:p0AiPqGLeS79uj6mT7
TLSHT16251017754114EC00EF593B354885AD4B9D7897621F4A2E2E2ED71ECBA2E709F1F4C21
Key Value
FileName./usr/share/doc/ats2-lang/VERSION
FileSize7
MD534538A355CCAC0649D329748AC9A9AF3
SHA-100DE71768CC4120D40E08AF9B204469B1FA1EF2A
SHA-25619754AEFD27E92DE8C47211FBC5BB30D95E85A61128529C448E75C47E7C0DB8D
SSDEEP3:b2:b2
TLSH
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc2js/HTML/Canvas/CATS/canvas2d_cats.js
FileSize5195
MD57D85B808E3280F64D63B83707AC4002F
SHA-10107832F415D52AEF48E81BCCBDF31B88D078539
SHA-256B21344E211E5FB3114263C35B7CBBAB4E870E7F428BD204BB9F33CFB2C5B2EE8
SSDEEP96:v2GfNEGfNnOjyL1y1Dy6y/JyNyc8Lq9WQ8ff:UqJff
TLSHT18CB12966B4E97E744C7A107605EB02EED26BC9240239EE85B417B3B85F3C70EC162959
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_commarg.sats
FileSize1230
MD58F824C7ACB82C1FA3C3B202BB3313212
SHA-1011A2AE346E7F9059F7750935D078258888319EE
SHA-256E764FD3390B32937871205EDAD59E9CCB802E769A0F381BF20C35603B8BE3BDB
SSDEEP24:No8VEhEA7TovrX/qZPXq6+q5hHzYCye3bOr2zEFw0lXFw2iLvYpw5:ckb/qh7DUCyezO/ivw6
TLSHT1AF21437624101E4606F2A07F98C577C6BE9760122274A4A7D00EBAB4D71EF26F261F64





metalookup is a service from miwakeru.com