App repository

1994 bookmarks
Newest
MannyPeterson/HeliOS · GitHub
MannyPeterson/HeliOS · GitHub
The free embedded operating system. Contribute to MannyPeterson/HeliOS development by creating an account on GitHub.
·github.com·
MannyPeterson/HeliOS · GitHub
starship/starship · GitHub
starship/starship · GitHub
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell! - starship/starship: ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
·github.com·
starship/starship · GitHub
Expect - SourceForge
Expect - SourceForge
Download Expect for free. Expect is a tool for automating interactive applications such as telnet, ftp, passwd, fsck, rlogin, tip, etc. Expect is also useful for testing these same applications.
·sourceforge.net·
Expect - SourceForge
WinMerge/winmerge · GitHub
WinMerge/winmerge · GitHub
WinMerge is an Open Source differencing and merging tool for Windows. WinMerge can compare both folders and files, presenting differences in a visual text format that is easy to understand and hand...
·github.com·
WinMerge/winmerge · GitHub
7-Zip - SourceForge
7-Zip - SourceForge
Download 7-Zip for free. A free file archiver for extremely high compression. 7-Zip is a file archiver with a high compression ratio. You can use 7-Zip on any computer, including a computer in a commercial organization.
·sourceforge.net·
7-Zip - SourceForge
pypa/setuptools · GitHub
pypa/setuptools · GitHub
Official project repository for the Setuptools build system - GitHub - pypa/setuptools: Official project repository for the Setuptools build system
·github.com·
pypa/setuptools · GitHub
coq/coq: Coq is a formal proof management system
coq/coq: Coq is a formal proof management system
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo...
·github.com·
coq/coq: Coq is a formal proof management system
apitable/apitable · GitHub
apitable/apitable · GitHub
🚀🎉📚 APITable, an API-oriented low-code platform for building collaborative apps and better than all other Airtable open-source alternatives. - GitHub - apitable/apitable: 🚀🎉📚 APITable, an API-orie...
·github.com·
apitable/apitable · GitHub
Dia Diagram Editor - SourceForge
Dia Diagram Editor - SourceForge
Download Dia Diagram Editor for free. Free drawing software for Windows, Mac OS X, and Linux. Dia Diagram Editor is free Open Source drawing software for Windows, Mac OS X and Linux. Dia supports more than 30 different diagram types like flowcharts, network diagrams, database models.
·sourceforge.net·
Dia Diagram Editor - SourceForge
wkentaro/gdown · GitHub
wkentaro/gdown · GitHub
Download a large file from Google Drive (curl/wget fails because of the security notice). - GitHub - wkentaro/gdown: Download a large file from Google Drive (curl/wget fails because of the securi...
·github.com·
wkentaro/gdown · GitHub