evhub / coconut Sponsor Star 4.1k Code Issues Pull requests Simple, elegant, Pythonic functional programming. python language programming-language functional compiler functional-programming functional-language coconut xonsh xontrib Updated Dec 1, 2024 Python
cyrus- / typy Star 52 Code Issues Pull requests A fragmentary bidirectional type system as a Python library python programming-language pattern-matching algebraic-data-types functional-language Updated Oct 29, 2018 Python
sr-lab / tiny-synth Star 0 Code Issues Pull requests An experiment in synthesis of C code from a functional language. python c refinement synthesis code-generation functional-language Updated Jan 27, 2017 Python