OpenScientificCodeRegistry/Database
Open Scientific Code Registry (OSCR): the authors' scripts The code published by the authors of open-access neuroscience papers, as found and verified by Open Scientific Code Registry (OSCR). Each file is here exactly as it is at the source, at the verified commit, under the license of its repository. 421,275 unique files (3,782 MB of text) from 8,849 repositories, in 24 Parquet block(s). Only files whose repository's license allows redistribution, confirmed by the repository's… See the full description on the dataset page: https://huggingface.co/datasets/OpenScientificCodeRegistry/Database.
05.6k
1{2 "format": "oscr-script-manifest/1",3 "repository": "github.com/fpom/snakes",4 "url": "https://github.com/fpom/snakes",5 "host": "github.com",6 "commit": "2291c6e627c85fc2932a83cc2eb9b712495b5d7a",7 "license": "LGPL-3.0",8 "license_confirmed_by": "license file LICENCE.md",9 "redistribution": "yes",10 "files": [11 {12 "path": "LICENCE.md",13 "sha256": "1e950a32358912876fcd3ea0bdd975c9ea8a7822eddc3cda662817c3abe99b1c",14 "language": "License",15 "lines": 157,16 "truncated": false,17 "block": 14,18 "row": 1720519 },20 {21 "path": "README.md",22 "sha256": "f3755596bd28357a6c0736c9ff88be8cb4c28b4d035dd5e5b711a736b0b8d5cf",23 "language": "Text",24 "lines": 54,25 "truncated": false,26 "block": 16,27 "row": 716628 },29 {30 "path": "doc/examples/abcd/ns/dolev_yao.py",31 "sha256": "eb9f37d6f7348cb44983433a1db77899a554df65cba5410dbb3ad456ae3a2a27",32 "language": "Python",33 "lines": 348,34 "truncated": false,35 "block": 15,36 "row": 2217337 },38 {39 "path": "doc/examples/abcd/ns/ns.py",40 "sha256": "95335b2047f80316e193bbff45956acc9c2716cdf4460b0fbc778a61f6a723a4",41 "language": "Python",42 "lines": 22,43 "truncated": false,44 "block": 15,45 "row": 712046 },47 {48 "path": "doc/examples/abcd/railroad.py",49 "sha256": "f9e07347fb7534e73eb56eb9c94d81aec5cc289109b06936b2d5778ce31d7382",50 "language": "Python",51 "lines": 18,52 "truncated": false,53 "block": 15,54 "row": 682055 },56 {57 "path": "mklang.py",58 "sha256": "db3421a716b6993cf90bb5366ca8e189454809b6f9d51471728869dff3110fa5",59 "language": "Python",60 "lines": 13,61 "truncated": false,62 "block": 15,63 "row": 741564 },65 {66 "path": "setup.py",67 "sha256": "e750dc49dffb2fdcc36580d2f15e5d8cce9fca0714c518c3323d3b371f3418d9",68 "language": "Python",69 "lines": 83,70 "truncated": false,71 "block": 15,72 "row": 1405573 },74 {75 "path": "snakes/__init__.py",76 "sha256": "61e34005bcfac5dfee486de8e820819181d4c67226dff858dae215358412a4ff",77 "language": "Python",78 "lines": 56,79 "truncated": false,80 "block": 15,81 "row": 980982 },83 {84 "path": "snakes/compat.py",85 "sha256": "fe340bf5237d179063466ce41a4e6d1c0cf3d0ef1cf605129455f99b81070fd1",86 "language": "Python",87 "lines": 49,88 "truncated": false,89 "block": 15,90 "row": 739591 },92 {93 "path": "snakes/data.py",94 "sha256": "6dd132469a0ffb5a1c13b28c6db850d29b4b677c298d3c5ef90ec82c2ce1f237",95 "language": "Python",96 "lines": 1055,97 "truncated": false,98 "block": 16,99 "row": 485100 },101 {102 "path": "snakes/hashables.py",103 "sha256": "cbe01353abd6faacaed72d676742d1d6779bfc88527797f90b1d41be050b5e06",104 "language": "Python",105 "lines": 386,106 "truncated": false,107 "block": 15,108 "row": 22790109 },110 {111 "path": "snakes/lang/__init__.py",112 "sha256": "4be8c1f0bac637060513e804acbb1ffeba49b9be83b5c9519506599a3465f4fb",113 "language": "Python",114 "lines": 205,115 "truncated": false,116 "block": 15,117 "row": 18811118 },119 {120 "path": "snakes/lang/abcd/asdl.py",121 "sha256": "a683af6724d3dd162c77de2c0f716f2524b27280102a2257982ab782c095e797",122 "language": "Python",123 "lines": 1049,124 "truncated": false,125 "block": 16,126 "row": 466127 },128 {129 "path": "snakes/lang/abcd/parser.py",130 "sha256": "2ecb24449c0fa385c77db85697901426e0d200014a89c23e893076d461144462",131 "language": "Python",132 "lines": 652,133 "truncated": false,134 "block": 16,135 "row": 785136 },137 {138 "path": "snakes/lang/abcd/pgen.py",139 "sha256": "a9a2f1b4240b1effba898e2905dbcc33e49e49d72d614c9bc968ba28cde6d936",140 "language": "Python",141 "lines": 17070,142 "truncated": true,143 "block": 16,144 "row": 1820145 },146 {147 "path": "snakes/lang/asdl.py",148 "sha256": "ccdfc222e8950a2e7a17e843d28eb635443679f10895bff22ec30eeeb0c46837",149 "language": "Python",150 "lines": 300,151 "truncated": false,152 "block": 15,153 "row": 21694154 },155 {156 "path": "snakes/lang/astjy25.py",157 "sha256": "fe328dc8073798a99a3d351097994a276c908501052ac5ba5ec0b5ac8ef68b66",158 "language": "Python",159 "lines": 275,160 "truncated": false,161 "block": 15,162 "row": 21944163 },164 {165 "path": "snakes/lang/astpy25.py",166 "sha256": "3b284f767f300b1bd33c7a95c6de1c0316be86bce39d79709ca5cfd6802609f8",167 "language": "Python",168 "lines": 303,169 "truncated": false,170 "block": 15,171 "row": 22793172 },173 {174 "path": "snakes/lang/astpypy.py",175 "sha256": "57377e009be2dc52c22ece3e71bc90fa6bf3969db17e25f8f3887edbf2d49cc0",176 "language": "Python",177 "lines": 280,178 "truncated": false,179 "block": 15,180 "row": 21993181 },182 {183 "path": "snakes/lang/ctlstar/asdl.py",184 "sha256": "482d01e9f7c83423ab60cca793cbb917bff20d0569d683d5277646a8eb8d437c",185 "language": "Python",186 "lines": 986,187 "truncated": false,188 "block": 16,189 "row": 269190 },191 {192 "path": "snakes/lang/ctlstar/parser.py",193 "sha256": "943e7f3ec4abb6747011b43673ce20a0edaed379d7a1655edb77323c6a7cf587",194 "language": "Python",195 "lines": 492,196 "truncated": false,197 "block": 16,198 "row": 99199 },200 {201 "path": "snakes/lang/ctlstar/pgen.py",202 "sha256": "1033a1173edf5d4388170801ff0830bce4c4f9b735e8f3c58b34d6c6b2cfd7b6",203 "language": "Python",204 "lines": 17073,205 "truncated": true,206 "block": 16,207 "row": 1801208 },209 {210 "path": "snakes/lang/pgen.py",211 "sha256": "06cc89e3115678b58c55684fe97a0fe48fe1be3091b083c745c78cf0345f9989",212 "language": "Python",213 "lines": 1234,214 "truncated": false,215 "block": 16,216 "row": 1159217 },218 {219 "path": "snakes/lang/pylib/asdl.py",220 "sha256": "db719572b48b8a040c1cb2edcd238d807ec18582b283a384aff2a697d492f565",221 "language": "Python",222 "lines": 438,223 "truncated": false,224 "block": 15,225 "row": 22657226 },227 {228 "path": "snakes/lang/pylib/spark.py",229 "sha256": "739587e378a25118ae6bb87545f052b87f7b63cbdb63234aef5fab30b5490d78",230 "language": "Python",231 "lines": 836,232 "truncated": false,233 "block": 16,234 "row": 73235 },236 {237 "path": "snakes/lang/pylib/unparse.py",238 "sha256": "89c600e474321ab5884f09bed076b2fc37b92bdf5f64f9c5841f7f57fe45d24a",239 "language": "Python",240 "lines": 524,241 "truncated": false,242 "block": 15,243 "row": 23596244 },245 {246 "path": "snakes/lang/python/asdl.py",247 "sha256": "f6c7802677fa899c9e1bdac256f39f08f74b314d905a832ddf903e1509a4a41e",248 "language": "Python",249 "lines": 755,250 "truncated": false,251 "block": 15,252 "row": 25488253 },254 {255 "path": "snakes/lang/python/parser.py",256 "sha256": "247ec342823cdb658b27a9258304847a74b2a4b60cbf45de51fc94816e7d7d53",257 "language": "Python",258 "lines": 1897,259 "truncated": false,260 "block": 16,261 "row": 1644262 },263 {264 "path": "snakes/lang/python/pgen.py",265 "sha256": "b6fc6d6d72c42d92553943dce7d614eea4b903114d3434b625f3b53994cbd110",266 "language": "Python",267 "lines": 17059,268 "truncated": true,269 "block": 16,270 "row": 1822271 },272 {273 "path": "snakes/lang/unparse.py",274 "sha256": "fddc6e66dc672e6b93bec61c114dc437b7fc8c10951791ff7b1083466d7e371a",275 "language": "Python",276 "lines": 534,277 "truncated": false,278 "block": 15,279 "row": 23672280 },281 {282 "path": "snakes/nets.py",283 "sha256": "7fa1c766c69842735903c1e4b23e4940cbc7f7ddc8c51eeec553966dacc932c0",284 "language": "Python",285 "lines": 4627,286 "truncated": false,287 "block": 16,288 "row": 1780289 },290 {291 "path": "snakes/plugins/__init__.py",292 "sha256": "531d12764ef8e1f2f7b4a5bbbd239c7d899203d78f0e7755525e9951110052b0",293 "language": "Python",294 "lines": 216,295 "truncated": false,296 "block": 15,297 "row": 20179298 },299 {300 "path": "snakes/plugins/bound.py",301 "sha256": "653929f352ada236f9810d81596f2f0e126e8a48f226e46b40295550bb8e8169",302 "language": "Python",303 "lines": 163,304 "truncated": false,305 "block": 15,306 "row": 18117307 },308 {309 "path": "snakes/plugins/clusters.py",310 "sha256": "1873c5fa63cf5a1bf5411d497079d82fa53d994275001354ce4b5d2f9dc1889a",311 "language": "Python",312 "lines": 414,313 "truncated": false,314 "block": 15,315 "row": 23949316 },317 {318 "path": "snakes/plugins/gv.py",319 "sha256": "f9d366733655c4b793ef8a5ea3a79ba7d696d02fcdd7af75796a62c16195900d",320 "language": "Python",321 "lines": 381,322 "truncated": false,323 "block": 15,324 "row": 24469325 },326 {327 "path": "snakes/plugins/hello.py",328 "sha256": "a18fd594ae77c238f1acf35418d51e9c61c0cae222b37c0a04d5993be9c3325d",329 "language": "Python",330 "lines": 30,331 "truncated": false,332 "block": 15,333 "row": 8301334 },335 {336 "path": "snakes/plugins/labels.py",337 "sha256": "b88d20ef4e11ca1c373fc8eef6dc3b74839fb992a2df186c904f0d566a5f92c2",338 "language": "Python",339 "lines": 296,340 "truncated": false,341 "block": 15,342 "row": 22354343 },344 {345 "path": "snakes/plugins/let.py",346 "sha256": "43229620c2100981a75859484322bd65813e31c084fdc7772331bd47594bb5b2",347 "language": "Python",348 "lines": 99,349 "truncated": false,350 "block": 15,351 "row": 14215352 },353 {354 "path": "snakes/plugins/modules.py",355 "sha256": "adb0a3de198132d7fb38f2f72e65762c632206f8b9e51d837d96f833eff7b8a6",356 "language": "Python",357 "lines": 108,358 "truncated": false,359 "block": 15,360 "row": 16496361 },362 {363 "path": "snakes/plugins/ops.py",364 "sha256": "303d7dd4f5389ba3592c7a8c677e3e258362fe41c879003ce5462c00e12cb6dc",365 "language": "Python",366 "lines": 295,367 "truncated": false,368 "block": 15,369 "row": 22565370 },371 {372 "path": "snakes/plugins/pids.py",373 "sha256": "17818f305280b7db6ee62034c95139eae60906b9332713ad18ed2dccdf450208",374 "language": "Python",375 "lines": 335,376 "truncated": false,377 "block": 15,378 "row": 22379379 },380 {381 "path": "snakes/plugins/pos.py",382 "sha256": "891ac5a95e4cc8b245b65e9c3207a36a6b0763651fdf0fd8a8e684e71deb5844",383 "language": "Python",384 "lines": 396,385 "truncated": false,386 "block": 15,387 "row": 23366388 },389 {390 "path": "snakes/plugins/query.py",391 "sha256": "d2f3ddff1f8240eafc1b7ad89950bfa4da18a1f70ae55081bb8b192471dc3247",392 "language": "Python",393 "lines": 281,394 "truncated": false,395 "block": 15,396 "row": 21512397 },398 {399 "path": "snakes/plugins/status.py",400 "sha256": "41eb4fb5d13a82b4e41ff2b02526700161f162851e88c521b99b3405a4f86a85",401 "language": "Python",402 "lines": 722,403 "truncated": false,404 "block": 15,405 "row": 25832406 },407 {408 "path": "snakes/plugins/synchro.py",409 "sha256": "db08b80c513cbc4bd060183211c2d92d8236c54f644a2bd89b7c5165e08631c0",410 "language": "Python",411 "lines": 923,412 "truncated": false,413 "block": 16,414 "row": 849415 },416 {417 "path": "snakes/pnml.py",418 "sha256": "8d346b8c0d4f1ac9faf0fee1eb7b0ac972494b4017f6e4fc53233516651128a5",419 "language": "Python",420 "lines": 948,421 "truncated": false,422 "block": 16,423 "row": 412424 },425 {426 "path": "snakes/typing.py",427 "sha256": "5b2d3d53d86541d4c57db516f1084a315cba3407315ddf8ac0edda69f8989edf",428 "language": "Python",429 "lines": 1710,430 "truncated": false,431 "block": 16,432 "row": 1237433 },434 {435 "path": "snakes/utils/__init__.py",436 "sha256": "2686b3d38863f77af6d88dde0c123c669fd2f9066397e731022ad23c9a4a111e",437 "language": "Python",438 "lines": 9,439 "truncated": false,440 "block": 15,441 "row": 6564442 },443 {444 "path": "snakes/utils/abcd/__init__.py",445 "sha256": "961f63387f5d04b120515b38203e7baca7ed6815e5274f786a98918d39d80fef",446 "language": "Python",447 "lines": 32,448 "truncated": false,449 "block": 15,450 "row": 7218451 },452 {453 "path": "snakes/utils/abcd/build.py",454 "sha256": "aa5c2e013ebb608ea8c8a172c0a0f5fa36acdeee54f06da4ef3ddb2c009daced",455 "language": "Python",456 "lines": 603,457 "truncated": false,458 "block": 15,459 "row": 25750460 },461 {462 "path": "snakes/utils/abcd/checker.py",463 "sha256": "557d5ab83a926f4fda1f3679436a8c2e1dd3ccafb799dd67b97efe321b1e275b",464 "language": "Python",465 "lines": 70,466 "truncated": false,467 "block": 15,468 "row": 12044469 },470 {471 "path": "snakes/utils/abcd/html.py",472 "sha256": "ec3da391d900087f95a44e730ba7ed8e17be7398b513e44ae0370709d40d3320",473 "language": "Python",474 "lines": 459,475 "truncated": false,476 "block": 15,477 "row": 24563478 },479 {480 "path": "snakes/utils/abcd/main.py",481 "sha256": "3e211d6d73981a5e0581a8e9d513e4b0126c965c95d23ce3968425e6e9ad92e7",482 "language": "Python",483 "lines": 337,484 "truncated": false,485 "block": 15,486 "row": 22067487 },488 {489 "path": "snakes/utils/abcd/resources/d3.min.js",490 "sha256": "872f3737bdd97e4a767e6d4e741fd216617e0d8e018546186567cd400c7e96ef",491 "language": "JavaScript",492 "lines": 5,493 "truncated": false,494 "block": 14,495 "row": 13889496 },497 {498 "path": "snakes/utils/abcd/resources/jquery.min.js",499 "sha256": "7a18602a771d71b8d65573a35dcbcc76f21277a5decac69c7c862785eeb16bb3",500 "language": "JavaScript",501 "lines": 7388,502 "truncated": true,503 "block": 14,504 "row": 13909505 },506 {507 "path": "snakes/utils/abcd/resources/jquery.periodic.js",508 "sha256": "4f6ef7bcaec8be245d4e40af9981a0a0496d1e469611ee5dd19481725781bab4",509 "language": "JavaScript",510 "lines": 99,511 "truncated": false,512 "block": 14,513 "row": 13027514 },515 {516 "path": "snakes/utils/abcd/resources/js/bootstrap.file-input.js",517 "sha256": "529a9591bfa0e34de2ed22164f86d1ccd2f78259c131621e5f1c50ab83d6704c",518 "language": "JavaScript",519 "lines": 122,520 "truncated": false,521 "block": 14,522 "row": 13179523 },524 {525 "path": "snakes/utils/abcd/resources/js/bootstrap.min.js",526 "sha256": "898d05a17f2cfc5120ddcdba47a885c378c0b466f30f0700e502757e24b403a1",527 "language": "JavaScript",528 "lines": 6,529 "truncated": false,530 "block": 14,531 "row": 13742532 },533 {534 "path": "snakes/utils/abcd/resources/js/petri.js",535 "sha256": "f96de9003957dca8877800b71bf933f529640bbc01d2c69cee19a1c9c57d3d25",536 "language": "JavaScript",537 "lines": 26,538 "truncated": false,539 "block": 14,540 "row": 12751541 },542 {543 "path": "snakes/utils/abcd/resources/model.js",544 "sha256": "f9db87879732ca2f749944d4264853ffb5085b7b5f76d8e0fdaf94b8d9ae33e0",545 "language": "JavaScript",546 "lines": 69,547 "truncated": false,548 "block": 14,549 "row": 12910550 },551 {552 "path": "snakes/utils/abcd/resources/simulator.js",553 "sha256": "a4ab9a3d328f70d343fb72b15865d12ee339dcb4ea7205bb4168069a561adec1",554 "language": "JavaScript",555 "lines": 1755,556 "truncated": false,557 "block": 14,558 "row": 13840559 },560 {561 "path": "snakes/utils/abcd/simul.py",562 "sha256": "b3b42fc2a2321d052a7746d60b74002b79162b8912bf8cc90537e4a90c8d8a3d",563 "language": "Python",564 "lines": 92,565 "truncated": false,566 "block": 15,567 "row": 15123568 },569 {570 "path": "snakes/utils/abcd/transform.py",571 "sha256": "6744e4a5ffc4e981fe072e0d6c20da3dd72c6c4c4737c6ccf7149450a0b6e3ae",572 "language": "Python",573 "lines": 89,574 "truncated": false,575 "block": 15,576 "row": 13428577 },578 {579 "path": "snakes/utils/apidoc.py",580 "sha256": "709d6d1b79ac156d14f9060911f1d216e919cdccfb6618d33f3cd8674bb50eca",581 "language": "Python",582 "lines": 649,583 "truncated": false,584 "block": 15,585 "row": 25823586 },587 {588 "path": "snakes/utils/ctlstar/__init__.py",589 "sha256": "726d56291d24388667eecc2746b4add63fa3c1bf010ba862cbcc2032af4db1e0",590 "language": "Python",591 "lines": 36,592 "truncated": false,593 "block": 15,594 "row": 8626595 },596 {597 "path": "snakes/utils/ctlstar/build.py",598 "sha256": "c565342c0b79e5b501357f964b67e68a529fd7a4b7f790fc9bf6ad43c71983d4",599 "language": "Python",600 "lines": 150,601 "truncated": false,602 "block": 15,603 "row": 18496604 },605 {606 "path": "snakes/utils/simul/__init__.py",607 "sha256": "d4877990e2e4febbd775ed8cbf43ff2aa78cd8f21d8c30a804862e91f83474dd",608 "language": "Python",609 "lines": 243,610 "truncated": false,611 "block": 15,612 "row": 20984613 },614 {615 "path": "snakes/utils/simul/html.py",616 "sha256": "f51c6141543fcd956b6cd606b0e375e4e83ca5cec03451b1a202c09a76454c13",617 "language": "Python",618 "lines": 80,619 "truncated": false,620 "block": 15,621 "row": 12146622 },623 {624 "path": "snakes/utils/simul/httpd.py",625 "sha256": "237e655a194458f41d5997bc4b74616018294ca20503755b00e2914ccd0bb369",626 "language": "Python",627 "lines": 223,628 "truncated": false,629 "block": 15,630 "row": 19708631 },632 {633 "path": "snakes/utils/simul/logger.py",634 "sha256": "e9e130329150c647bdbd78dc1351510bcbce72f2fc7bcdadd3430efa469c9d04",635 "language": "Python",636 "lines": 186,637 "truncated": false,638 "block": 15,639 "row": 19620640 },641 {642 "path": "snakes/utils/simul/resources/jquery.min.js",643 "sha256": "b294e973896f8f874e90a8eb1a8908ac790980d034c4c4bdf0fc3d37b8abf682",644 "language": "JavaScript",645 "lines": 4,646 "truncated": false,647 "block": 14,648 "row": 13863649 },650 {651 "path": "snakes/utils/simul/resources/jquery.periodic.js",652 "sha256": "40d3a333a7074a6960995c6d9ea021e24c4a3823dc3083e2d67fe0c57e58fbc5",653 "language": "JavaScript",654 "lines": 99,655 "truncated": false,656 "block": 14,657 "row": 13028658 },659 {660 "path": "snakes/utils/simul/resources/simulator.js",661 "sha256": "df341a9d3a1fb30e1ed96e0c492720cc555e45489cda21e2386905725e5b7bdc",662 "language": "JavaScript",663 "lines": 136,664 "truncated": false,665 "block": 14,666 "row": 13163667 },668 {669 "path": "test-scripts/test-abcd.sh",670 "sha256": "5d9c0ec672a9988cdc7d419ddb8594bb6b82e1e5e44e4f5b00498e2a12183da6",671 "language": "Shell",672 "lines": 4,673 "truncated": false,674 "block": 16,675 "row": 4602676 },677 {678 "path": "test.py",679 "sha256": "3a3e067a99bf5ea70daaddafebd40c352e8b46b59841b68cfa105a3a3bce97c2",680 "language": "Python",681 "lines": 73,682 "truncated": false,683 "block": 15,684 "row": 10950685 },686 {687 "path": "utils/pgen2dot.py",688 "sha256": "b7cb51872c4891c5313dd4d9affdd757ca5f6c9d932395c0e3df05df4fa8ccee",689 "language": "Python",690 "lines": 47,691 "truncated": false,692 "block": 15,693 "row": 8824694 },695 {696 "path": "utils/pgen2min.py",697 "sha256": "aa862e768ee9342b70c9ae0c8f482cc9128e602c415dd0a5b793a0a6726f3b95",698 "language": "Python",699 "lines": 49,700 "truncated": false,701 "block": 15,702 "row": 8609703 },704 {705 "path": "version.py",706 "sha256": "5bdaf138d7b5eea7be16d93f1506ecbe68fdfddfaad74788b964a15dc722ef5b",707 "language": "Python",708 "lines": 29,709 "truncated": false,710 "block": 15,711 "row": 7669712 }713 ]714}