zesterer/tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

RustOtherprogramming-languagefunctionalcompiler
This is stars and forks stats for /zesterer/tao repository. As of 08 May, 2024 this repository has 1013 stars and 22 forks.

Tao You can now test Tao in the browser! A statically-typed functional language with polymorphism, typeclasses, generalised algebraic effects, sum types, pattern-matching, first-class functions, currying, good diagnostics, and much more! For more example programs, see... hello.tao: Hello world input.tao: Demonstrates a more complex example of IO effects calc.tao: A CLI calculator, demonstrating parser combinators adventure.tao: A text adventure game brainfuck.tao: A brainfuck interpreter mutate.tao:...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ClementTsang/bottomRustPython7.6k+76191+1
sharkdp/hyperfineRustPython17.6k+92299+2
kaitai-io/kaitai_struct_compilerScalaShell44901340
Alamofire/AlamofireImageSwiftOther3.9k05230
aws-amplify/amplify-uiTypeScriptSCSSVue70502220
CRED-CLUB/neopop-webTypeScriptJavaScriptOther91301460
UVVM/UVVMVHDLHTMLPython3050790
reoreo-zyt/blogVueJavaScriptCSS32000
Tinkerforge/warp-chargerHTMLJavaScriptTeX45070
exadel-inc/CompreFaceJavaTypeScriptPython3.3k04750