Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars
232
License
apache-2.0
Open Issues
5
Most Recent Commit
3 years ago
Programming Language
Scala
Total Releases
15
Latest Release
August 23, 2021
Categories
Repo
Alternatives To Curryhoward
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Arrow Meta38123 months ago30April 29, 2023103apache-2.0Kotlin
Functional companion to Kotlin's Compiler
Fpp281
23 years ago1April 10, 20204bsd-3-clausePHP
Functional PHP Preprocessor - Generate Immutable Data Types
Curryhoward232
3 years ago15August 23, 20215apache-2.0Scala
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Convtools Ita176
3 years agomit
convtools is a python library to declaratively define conversions for processing collections, doing complex aggregations and joins.
Wyvern52
6 months agogpl-3.0C++
Automatic conversion of call by value into call by need in the LLVM IR.
Fn23packagist krak/fn} Downloads23a year ago36December 07, 20223PHP
Functional library for PHP with proper currying
Servant To Elm Example12
a year agoElm
Full-stack web app, built in a typesafe functional way, where servant-to-elm generates types, decoders/encoders, and fetching functions from Haskell types and Servant endpoint definition to Elm.🤘🏻
Lenskit10
5 years agomitSwift
Lens toolkit for Swift
Csharpdiscriminatedunion9nuget CSharpDiscriminatedUnion.Attributes} Downloads14 years ago13April 14, 20201mitC#
A library for generating discriminated union types in C#
Alternatives To Curryhoward
Select To Compare
Arrow Meta ⭐ 381
Functional companion to Kotlin's Compiler
dependent packages 2total releases 30most recent commit 3 months ago
Fn ⭐ 23
Functional library for PHP with proper currying
dependent packages 3total releases 36most recent commit a year agopackagist krak/fn} Downloads
Lenskit ⭐ 10
Lens toolkit for Swift
most recent commit 5 years ago
Csharpdiscriminatedunion ⭐ 9
A library for generating discriminated union types in C#
dependent packages 1total releases 13most recent commit 4 years agonuget CSharpDiscriminatedUnion.Attributes} Downloads


Suggest An Alternative To curryhoward
Alternative Project Comparisons
Curryhoward vs Arrow Meta
Curryhoward vs Fpp
Curryhoward vs Convtools Ita
Curryhoward vs Wyvern
Curryhoward vs Fn
Curryhoward vs Servant To Elm Example
Curryhoward vs Lenskit
Curryhoward vs Csharpdiscriminatedunion
Popular Code Generation Projects
Go Zero ⭐ 27,105
A cloud-native Go microservices framework with cli tool for productivity.
dependent packages 314total releases 157latest release October 28, 2023most recent commit 2 months ago
Sourcery ⭐ 7,419
Meta-programming for Swift, stop writing boilerplate code.
total releases 81latest release October 05, 2023most recent commit 3 months ago
Entitas ⭐ 6,858
Entitas is a super fast Entity Component System (ECS) Framework specifically made for C# and Unity
dependent packages 17total releases 2latest release September 16, 2021most recent commit 4 months agonuget DesperateDevs.Utils} Downloads
Popular Functional Programming Projects
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78latest release September 20, 2023most recent commit 3 months ago
Mostly Adequate Guide ⭐ 23,142
Mostly adequate guide to FP (in javascript)
dependent packages 2total releases 6latest release June 26, 2019most recent commit 4 months agonpm @mostly-adequate/support} Downloads
Bubbletea ⭐ 22,076
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136latest release June 05, 2023most recent commit 3 months ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Types Scala
Scala Functional Programming
Types Functional Programming
Types Code Generation
Functional Programming Lambda Calculus
Types Lambda Calculus
Scala Code Generation
Scala Lambda Calculus
Functional Programming Code Generation
Types Scala Macros

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Scala
Functional Programming
Code Generation
Lambda Calculus
Scala Macros
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.