aboutsummaryrefslogtreecommitdiffstats
path: root/lang/ocaml-doc
ModeNameSize
-rw-r--r--Makefile1066logstatsplainblame
-rw-r--r--distinfo429logstatsplainblame
-rw-r--r--pkg-descr140logstatsplainblame
generated by cgit (git 2.34.1) at 2025-02-28 21:36:07 +0800
er/printer tool.hrs2007-04-291-0/+1 * 2007-04-12 cad/geda-projectmanager: project deadmiwi2007-04-231-1/+0 * A Qt based application for tutorial to Open CASCADE Technology.thierry2007-04-011-0/+1 * Open CASCADE Technology is a software development platform freely available inthierry2007-04-011-0/+1 * The SystemC Verification (SCV) library is an extension library to SystemCmiwi2006-12-221-0/+1 * The goals of the FreeHDL project are to develop a VHDL simulator that hasalepulver2006-11-061-0/+1 * Electric is a sophisticated electrical CAD system that can handlestas2006-09-301-0/+1 * This port provides a GUI for two freely available SPICE electronic circuititetcu2006-08-021-0/+1 * ADMS is a code generator that converts electrical compact device modelsitetcu2006-07-301-0/+1 * - gschem -> geda-gschemrafan2006-07-161-2/+2 * Jspice3 is a circuit simulator developed to meet the needs of researchersitetcu2006-07-121-0/+1 * Various examples for gEDA suite. This includes:garga2006-07-041-0/+1 * Various documentation for gEDA suite, including architecture-relatedgarga2006-07-041-0/+1 * The gEDA project manager suite.pav2006-06-271-0/+1 * Gattrib is gEDA's attribute editor.pav2006-06-271-0/+1 * TclSpice is an improved version of Berkeley Spice designed to be used withpav2006-06-271-0/+1 * Add feappv 2.0, finite Element Analysis Program "personal version".thierry2006-04-041-0/+1 * SCOTCH is a software package and libraries for graph, mesh and hypergraphthierry2006-02-041-0/+1 * [NEW PORT] cad/gplcver: A Verilog HDL simulatoredwin2005-12-291-0/+1 * Add systemc 2.1.v1, a modeling platform for system-level C++ models.lawrance2005-12-181-0/+1 * Add Kicad, a software for the creation of electronic schematicthierry2005-12-091-0/+1 * Remove expired portskris2005-11-051-1/+0 * Move recently added port cad/fig2sxd to a new and more accurate categorygarga2005-09-081-1/+0 * Add fig2sxd 0.13, convert .xfig files to the OpenOffice draw format.garga2005-09-081-0/+1 * Graphical circuit design and simulation tool.des2005-06-121-0/+1 * Add linux-gid 7.4.9b,barner2005-03-161-0/+1 * add impact 0.5.3ijliao2005-03-041-0/+1 * Add brlcad 7.0.4, CSG modelling system from the US Balisticthierry2005-02-211-0/+1 * Add z88 11.0, a compact Finite Element Analysis System.thierry2005-01-231-0/+1 * Add triangle 1.5, a Two-Dimensional Quality Mesh Generator andthierry2004-11-161-1/+0 * Add triangle 1.5, a Two-Dimensional Quality Mesh Generator andthierry2004-11-151-0/+1 * add dxf2fig 2.07ijliao2004-08-261-0/+1 * Add dinotrace, a mature signal waveform viewer used to debug digital designpav2004-07-061-0/+1 * Add cad/alliance, which is a complete set of free CAD tools andhrs2004-05-141-0/+1 * Add netgen 4.3.1, an automatic 3D tetrahedral mesh generator.thierry2004-05-061-0/+1 * Remove category pkg/COMMENT files in favour of a COMMENT variable in thekris2004-04-021-0/+2 * add qcad-partslib the parts-library for qcad.mr2004-03-281-0/+1 * Reorder those filesmat2004-03-211-1/+1 * add fandango 0.2.5ijliao2004-02-201-0/+1 * . Remove metis-edf after a repo copy to the math category.glewis2003-12-101-1/+0 * add pythoncad release 10ijliao2003-11-121-0/+1 * . Remove kaskade port after repo copy to math category.glewis2003-11-081-1/+0 * . Remove felt port now its been repo copied to the science category.glewis2003-11-081-1/+0 * NEW port CAD/admeshedwin2003-10-101-0/+1 * As announced on May 6, remove the broken sis port.kris2003-08-081-1/+0 * As announced on May 6, remove the broken pisces port.kris2003-08-081-1/+0 * Add gmsh 1.45.1, an automatic 3D finite element mesh generator.oliver2003-07-231-0/+1 * Add astk-client , graphical interface for Code_Aster (client side).oliver2003-07-231-0/+1 * Add astk-serveur 1.0.14,oliver2003-07-231-0/+1 * Add metis-edf 3, meshes partionning tool used by Code_Aster.oliver2003-07-231-0/+1 * Add new port cad/tochnogmaho2003-07-131-0/+1 * NEW port CAD/varkonedwin2003-05-211-0/+1 * A Three-Dimensional Structural Finite Element Programmaho2003-05-051-0/+1 * add ziarc 20020729ijliao2003-02-101-0/+1 * add chipvault 200211ijliao2003-01-291-0/+1 * new port: cad/gwaveedwin2003-01-191-0/+1 * New port atlc version 4.0.1: A tool to calculate the impedance oflioux2002-11-141-0/+1 * New port cascade version 1.4: A simple tool to analyze noise andlioux2002-11-141-0/+1 * add geda-utilsijliao2002-10-111-0/+1 * add geda-symcheckijliao2002-10-111-0/+1 * add transcalc 0.13ijliao2002-09-061-0/+1 * add gerbv 0.0.9ijliao2002-07-161-0/+1 * Remove acs. Its successor, gnucap, is already in the tree.tg2002-06-271-1/+0 * add gtkwave 2.0.0p1ijliao2002-05-121-0/+1