• Stars
    star
    18
  • Rank 1,207,920 (Top 24 %)
  • Language
    C
  • License
    BSD 3-Clause "New...
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

CU Decision Diagram Package (CUDD, unofficial mirror)

More Repositories

1

viiite

An alternative to ruby Benchmark
Ruby
56
star
2

quickl

Command-line Ruby Utilities Shipped as Classes
Ruby
49
star
3

nib.js

Node.js packaging for the Browser
Ruby
26
star
4

myrrha

The missing coercion framework for Ruby
Ruby
25
star
5

pdf-toolkit

A ruby interface to pdftk
Ruby
23
star
6

noe

Noe is a simple, general-purpose and extensible skeleton generator from project templates
Ruby
21
star
7

summaryse

Array#summaryse
Ruby
14
star
8

dbagile

Agile SQL databases and tools for database administrators
Ruby
7
star
9

stamina

Automaton and Induction Tools Written in Ruby
Ruby
7
star
10

sbyc

Adding Specialization By Constraint to the Ruby type system
Ruby
6
star
11

yargi

Yet Another Ruby Graph Implementation
Ruby
5
star
12

plwords

http://plwords.herokuapp.com/
Ruby
5
star
13

jsonml-rb

JsonML, in ruby
Ruby
3
star
14

rel.js

A Relational Database System for the Browser
JavaScript
3
star
15

anagram

Reusable grammars, parsers and rewriting tools
Ruby
3
star
16

waw

A simple and different web framework for ruby
Ruby
3
star
17

agora

Agile Goal-Oriented Requirement Acquisition
Ruby
3
star
18

clipreasy

Clinical Processes Made Easy
Ruby
2
star
19

rubyrel

Ruby and the Relational Model
Ruby
2
star
20

rqp2

The Relational Query Puzzle Platform
Ruby
2
star
21

cudd-rb

A ruby bridge to the CU Decision Diagram package (CUDD)
Ruby
2
star
22

logbook

A medical log book
JavaScript
1
star
23

rea

The Research Exploring Assistant
Ruby
1
star
24

be.uclouvain.jail

Java Automaton and Induction Tookit
Java
1
star
25

stamina-contest-website

Source code of the Stamina Website
Ruby
1
star
26

rubybench

Benchmarking rubies
1
star
27

db-bench

Let's benchmark different database approaches
1
star
28

wAw.js

web Another way, a web framework in javascript/coffeescript
Ruby
1
star
29

pipas-persister

The Persistent component of the PIPAS medical scheduler
Ruby
1
star
30

blambeau.github.com

blambeau's github pages
1
star
31

passsafe

Keep hashed passwords a secure way, e.g. in (local) storage
JavaScript
1
star
32

fp101x

Haskell
1
star
33

alf.noe

A noe template for alf sub-modules
Ruby
1
star
34

sqlize

Non-OO manipulation of SQL schemas...
Ruby
1
star
35

websync

End-user oriented website synchronization & deployment
Ruby
1
star
36

polygon

A sinatra-powered web framework for mostly static websites
Ruby
1
star
37

rubygem.noe

A .noe template for creating ruby gems
Ruby
1
star