https://github.com/alpkeskin/mosint

An automated e-mail OSINT tool. Contribute to alpkeskin/mosint development by creating an account on GitHub.

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover. Contribute to leanprover/lean4 development by creating an account on GitHub.

https://github.com/AutoMQ/automq

AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability. - AutoMQ/automq

https://github.com/ionworks/how-to-debug-your-battery

A guide on how to understand the performance of your battery with modelling and improve it - ionworks/how-to-debug-your-battery

Powered by VoiceFeed.

https://voicefeed.web.app?utm_source=apple_githubtrenddaily&utm_medium=podcast

Developer:https://twitter.com/_horotter

https://github.com/managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O - managarm/managarm

https://github.com/arunsupe/semantic-grep

grep for words with similar meaning to the query. Contribute to arunsupe/semantic-grep development by creating an account on GitHub.

https://github.com/myzie/burrow

Burrow is a globally distributed HTTP proxy via AWS Lambda - myzie/burrow

Powered by VoiceFeed.

https://voicefeed.web.app?utm_source=apple_githubtrenddaily&utm_medium=podcast

Developer:https://twitter.com/_horotter

https://github.com/metal3d/bashsimplecurses

A simple curses library made in bash to draw terminal interfaces - metal3d/bashsimplecurses

https://github.com/opslane/opslane

Reducing alert fatigue for on-call engineers. Contribute to opslane/opslane development by creating an account on GitHub.

Powered by VoiceFeed.

https://voicefeed.web.app?utm_source=apple_githubtrenddaily&utm_medium=podcast

Developer:https://twitter.com/_horotter

https://github.com/narumatt/sqlitefs

sqlite as a filesystem. Contribute to narumatt/sqlitefs development by creating an account on GitHub.