Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Path

A lambda calculus to explore type-directed program synthesis.
Stars
79
License
bsd-3-clause
Open Issues
74
Most Recent Commit
4 years ago
Programming Language
Haskell
Categories
Repo
Suggest An Alternative To path
Popular Synthesis Projects
Tone.js ⭐ 12,835
A Web Audio framework for making interactive music in the browser.
dependent packages 205total releases 678latest release October 23, 2022most recent commit 5 months agonpm tone} Downloads
Sonic Pi ⭐ 10,485
Code. Music. Live.
most recent commit 12 days ago
Popular Calculus Projects
Popular Media Categories
Screenshot
Ffmpeg
Volume
Image Processing
Spotify
Radio
Playlist
Decoder
Qrcode
Encoder

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Lambda Functions
Synthesis
Calculus
Lambda Calculus
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.