Linux

BackupBand

BackupBand

F*

F*

F *는 프로그램 검증을 목표로하는 ML 유사 기능 프로그래밍 언어입니다.F *는 기능적 정확성 특성을 포함하여 프로그램에 대한 정확한 사양을 표현할 수 있습니다.F *로 작성된 프로그램은 실행을 위해 OCaml 또는 F #으로 변환 될 수 있습니다.
IDECO ICS

IDECO ICS

보안을 강조한 SMB 용 Linux 기반 게이트웨이.사용하기 쉬운 웹 기반 구성 도구.메일 서버, VPN 서버, 트래픽 쉐이핑, DPI, 트래픽 안티 바이러스 등과 같은 추가 기능이 많이 있습니다.
Dzen

Dzen

Dzen은 X11을위한 범용 메시징, 알림 및 메뉴 프로그램입니다.
Plesk

Plesk

Plesk는 전 세계 140 개국에서 32 개 이상의 언어로 응용 프로그램, 웹 사이트 및 호스팅 비즈니스를 실행, 자동화 및 성장시키는 선도적 인 WebOps 플랫폼입니다.
Justniffer

Justniffer

justniffer는 TCP 스니퍼입니다.패킷을 재 조립하고 재정렬하고 tcp 플로우를 사용자 정의 가능한 방식으로 표시합니다.웹 서버 로그 형식으로 네트워크 트래픽을 기록 할 수 있습니다.또한 네트워크 서비스 성능을 기록하고 http 컨텐츠를 추출 할 수 있습니다.
Arora

Arora

Arora는 Qt 위에 구축 된 WebKit 렌더링 엔진을 사용하는 크로스 플랫폼 오픈 소스 웹 브라우저입니다.
Imagus

Imagus

확장 기능은 기본적으로 Opera에서 누락 된 이미지 기능을 보완하거나 단순히 유용한 기능을 제공하기위한 것입니다.호버 확대
ExifTool

ExifTool

ExifTool은 플랫폼 독립적 인 Perl 라이브러리와 다양한 파일에서 메타 정보를 읽고 쓰고 편집 할 수있는 명령 줄 응용 프로그램입니다.
ex.fm

ex.fm

Exfm은 전체 웹을 개인 음악 라이브러리로 변환합니다.탐색 할 때 exfm은 백그라운드에서 실행되어 모든 MP3 파일을 색인화하여 음악 라이브러리를 만듭니다.
POSper

POSper

POSper는 소규모 기업을 위해 설계된 터치 스크린 지원 기능을 갖춘 POS (Point of Sale) 시스템입니다.
Min

Min

Min은 개인 정보를 보호하는 빠르고 간단한 브라우저입니다.여기에는 산만 함을 최소화하도록 설계된 인터페이스와 다음과 같은 기능이 포함됩니다.
spotifyd

spotifyd

Spotifyd는 리눅스 용 공식 spotify 클라이언트를 대체 할 수있는 대안입니다.널리 사용되는 MPD와 동일한 클라이언트 / 서버 모델을 사용합니다.
Soundseeder

Soundseeder

여러 장치에서 음악을 듣고 친구와 음악 공유 무료 멀티 룸 오디오 시스템 구축 최대 16 개의 장치를 동시에 연결
zplug

zplug

zsh를위한 차세대 플러그인 관리자.
Islanded

Islanded

Islanded는 생존을 위해 자연과의 상호 작용을 기반으로 한 Survival Nature Sandbox 게임입니다.
EOS

EOS

EOS.IO는 기본 암호 화폐 EOS에 의해 구동되는 블록 체인 프로토콜입니다.이 프로토콜은 컴퓨팅 리소스가 EOS cryptocurrency 소지자에게 균등하게 분배 된 하드웨어를 포함한 실제 컴퓨터의 대부분의 속성을 에뮬레이션합니다.
X Steps Recorder

X Steps Recorder

ktsuss

ktsuss

ktsuss는 "su를 간단하고 어리석게 지키십시오"를 의미하며 이름에서 알 수 있듯이 C와 GTK + 2로 작성된 su의 그래픽 버전입니다.
Feed Sidebar

Feed Sidebar

피드 사이드 바는 라이브 북마크의 새 항목을 사이드 바에 표시하는 Mozilla Firefox 웹 브라우저의 확장입니다.