Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

hybrid

Compare

  Analyzed almost 5 years ago

We have made an implementation of the language Lambda-H, described in the paper Hybrid Type Checking by Cormac Flanagan, which uses a hybrid type checking system. We have tried to keep our implementation as close as possible to the language defined in Flanagan's paper. The result should be seen ... [More] as a proof-of-concept, and an exercise in implementing a hybrid type checker for a language with advanced type specifications. [Less]

561 lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

Extrapol

Compare

  Analyzed 5 days ago

A security static analysis tool for C aiming to answer the question: "what does this program do?"

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl_class...

morrow

Compare

  Analyzed about 8 years ago

Morrow is small programming language designed for experimentation with advanced type system concepts. In particular, extensible polymorphic records and variants, combined with impredicative higher-ranked type inference. This combination leads to an expressive core language that is able to express ... [More] many progamming language concepts directly without specific extensions. [Less]

29.2K lines of code

0 current contributors

about 12 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses