Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for scheme type system
scheme
x
type-system
x
4 search results found
Carrot
⭐
65
Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
Scheme Bytestructures
⭐
31
Structured access to bytevector contents.
Ttstar
⭐
12
Dependently typed core calculus with erasure
Relational Progress Sensitive Security
⭐
5
Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12.
Related Searches
Theme Color Scheme (911)
Vim Color Scheme (844)
Python Scheme (766)
Javascript Scheme (705)
Theme Scheme (670)
Vim Script Color Scheme (559)
Vim Scheme (409)
C Scheme (397)
Scheme Sublime Text (370)
Types Type System (228)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.