Pinned Loading

1. espresso-logic-minimizer espresso-logic-minimizer Public

   Forked from nelsonjchen/espresso-logic-minimizer

   This is just a copy so it won't get lost to the sands of time or a deletionist Wikipedia editor in the Wikipedia article on the Expresso Logic Minimizer. I actually have no expertise whatsoever on …

   C 2

2. jing-trang jing-trang Public

   Forked from relaxng/jing-trang

   Schema validation and conversion based on RELAX NG

   Java 1

3. zsh-git-prompt zsh-git-prompt Public

   Forked from olivierverdier/zsh-git-prompt

   Informative git prompt for zsh

   Haskell

4. RELAX NG compact syntax cheat sheet RELAX NG compact syntax cheat sheet

   1

   # RELAX NG compact syntax cheat sheet

   2

   3

   # See also:

   4

   # * tutorial <http://www.relaxng.org/compact-tutorial-20030326.html>

   5

   # * spec <http://www.relaxng.org/compact-20021121.html>

5. act act Public

   Forked from asyncvlsi/act

   ACT hardware description language and core tools.

   C++

6. actflow actflow Public

   Forked from asyncvlsi/actflow

   Top-level repository for the ACT EDA flow

   Shell