ttstar

ziman

Dependently typed core calculus with erasure

functional-programming

View on GitHub

16 Stars

1 Forks

16 Watchers

Idris Language

other License

Cost to Build

$279.3K

Market Value

$256.0K

How is this calculated?

Growth over time

2 data points · 2021-11-21 → 2022-02-02

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about ttstar

Question copied to clipboard

What is the ziman/ttstar GitHub project? Description: "Dependently typed core calculus with erasure". Written in Idris. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone ttstar

Clone via HTTPS

git clone https://github.com/ziman/ttstar.git

Clone via SSH

[email protected]:ziman/ttstar.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the ttstar issue tracker:

Open GitHub Issues

Similar to ttstar

mostly-adequate-guide functional-programming-jargon Functional-Light-JS cyclejs ios-oss android-oss lila scalaz Learning-SICP plt Swiftz milewski-ctfp-pdf vavr shapeless Carp write-you-a-haskell eta nix funcy arrow coconut bash-oo-framework scala-exercises kefir riko PyFunctional Lightweight-Stream-API wiwinwlh cube-composer z