Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda2hs

Compiling Agda code to readable Haskell
Stars
155
License
mit
Open Issues
49
Most Recent Commit
5 months ago
Programming Language
Agda
Categories
Site
Repo
Suggest An Alternative To agda2hs
Popular Translate Projects
Copytranslator ⭐ 16,851
Foreign language reading and translation assistant based on copy and translate.
total releases 4latest release May 26, 2018most recent commit 9 months ago
Popular Quickcheck Projects
Fast Check ⭐ 3,989
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
dependent packages 861total releases 180latest release November 19, 2023most recent commit 5 months agonpm fast-check} Downloads
Functionaljava ⭐ 1,549
Functional programming in Java
dependent packages 66total releases 18latest release February 11, 2022most recent commit a year ago
Swiftcheck ⭐ 1,342
QuickCheck for Swift
total releases 16latest release March 29, 2019most recent commit 3 years ago
Test.check ⭐ 1,096
QuickCheck for Clojure
dependent packages 22total releases 26latest release December 01, 2021most recent commit a year ago
Fscheck ⭐ 1,093
Random Testing for .NET
dependent packages 33total releases 94latest release July 23, 2023most recent commit 9 months agonuget FsCheck} Downloads
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Translate
Quickcheck
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.