Search Results for "github-copilot"
Sort By:
Showing 9 open source projects for "github-copilot"
View related business solutions-
AI-Powered Identity GovernanceDefine governance policies, manage access, and optimize licenses with unified visibility across every identity, app, and file.
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
1
Hackeurs Sans Frontières
Anti-censorship openSUSE spin without patent restrictions
Ready builds for hybrid live cd/usb (with installation option) openSUSE spin aimed to be fully functional out-of-the-box yet slim desktop system for advanced users in countries without software patent racket and/or countries with communicational surveillance & censorship. It's built on "one user-friendliest method for fulfilling every need" principle. PLEASE, read README.md from github link BEFORE BOOTING and keepnote's Release Notes - AFTER. -
2
nQuake
A QuakeWorld package containing everything needed to play QW right now
NOTE: THIS PROJECT HAS MOVED TO GITHUB. Download from http://nquake.com Source code: http://github.com/nquake QuakeWorld is a very fragmented game. Installing QuakeWorld involves installing Quake, downloading a client, downloading textures, scripts, addons, maps and much more. nQuake does all this for you with a simple online installer. nQuake always installs a completely updated package of QuakeWorld that simply works. -
3
fstransform is a tool to change a file-system from one format to another, for example from jfs/xfs/reiser to ext2/ext3/ext4, in-place and without the need for backup. Source code is hosted on github: https://github.com/cosmos72/fstransform
-
4
logicielsUbuntu
Ubuntu setup and command line useful scripts (utilities)
...This utility contains scripts to install softwares like RabbitVCS, XBMC, and also some usefull scripts like lu-findContent, lu-man2pdf, lu-svnMeld, lu-wav2flac, lu-youtube2mp3, ... Project moved to GitHub https://github.com/davidfischer-ch/logicielsUbuntu -
The All-In-One Google Workspace Management Tool for IT AdminsgPanel by Promevo streamlines administration, security, and user management, giving organizations full control over their Google Workspace.
-
5
...Pexpect can be used for automating interactive applications such as ssh, ftp, passwd, telnet, etc. Pexpect is pure Python. Note that Pexpect development has moved to Github: https://github.com/pexpect/pexpect
-
6
Ohm is a free (open source) server manager, allowing Linux server configuration via an easy-to-use web interface. It aims to be an alternative to Plesk, cPanel and the like. DEVELOPMENT HAS BEEN MOVED TO GITHUB: http://github.com/Ohm-panel
-
7
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> dub is now available at github: https://github.com/galan/dub >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
-
8
epkg is a tool for Gentoo which implements debian's dpkg and gentoo's equery functionality. it may be useful to those who are familiar (or used to) dpkg, or those, who wants a tool faster than equery. upd. moved to github https://github.com/norayr
-
9
genorphan is tool for gentoo which have same behavour as debian's deborphan it shows packages which can be removed, cause other package doesn't depend on them genorphan is a tool which I need, and so I wrote it upd. moved to github https://github.com/norayr
-
Optimize every aspect of hiring with Greenhouse RecruitingWhat’s next for many of us is changing. Your company’s ability to hire great talent is as important as ever – so you’ll be ready for whatever’s ahead. Whether you need to scale your team quickly or improve your hiring process, Greenhouse gives you the right technology, know-how and support to take on what’s next.
- Previous
- You're on page 1
- Next
