equ-iitg formal equivalence checker 1.2

관련 프로그램

• ArmedBear / J 무료

  무장 베어 (ABCL)는 자바에 기록 된 일반적인 리스프입니다. 컴파일러는 JVM 바이트 코드를 생성하여 Java의 '한 번 쓰기, 모든 곳에서 실행'하는 철학을 활용합니다. J는 구문 강조 표시 및 자동 들여쓰기와 같은 Java에서 작성된 텍스트 편집기입니다.

• Integrated PearPC GUI 무료

  IPG는 통합 PearPC GUI로 Windows 기반 GUI 내에서 PearPC 에뮬레이터를 구성하고 실행할 수 있습니다.

• wxWindows Project Manager for VC7 무료

  비주얼 C ++ 7wWindows의 사용을 단순화하는 도구 세트입니다.

• flam3 editor 무료

  Flam3 편집기는 전통적인 flam3 소프트웨어 팩을 중심으로 구축됩니다. 편집기는 전기 양이나 아포시시스 파일과 같은 우주 재귀 프랙탈 불꽃을 로드, 편집 및 저장할 수 있게 해 주며 전통적인 flam3 xml 매개 변수 파일을 처리합니다.

• InvisiBright Free 무료 평가판

  ** 이 응용 프로그램을 좋아하는 경우에, :) 프로 버전을 시도하는 것이 좋습니다 **InvisiBright는 보이지 않는 밝기 조절 유틸리티입니다. 화면을 가로질러 스 와이프하거나 장치를 기울여 응용 프로그램 내부에서 조정합니다. 이처럼 체크에 밝기를 유지하는 것은 배터리를 저장하는 가장 좋은 방법입니다!특징은 다음과 같습니다:- 검색 키 홀드 바로 가기 (프로 만)- 상태 표

• serverM - a powerful host-based IDS 무료

  서버M은 매우 유연한 서명 기반 호스트 기반 침입 감지 시스템(HIDS)입니다. 펄 데몬으로 실행, 그것은 작은 CPU를 사용 하 고 침입의 넓은 범위를 감지 할 수 있습니다. 시그니처 언어는 강력하고 경보 옵션이 다양합니다.

• Eclipse SpringIDE Extensions 무료

  SpringIDE 프로젝트의 확장(스프링이드-이클립 및 스프링 프레임워크 참조).현재 포함: 클래스(이동/이름 바꾸기) 및 메서드(이름 바꾸기) 참가자 리팩터링, 검색 지원 및 '빠른 수정' 기여도가 포함됩니다.

• Generic Entity Manager 무료

  Lua 바인딩이 있는 C++로 작성된 일반 게임 엔터티 관리자입니다. 초기 단계 atm. 게임 엔티티 시스템 - 현재 추가 프로젝트 회원을 찾고 있습니다.

• ajaxnet4j 무료

  ajaxnet4j는 유명한 Ajax.NET 전문 도서관의 자바 구현입니다. 이를 통해 서버 측 비즈니스 논리와 클라이언트 측 사용자 경험에 집중할 수 있으며 양측 간의 연결에 많은 시간을 할애할 필요가 없습니다.

• NSketch, .Net sketch-based algorithms 무료

  NSketch 라이브러리는 가장 일반적인 스케치 기반 알고리즘(히스토그램, 정량, 빈번한 항목, 꽃 필터...)의 구현을 제공합니다. 라이브러리는 .Net에 대한 C#로 작성됩니다.