Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ravichugh

A curated list of projects in awesome lists by ravichugh .

- Recently synced
- Stars

https://github.com/ravichugh/sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

direct-manipulation elm html live-programming program-synthesis structured-editing svg

Last synced: 12 Oct 2024

https://github.com/ravichugh/djs

Dependent JavaScript: A Typed Dialect

Last synced: 06 Nov 2024

https://github.com/ravichugh/late-types

Late Typing

Last synced: 06 Nov 2024

https://github.com/ravichugh/refref

Refinement Types for References

Last synced: 06 Nov 2024