formal-land/coq-of-rust
Check 100% of execution cases of Rust programs π¦ to make applications with no bugs! βοΈ π βοΈ π¦ Formal verification
Language:Coq
Total stars: 232
Stars trend:
#coq
#coq, #formalverification, #proof, #rust
Check 100% of execution cases of Rust programs π¦ to make applications with no bugs! βοΈ π βοΈ π¦ Formal verification
Language:Coq
Total stars: 232
Stars trend:
15 May 2024
6am β +2
7am β +6
8am ββ +12
9am β +6
10am β +6
11am ββ +11
12pm β +8
1pm β +7
2pm β +7
3pm β +5
4pm β +4
5pm β +8#coq
#coq, #formalverification, #proof, #rust
π1
reactwg/react-compiler
Language:
Total stars: 110
Stars trend:
Language:
Total stars: 110
Stars trend:
15 May 2024
5pm βββββββββ +69
6pm ββββ +32reworkd/tarsier
Vision utilities for web interaction agents π
Language:Jupyter Notebook
Total stars: 640
Stars trend:
#jupyternotebook
#gpt4v, #llms, #ocr, #playwright, #pypipackage, #python, #selenium, #webscraping
Vision utilities for web interaction agents π
Language:Jupyter Notebook
Total stars: 640
Stars trend:
15 May 2024
5pm ββββ +30
6pm βββββββββ +69#jupyternotebook
#gpt4v, #llms, #ocr, #playwright, #pypipackage, #python, #selenium, #webscraping
roboflow/sports
computer vision and sports
Language:Python
Total stars: 118
Stars trend:
#python
#computervision, #deeplearning, #deepneuralnetworks, #imageembeddings, #keypointdetection, #objectdetection, #tutorial
computer vision and sports
Language:Python
Total stars: 118
Stars trend:
15 May 2024
10am β +8
11am β +7
12pm ββ +12
1pm ββ +15
2pm β +4
3pm β +5
4pm β +5
5pm β +5
6pm β +6
7pm β +3
8pm β +3
9pm β +2#python
#computervision, #deeplearning, #deepneuralnetworks, #imageembeddings, #keypointdetection, #objectdetection, #tutorial
amanbolat/awesome-go-with-stars
Awesome-go list with stars. Automatically updated.
Language:
Total stars: 417
Stars trend:
#awesome, #awesomelist, #aws, #go, #lambda, #stars
Awesome-go list with stars. Automatically updated.
Language:
Total stars: 417
Stars trend:
15 May 2024
3pm ββ +10
4pm ββ +16
5pm ββ +13
6pm ββ +10
7pm ββ +16
8pm β +1
9pm β +3
10pm β +1
11pm β +3
16 May 2024
12am β +3#awesome, #awesomelist, #aws, #go, #lambda, #stars
sindresorhus/create-dmg
Create a good-looking DMG for your macOS app in seconds
Language:JavaScript
Total stars: 4320
Stars trend:
#javascript
#app, #cli, #cliapp, #diskimage, #dmg, #javascript, #macos, #nodejs
Create a good-looking DMG for your macOS app in seconds
Language:JavaScript
Total stars: 4320
Stars trend:
16 May 2024
12am βββ +17
1am ββ +16
2am ββ +12
3am β +6
4am β +4
5am β +8
6am β +7
7am β +3
8am β +4#javascript
#app, #cli, #cliapp, #diskimage, #dmg, #javascript, #macos, #nodejs
drunkdream/weread-exporter
Export books in WeChat Reading to epub, pdf, mobi and other formats
Language:Python
Total stars: 780
Stars trend:
#python
Export books in WeChat Reading to epub, pdf, mobi and other formats
Language:Python
Total stars: 780
Stars trend:
15 May 2024
11pm β +2
16 May 2024
12am ββ +12
1am ββ +16
2am ββ +9
3am β +8
4am β +4
5am β +4
6am β +1
7am β +7
8am β +5
9am β +5
10am β +3#python
bepass-org/oblivion-desktop
Oblivion Desktop - Unofficial Warp Client for Windows/Mac/Linux
Language:TypeScript
Total stars: 808
Stars trend:
#typescript
#anticensorship, #antifilter, #bepass, #cloudflare, #desktop, #gool, #linux, #mac, #oblivion, #proxy, #psiphon, #vpn, #warp, #warpplus, #warpinwarp, #warponwarp, #windows, #zerotrust
Oblivion Desktop - Unofficial Warp Client for Windows/Mac/Linux
Language:TypeScript
Total stars: 808
Stars trend:
16 May 2024
2am β +1
3am β +2
4am β +1
5am β +2
6am β +1
7am β +7
8am ββ +12
9am β +8
10am ββ +10
11am ββ +14
12pm ββ +11
1pm ββ +12#typescript
#anticensorship, #antifilter, #bepass, #cloudflare, #desktop, #gool, #linux, #mac, #oblivion, #proxy, #psiphon, #vpn, #warp, #warpplus, #warpinwarp, #warponwarp, #windows, #zerotrust
ngc660sec/NGCBot
A WeChat robot based on the β¨HOOK mechanism, supporting π±security news regular push [FreeBuf, Prophet, Security Guest, Qi Anxin Attack and Defense Community], π―Kfc copywriting, β‘οΈRegistration query, β‘οΈMobile phone number location query, β‘οΈWHOIS information query, π Horoscope query, β‘οΈWeather query, π±Fishing calendar, β‘οΈMicrostep threat intelligence query, πBeauty video, β‘οΈBeauty pictures, π―Help menu. π« Supports points function, β‘οΈsupports automatic pulling of people, β‘οΈdetects ads, π±automatic group sending, π―Ai reply, πrich in customization, even beginners can easily get started!
Language:Python
Total stars: 691
Stars trend:
#python
#bot, #crawler, #security, #weixin, #weixin, #wxbot
A WeChat robot based on the β¨HOOK mechanism, supporting π±security news regular push [FreeBuf, Prophet, Security Guest, Qi Anxin Attack and Defense Community], π―Kfc copywriting, β‘οΈRegistration query, β‘οΈMobile phone number location query, β‘οΈWHOIS information query, π Horoscope query, β‘οΈWeather query, π±Fishing calendar, β‘οΈMicrostep threat intelligence query, πBeauty video, β‘οΈBeauty pictures, π―Help menu. π« Supports points function, β‘οΈsupports automatic pulling of people, β‘οΈdetects ads, π±automatic group sending, π―Ai reply, πrich in customization, even beginners can easily get started!
Language:Python
Total stars: 691
Stars trend:
16 May 2024
3am β +3
4am +0
5am β +1
6am +0
7am β +2
8am β +2
9am βββ +21
10am ββ +11
11am ββ +14
12pm ββ +14
1pm β +7#python
#bot, #crawler, #security, #weixin, #weixin, #wxbot
linux-do/override
ε₯δΉδΈζ―
Language:Go
Total stars: 105
Stars trend:
#go
ε₯δΉδΈζ―
Language:Go
Total stars: 105
Stars trend:
16 May 2024
10am βββ +23
11am βββ +17
12pm ββ +14
1pm ββ +11
2pm βββ +17
3pm ββ +9#go
JadyXuan/NTTS
NO TIME TO SLEEP
Language:Python
Total stars: 95
Stars trend:
#python
NO TIME TO SLEEP
Language:Python
Total stars: 95
Stars trend:
16 May 2024
4am β +2
5am β +1
6am β +1
7am +0
8am +0
9am +0
10am ββ +14
11am β +8
12pm ββ +13
1pm ββ +14
2pm ββ +15
3pm ββ +14#python
likejazz/llama3.np
llama3.np is pure NumPy implementation for Llama 3 model.
Language:Python
Total stars: 202
Stars trend:
#python
llama3.np is pure NumPy implementation for Llama 3 model.
Language:Python
Total stars: 202
Stars trend:
16 May 2024
7am β +1
8am +0
9am +0
10am +0
11am β +1
12pm β +8
1pm ββ +11
2pm β +5
3pm βββββ +35
4pm ββββββ +44#python
hunkim/SolarLLMZeroToAll
Full Stack SolarLLM Zero to All
Language:Jupyter Notebook
Total stars: 130
Stars trend:
#jupyternotebook
Full Stack SolarLLM Zero to All
Language:Jupyter Notebook
Total stars: 130
Stars trend:
16 May 2024
8am β +2
9am β +7
10am β +2
11am ββββββββ +61
12pm β +2
1pm +0
2pm +0
3pm β +1#jupyternotebook
expo/react-conf-app
Language:TypeScript
Total stars: 105
Stars trend:
#typescript
Language:TypeScript
Total stars: 105
Stars trend:
16 May 2024
5pm ββββββββ +62
6pm βββββ +33#typescript
HigherOrderCO/bend
Language:Rust
Total stars: 298
Stars trend:
#rust
Language:Rust
Total stars: 298
Stars trend:
16 May 2024
11am β +1
12pm +0
1pm +0
2pm β +1
3pm β +2
4pm β +3
5pm β +1
6pm β +2
7pm +0
8pm β +2
9pm ββββββββ +58
10pm βββββββββ +70#rust
lydiahallie/javascript-questions
A long list of (advanced) JavaScript questions, and their explanations :sparkles:
Language:
Total stars: 59985
Stars trend:
A long list of (advanced) JavaScript questions, and their explanations :sparkles:
Language:
Total stars: 59985
Stars trend:
16 May 2024
2pm β +1
3pm β +2
4pm β +1
5pm +0
6pm +0
7pm β +1
8pm ββ +15
9pm ββββ +30
10pm βββββ +36π1
rashadphz/farfalle
open-source answer engine
Language:TypeScript
Total stars: 92
Stars trend:
#typescript
#fastapi, #generativeui, #gpt4o, #groq, #nextjs, #openai, #perplexity, #react, #shadcnui, #tailwindcss
open-source answer engine
Language:TypeScript
Total stars: 92
Stars trend:
16 May 2024
1pm ββ +11
2pm ββ +9
3pm ββ +9
4pm β +7
5pm ββ +10
6pm β +8
7pm β +7
8pm ββ +9
9pm β +3
10pm β +3#typescript
#fastapi, #generativeui, #gpt4o, #groq, #nextjs, #openai, #perplexity, #react, #shadcnui, #tailwindcss
wesleygomes022/GH4Woman-modulo1
This repository is intended to be used to carry out the module 1 laboratory in the GH4Woman 2024 initiative.
Language:
Total stars: 183
Stars trend:
This repository is intended to be used to carry out the module 1 laboratory in the GH4Woman 2024 initiative.
Language:
Total stars: 183
Stars trend:
16 May 2024
9pm β +1
10pm ββββββββ +64
11pm βββββββββββββββ +118marekbrze/categorized-obsidian-plugins
Easily find Obsidian plugins!π
Language:
Total stars: 115
Stars trend:
Easily find Obsidian plugins!π
Language:
Total stars: 115
Stars trend:
16 May 2024
12pm β +5
1pm β +3
2pm β +5
3pm β +8
4pm ββ +10
5pm β +7
6pm β +8
7pm β +5
8pm ββ +9
9pm β +3
10pm β +7
11pm βββ +17joye61/pic-smaller
Pic Smaller β Compress WebP, PNG and JPEG images intelligently
Language:JavaScript
Total stars: 125
Stars trend:
#javascript
#compressimages, #offscreencanvas, #react, #safecompression, #vite, #webassembly
Pic Smaller β Compress WebP, PNG and JPEG images intelligently
Language:JavaScript
Total stars: 125
Stars trend:
16 May 2024
4pm ββ +10
5pm β +5
6pm β +1
7pm +0
8pm β +2
9pm +0
10pm +0
11pm β +6
17 May 2024
12am ββββ +28
1am ββββββββ +59#javascript
#compressimages, #offscreencanvas, #react, #safecompression, #vite, #webassembly