RSS 3 projects tagged "Electronic Design Automation (EDA)"

Download Website Updated 27 Oct 2005 JFDraw

Screenshot
Pop 115.59
Vit 3.99

JFDraw is a Java vector graphics drawing application and library package. It is focused on vector graph drawing field. It is useful for mechanical, electronic, architectural graph drawing applications, or even business process or workflow graphs.

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 21 Aug 2008 ga-flamoot

Screenshot
Pop 19.03
Vit 1.00

ga-flamoot is a genetic algorithm in Python for evolving programs that write a given string to an allocated dataspace, using a made-up machine language with only 7 instructions and flow reversal.

Screenshot

Project Spotlight

LanguageTool

A style and grammar checker for English, Polish, German, and other languages

Screenshot

Project Spotlight

skalibs

Public domain general-purpose libraries.