Result for 20B284286E0BD898ECDB4856A1EC63CC372D3851

Search result
Graph view
Children (1469)

Query result

Key Value
FileSize1070212
MD5DEDF50BDD5A74BCF936E1B3D2E7703B7
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.4.0-1
SHA-120B284286E0BD898ECDB4856A1EC63CC372D3851
SHA-2567191ED3A4445DFC8FD3F0EBF4DE8055B9854818AEA73460E4B06BD3BBBC7A8D1
hashlookup:children-total1469
hashlookup:trust50

Network graph view

Children (Total: 1469)

The searched file hash includes 1469 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.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/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
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc2scm/ATS2-0.3.2/DATS/ML/option0.dats
FileSize708
MD53F747E4BD9F52B4CD7BFAE40C73DDBED
SHA-1014F611DBD196FB51BF75E1A4AAA57E3CED8E98A
SHA-2569E6703B03E9FA5739C81120A64414DF1A7A9CEB8B07D7DBD73E6E8F99AADCB6D
SSDEEP12:HG2DlKt8lmtKb9WRxex9xPVh4flPqGDfBgbffC/ffCchyfwAVjh82dyh9:TlKcR9+uTPVh4fzfubffoffthyfwcjhm
TLSHT1C301283285A04D41407121730987F9E5BA9BE537620154A7F19CBBF6F50EFCC95D314E
Key Value
FileName./usr/lib/ats2-postiats-0.3.13/contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC/datetime_cats.py
FileSize1353
MD56E8A73FF5519BF634FB9E19E5FFEFDF7
SHA-10167717676AD710ADBF54C4FFBBF8642659E659F
SHA-2567886D56E831D6FBF98C005C55DFB9081A7680394BA5508377792F5113AFD36ED
SSDEEP24:+S9zkWO8aKRSlUKHQRSX/gGQKX7pRXkPfS2eKgoURe+plRS7bR374:+S9zkWOsSlUKHKSvhrvUnS2eKgoURe+n
TLSHT11B2160DB6083B4A82B932B35001B74886B9C871F7EA77841B64C5A677C34D6AF46C0D8





metalookup is a service from miwakeru.com