LCI - A lambda calculus interpeter 0.6

관련 프로그램

• Universal SQL Gateway 무료

  유니버설 SQL Gateway는 특수 JDBC 드라이버를 구현하여 HTTP를 통해 방화벽을 통해 SQL 요청을 터널로 연결합니다. 일반적으로 응용 프로그램 게이트웨이라고 하는 방화벽 구성 요소역할을 하여 보안 데이터베이스 acces를 제공합니다.

• Dev65 무료

  Dev65는 6501, 6502, 65C02, 65816 및 65832 제품군의 휴대성을 위해 Java에 코딩된 마이크로프로세서 제품군을 위한 매크로 어셈블러, 링커 및 사서 제품군입니다. 이 코드는 다른 시스템 아키텍처를 지원할 수 있는 프레임워크를 기반으로 합니다.

• GameDirector 무료

  게임 감독 Ver 0.1 devlopment 빌드 10 18-11 월-10. 게임 디렉터는 오우거 엔진을 기반으로 한 새로운 게임 개발 시스템으로, 개발 중이다.

• Flash and Boom 무료 평가판

  번개 거리 측정 응용 프로그램.몇 초 후 천둥소리가 번개가 번쩍입니다.플래시 및 붐 응용 프로그램은 당신과 충격점 사이의 거리를 결정하기 위해이 시간을 사용합니다!

• Network Transparent Widgets (ntw) 무료

  NTW는 플랫폼 간 클라이언트/서버 프로토콜 및 위젯 툴킷으로 느린 네트워크를 통해도 효율적인 원격 작업을 수행할 수 있습니다. 그 목표는 저렴한 단일 서버로 수백 명의 원격 클라이언트에게 서비스를 제공할 수 있도록 하는 것입니다.

• subtex 무료

  서브텍스는 인기 있는 타자기 시스템인 LaTeX의 XML 버전입니다. 라텍스 명령(따라서 SUBtex)의 하위 집합을 포함하지만 멋진 내장 참고 문헌 시스템을 포함하여 많은 개선 사항이 포함되어 있습니다. XML의 LaTeX 태그! 예!

• LogJana 무료

  logjana 프로그램은 jana 프록시 서버 V2용 로그 프로그램입니다. 그것은 기본 로그 파일 및 quot&proxy.log" 시간별 파일을 분할합니다. 기본 로그파일 및 쿼트 .log"는 변경되지 않습니다. 질문은 michael.wiechert (at)goo에서 메일을 보내

• elisa 무료

  Elisa는 제약 조건 프로그래밍 및 제약 조건 해결 기술을 위한 개방형 C++ 라이브러리입니다. 연속 제약 조건을 해결하기 위한 간격 기반 알고리즘은 Gaol(http://sf.net/projects/gaol)이 시스템에 이미 설치되어 있어야 합니다.

• PersianDate 무료

  페르시아어와 그레고리오 달력 사이의 날짜를 변환하기위한 c + + 라이브러리와 일부 도우미 클래스는 증분 날짜로 ...

• Ada 2005 Math Extensions 무료

  Ada 2005 표준은 실제 및 복잡한 행렬 및 벡터 작업을 정의합니다. 가능한 모든 작업이 지원되는 것은 아니므로 예를 들어 대칭 또는 헤르미안 행렬만 해결할 수 있습니다. 이 프로젝트는 GNAT표준에 대한 확장을 제공합니다.