Ecosyste.ms: Awesome

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

https://github.com/omentic/chrysanthemum

bidirectional-typechecking lambda-calculus rust type-system typeclasses

Last synced: 5 days ago
JSON representation

A blossoming type system.

Host: GitHub
URL: https://github.com/omentic/chrysanthemum
Owner: omentic
License: 0bsd
Created: 2023-04-05T07:17:16.000Z (over 1 year ago)
Default Branch: main
Last Pushed: 2023-07-20T22:47:13.000Z (over 1 year ago)
Last Synced: 2024-10-11T03:14:02.465Z (28 days ago)
Topics: bidirectional-typechecking, lambda-calculus, rust, type-system, typeclasses
Language: Rust
Homepage: https://apropos.codes/chrysanthemum/
Size: 2.95 MB
Stars: 1
Watchers: 1
Forks: 0
Open Issues: 0