Tags : Browse Projects

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

hybrid

Compare

  Analyzed 8 months 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]

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: BSD-3-Clause

Extrapol

Compare

  Analyzed 8 months 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 8 months 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]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses