Archive of Formal Proofs 2011

관련 프로그램

• ADAM Abstract Data Access Models 무료

  2 비표준 접근 방식(덜 분명하지만 빠른 개발)을 기반으로 일시적이고 영구적인 개체 모델을 갖춘 Java 프레임워크는 개체가 명명된 필드 집합입니다. RDB, 텍스트 파일 등에 저장된 테이블에 대한 액세스를 단순화하는 3 개의 비 개체 라이브러리

• Jedora Remix VM 무료

  가상 머신 리눅스 어플라이언스 (버추얼 박스용). 이 페도라 리믹스는 자바 기반 응용 프로그램에 중점을 둡시다. OpenOffice.org, OpenJDK, 브라우저 플러그인(IcedTea), Azureus/Vuze, jEdit 등과 같은 인기 있는 Java 기반 응용 프로그램이 포함됩니다.

• DataAide 무료

  DataAide는 SQL Server 2000 클라이언트 도구를 사용하여 sql Server 2k 데이터베이스의 테이블에 대한 VB.Net, C#또는 VB6 클래스 및 저장된 프로시저를 생성하는 VB.Net 데스크톱 응용 프로그램입니다. 또한 저장된 프로시저를 호출하는 ADO.Net 또는 ADO 코드를 생성합니다.

• BlackFox OM (30' Series) 무료

  BlackFox OM(BlackFox, The Object Model)은 모든 시스템, 응용 프로그램 및 라이브러리의 개체 모델을 보유하고 조작하기 위한 라이브러리입니다. UML 도구, 코드 생성기의 일부, 개체 지향 운영 체제 등의 일부로 사용할 수 있습니다.

• InfraHID 무료

  프로젝트의 목적은 일반 웹캠을 휴먼 인터페이스 장치(HID)로 사용할 수 있도록 하는 것입니다. 이 소프트웨어를 사용하는 방법의 예는 다음과 같습니다 : 마우스, 제어 비디오 게임, 전자 흰색 보드, 또는 태블릿 PC에 대한 교체.

• Prop compiler compiler 무료

  소품은 C++를 기반으로 하는 패턴 매칭 언어입니다. 대수 데이터 유형, 패턴 일치 및 다시 작성을 구현하고 C++ 코드를 출력으로 생성합니다.

• ga-flamoot 무료

  할당된 데이터 영역에 지정된 문자열을 작성하는 진화하는 프로그램을 위한 Python의 유전자 알고리즘으로, 7개의 지침과 흐름 반전만 으로 구성된 기계 언어를 사용합니다.

• Fennel 무료

  회향은 C++로 작성된 데이터 저장 및 처리 구성 요소 라이브러리입니다. Eigenbase 프로젝트의 하위 프로젝트로 개발되었으며, 또한 파라고 프로젝트의 기판 역할을합니다.

• NExcel 무료

  NExcel 라이브러리를 사용하면 .NET 응용 프로그램이 Ms Excel 파일을 읽을 수 있습니다. Excel 97 및 상단과 호환됩니다. Ms Office Excel 또는 타사 라이브러리를 설치할 필요가 없습니다. 앤드류 칸에 의해 JExcelAPI에 따라.

• OpenTag 무료

  OpenTag는 DASH7 모드 2(ISO 18000-7.4)의 전체 기능을 갖춘 통신 스택입니다. 임베디드 HW, 특히 RF SoC에서 실행하기 위한 것이지만 거의 모든 것으로 이식할 수 있습니다. OpenTag의 주요 위업은 큰 기능 집합이지만 작은 설치 공간입니다.