Tuesday, May 26, 2009

IEEE ISTO

IEEE ISTO (Industry Standards and Technology Organization)

산업표준기술기구: 산업 컨소시엄, 제휴, 포럼 및 기타 그룹을 통해서 표준과 기술 개발을 지원

Window manager

Compiz is a compositing window manager that uses 3D graphics acceleration via OpenGL. It provides various new graphical effects and features on any desktop environment, including GNOME and KDE.

Compiz has a flexible plug-in system and it is designed to run well on most graphics hardware.

The implementation of Compiz is based on using the new GLX_EXT_texture_from_pixmap extension of Xgl, AIGLX or NVIDIA for binding redirected top-level windows to texture objects.

Refer to Compiz Fusion for comparison.

Karmen is a window manager for x, written by Johan Veenhuizen. It is designed to just work. There is no configuration file and no library dependencies other than Xlib. The input focus model is click-to-focus. Karmen aims at icccm and ewmh compliance.

ICCCM (Inter-Client Communication Conventions Manual)http://tronche.com/gui/x/
EWMH (Extended Window Manager Hints) http://standards.freedesktop.org/wm-spec/latest/

icccm and ewmh

Various Licenses and Comments about Them - GNU Project - Free Software Foundation (FSF)

Various Licenses and Comments about Them - GNU Project - Free Software Foundation (FSF)

OpenJDK

OpenJDK

Qt Software

Qt Software

OpenCores

OpenCores

Intel and Nokia field open source telephony project

oFono Project
ofono.org

Intel and Nokia field open source telephony project

Monday, May 25, 2009

Grapefruit - HaskellWiki

Grapefruit - HaskellWiki

grapefruit-ui-gtk: GTK+-based backedn for declarative user interface programming

Grapefruit is a library for Functional Reactive Programming (FRP) with a focus on user interfaces. FRP makes it possible to implement reactive and interactive systems in a declarative style.

xtc - eXTensible Compiler

Wednesday, May 06, 2009

WebDAV

http://www.webdav.org

웹데브(WebDAV)는 기존의 웹이 읽기 전용이고 HTTP/1.1에 PUT, DELETE 등의 간단한 쓰기 웹의 확장 프로토클로 기본적인 WebDAV프로토클(RFC2518), 검색(DASL), 버전 관리 (RFC3253), 억세스 관리(ACL) 등을 포함하는 프로토클 Suite 입니다.


Apache2, IIS등의 웹서버가 WebDAV프로토클을 지원하며 리눅스, 매킨토시, MS윈도우 등이 Driver를 기본제공하며 많은 어플리케이션이 이 프로토클을 지원합니다.


최근 CVS의 단점을 극복하기 위한 버전컨트롤 툴인 Subversion은 WebDAV프로토클을 사용합니다.

PRISM - Probabilistic Symbolic Model Checker

PRISM - Probabilistic Symbolic Model Checker

Network Security Services (NSS)

Network Security Services (NSS)