Discover gists
GrahamcOfBorg
/ Potential Maintainers
Created
July 23, 2024 09:21
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Maintainers: | |
| zimmi48: coqPackages.serapi, coqPackages.serapi, coqPackages.serapi, coqPackages.serapi | |
| alizter: coqPackages.coq-lsp, coqPackages.coq-lsp, coqPackages.serapi, coqPackages.serapi, coqPackages.serapi, coqPackages.coq-lsp, coqPackages.serapi, coqPackages.coq-lsp | |
| vbgl: compcert, coqPackages.simple-io, coqPackages.compcert, coqPackages.compcert, coqPackages.compcert, coqPackages.simple-io, compcert, coqPackages.simple-io, compcert, coqPackages.simple-io, coqPackages.compcert, compcert | |
| jwiegley: compcert, coqPackages.QuickChick, coqPackages.compcert, coqPackages.compcert, coqPackages.QuickChick, coqPackages.compcert, coqPackages.QuickChick, coqPackages.QuickChick, compcert, compcert, coqPackages.compcert, compcert | |
| thoughtpolice: compcert, coqPackages.compcert, coqPackages.compcert, coqPackages.compcert, compcert, compcert, coqPackages.compcert, compcert |
GrahamcOfBorg
/ Changed Paths
Created
July 23, 2024 09:21
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| aarch64-darwin coqPackages.vcfloat | |
| aarch64-darwin coqPackages.coq-lsp | |
| aarch64-darwin compcert | |
| x86_64-darwin coqPackages.simple-io | |
| x86_64-linux coqPackages.coq-lsp | |
| aarch64-darwin coqPackages.QuickChick | |
| aarch64-linux coqPackages.compcert | |
| aarch64-linux coqPackages.serapi | |
| aarch64-linux coqPackages.vcfloat | |
| aarch64-darwin coqPackages.serapi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| export default class UploadAPI extends Api { | |
| private extractFileMeta(file: File) { | |
| const extension = file.type.split('/').pop(); | |
| const lastDotIndex = file.name.lastIndexOf('.'); | |
| const filename = lastDotIndex !== -1 | |
| ? file.name.substring(0, lastDotIndex) | |
| : file.name; | |
| return { extension, name: filename }; | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| SELLING WORLDWIDE | |
| https://t.me/+CLP0B-v5xPQ4ZjQx | |
| GREAT 2024 DEALS CVV BANK WIRE ACH LOGS WESTERN UNION TRANSFER PAYPAL FULLZ DUMPS CLONED CC VISA DEBIT CARD REAL ID DRIVERS LICENSE PASSPORT SHIPMENT INSTANT BITCOIN DOUBLING DON'T GET LEFT OUT!!! | |
| 2023 BANK WIRE TRANSFER FAST AND SECURED WESTERN UNION BANKS PAYPAL LOGS DUMPS TRACKS 1N2 WITH PIN BLANK AND CLONED CÇPIN WU BANK PAYPAL LOGS | |
| CONTACT!!!! | |
| Email: albertgonzalez0001@gmail.com | |
| Telegram: +1(202) 503-9187 | |
| Whatapp: : +1(616) 202-1155 | |
| Text : : +1(616) 202-1155 |
forkyau
/ hourly_rainfall_data-2024-07-23|17-00.csv
Created
July 23, 2024 09:21
GIST created by python code
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| id | station | stationid | value | unit | obstime | date | |
|---|---|---|---|---|---|---|---|
| 0 | 流浮山 | RF001 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 1 | 湿地公园 | RF002 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 2 | 水边围 | N12 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 3 | 石岗 | RF003 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 4 | 大美督 | RF004 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 5 | 大埔墟 | RF005 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 6 | 北潭涌 | RF006 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 7 | 滘西洲 | RF007 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 | |
| 8 | 西贡 | N15 | 0 | mm | 2024-07-23T17:00:00+08:00 | 2024-07-23 |
kdyxnm
/ .states...vm-cancun...state.json
Created
July 23, 2024 09:20
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.8.0+commit.c7dfd78e.js&optimize=false&runs=200&gist=
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "db": { | |
| "0490f0d98c06a6234cc374564f984580f33770d4605e5781451d4971d3235a2d": "0xf873a1205931b4ed56ace4c46b68524cb5bcbf4195f1bbaacbe5228fbd090546c88dd229b84ff84d8089056bc75e2d63100000a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", | |
| "937514b0e72ad8da6bb5e656f25334fb09e7018992ae794d5c237fbf27a5db15": "0x4a81d08a9769879ecee2e4a7818b32c8e47daf3586a6b5e86be4d3cd1acd24fe", | |
| "ac59032c139346dba6925ea119f110bc037a945991f7349e218edbe12d6d43e9": "0xf872a03931b4ed56ace4c46b68524cb5bcbf4195f1bbaacbe5228fbd090546c88dd229b84ff84d8089056bc75e2d63100000a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", | |
| "b57eae55d1d898a1388d3065de9102d0f6ade3423b29be2482e1626394acd99f": "0xf872a0399bf57501565dbd2fdcea36efa2b9aef8340a8901e3459f4a4c926275d36cdbb84ff84d8089056bc75e2d63100000a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f723 |
indianflash
/ gist:0804f1bc002fc99ad2cff8b4d74b8b78
Created
July 23, 2024 09:20
India’s National Clean Air Programme: Achievements and Challenges...https://indianf.com/assessing-india-national-clean-air-programme/
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| https://indianf.com/assessing-india-national-clean-air-programme/ |
benigumocom
/ TextField.swift
Created
July 23, 2024 09:19
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import SwiftUI | |
| // 【SwiftUI】TextField の角を丸くして背景色を付けるもっとも簡単な方法は | |
| // https://android.benigumo.com/20240507/rounded-text-field/ | |
| struct TestTextField: View { | |
| @State private var text = "" | |
| // style | |
| // background |
GrahamcOfBorg
/ Potential Maintainers
Created
July 23, 2024 09:19
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Maintainers: | |
| sirseruju: ddnet, ddnet-server | |
| legendofmiracles: ddnet, ddnet-server | |
| ncfavier: ddnet, ddnet-server |
GrahamcOfBorg
/ Changed Paths
Created
July 23, 2024 09:19
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| x86_64-linux ddnet | |
| x86_64-linux ddnet-server |
NewerOlder