Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org maintainers: IvanPerez
yampa-test 0.14.8 💰
Functional Reactive Programming domain-specific language for efficient hybrid systems18 versions - Latest release: 27 days ago - 3 dependent repositories - 2.01 thousand downloads total - 421 stars on GitHub - 1 maintainer
Top 4.3% on hackage.haskell.org
43 versions - Latest release: 27 days ago - 4 dependent packages - 167 dependent repositories - 30.8 thousand downloads total - 421 stars on GitHub - 3 maintainers
Yampa 0.14.8 💰
Functional Reactive Programming domain-specific language for efficient hybrid systems43 versions - Latest release: 27 days ago - 4 dependent packages - 167 dependent repositories - 30.8 thousand downloads total - 421 stars on GitHub - 3 maintainers
Top 9.9% on hackage.haskell.org
28 versions - Latest release: 12 days ago - 6 dependent packages - 12 dependent repositories - 10 thousand downloads total - 190 stars on GitHub - 3 maintainers
dunai 0.12.3 💰
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream ...28 versions - Latest release: 12 days ago - 6 dependent packages - 12 dependent repositories - 10 thousand downloads total - 190 stars on GitHub - 3 maintainers
bearriver 0.14.8 💰
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream ...26 versions - Latest release: 12 days ago - 1 dependent package - 5 dependent repositories - 6.69 thousand downloads total - 190 stars on GitHub - 3 maintainers
dunai-test 0.12.3 💰
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream ...18 versions - Latest release: 12 days ago - 1 dependent repositories - 1.53 thousand downloads total - 190 stars on GitHub - 1 maintainer
haskanoid 0.1.6 💰
An arkanoid game featuring SDL graphics and sound, and Wiimote & Kinect support, implemented usin...8 versions - Latest release: about 1 year ago - 5.62 thousand downloads total - 267 stars on GitHub - 2 maintainers
Top 4.8% on hackage.haskell.org
IfElse 0.85
2 versions - Latest release: over 15 years ago - 5 dependent packages - 173 dependent repositories - 18.4 thousand downloads total - 3 maintainerscopilot-sbv 2.2.1
The Copilot back-end targeting SBV http://hackage.haskell.org/package/sbv. Copilot is a stream (...10 versions - Latest release: almost 7 years ago - 1 dependent package - 1 dependent repositories - 8.59 thousand downloads total - 4 maintainers
copilot-cbmc 2.2.1
Depends on CBMC http://www.cprover.org/cbmc/. Generates a driver to prove the Atom and SBV backe...9 versions - Latest release: almost 7 years ago - 1 dependent package - 7.72 thousand downloads total - 4 maintainers
keera-hails-reactivevalues 0.8.0
14 versions - Latest release: about 2 years ago - 4 dependent repositories - 7.38 thousand downloads total - 2 maintainerskeera-posture 0.2.3
A program that notifies when you sit in a straining position.10 versions - Latest release: over 8 years ago - 6.79 thousand downloads total - 2 maintainers
ogma-cli 1.3.0
9 versions - Latest release: about 1 month ago - 263 downloads total - 1 maintainerogma-language-fret-cs 1.1.0
7 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 228 downloads total - 1 maintainerogma-core 1.3.0
9 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 261 downloads total - 1 maintainerogma-language-c 1.3.0
9 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 257 downloads total - 1 maintainerogma-language-copilot 1.3.0
9 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 264 downloads total - 1 maintainerogma-extra 1.3.0
9 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 270 downloads total - 1 maintainerogma-language-jsonspec 1.3.0
2 versions - Latest release: about 1 month ago - 49 downloads total - 1 maintainerogma-language-cocospec 1.3.0
9 versions - Latest release: about 1 month ago - 3 dependent packages - 1 dependent repositories - 265 downloads total - 1 maintainerogma-language-smv 1.3.0
9 versions - Latest release: about 1 month ago - 3 dependent packages - 1 dependent repositories - 255 downloads total - 1 maintainerogma-spec 1.3.0
2 versions - Latest release: about 1 month ago - 46 downloads total - 1 maintainerogma-language-fret-reqs 1.2.0
8 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 234 downloads total - 1 maintainerandroid 0.0.2
Android system bindings for Haskell2 versions - Latest release: over 8 years ago - 1.59 thousand downloads total - 7 stars on GitHub - 2 maintainers
avatar-generator 0.1.0.1
A straightforward CLI random avatar image generator2 versions - Latest release: over 8 years ago - 1.61 thousand downloads total - 9 stars on GitHub - 2 maintainers
hcwiid 0.0.5
HCWiid is a working userspace driver along with various applications implementing event drivers, ...6 versions - Latest release: almost 10 years ago - 2 dependent packages - 13 dependent repositories - 5.95 thousand downloads total - 10 stars on GitHub - 3 maintainers
keera-hails-mvc-model-protectedmodel 0.8.0
5 versions - Latest release: about 2 years ago - 4 dependent repositories - 1.79 thousand downloads total - 2 maintainersyampa-gloss 0.2.1 💰
A gloss backend for yampa3 versions - Latest release: about 1 year ago - 1 dependent repositories - 1.17 thousand downloads total - 10 stars on GitHub - 1 maintainer
qt 1.1.6
Qt bindings2 versions - Latest release: over 8 years ago - 1.63 thousand downloads total - 2 maintainers
keera-hails-i18n 0.8.0
5 versions - Latest release: about 2 years ago - 1 dependent repositories - 1.61 thousand downloads total - 2 maintainerskeera-hails-mvc-controller 0.8.0
4 versions - Latest release: about 2 years ago - 2 dependent repositories - 1.59 thousand downloads total - 2 maintainerskeera-callbacks 0.1
1 version - Latest release: almost 9 years ago - 1 dependent repositories - 1.3 thousand downloads total - 2 maintainerskeera-hails-mvc-model-lightmodel 0.8.0
4 versions - Latest release: about 2 years ago - 1.27 thousand downloads total - 2 maintainerskeera-hails-mvc-view-gtk 0.8.0
2 versions - Latest release: about 2 years ago - 4 dependent repositories - 1.46 thousand downloads total - 2 maintainerskeera-hails-mvc-solutions-config 0.8.0
2 versions - Latest release: about 2 years ago - 2 dependent repositories - 1.31 thousand downloads total - 2 maintainerskeera-hails-reactive-gtk 0.8.0
8 versions - Latest release: about 2 years ago - 4 dependent repositories - 3.9 thousand downloads total - 2 maintainerskeera-hails-mvc-view 0.8.0
2 versions - Latest release: about 2 years ago - 3 dependent repositories - 1.5 thousand downloads total - 2 maintainersgtk-helpers 0.1.0
A collection of auxiliary operations and widgets related to Gtk+.3 versions - Latest release: almost 4 years ago - 4 dependent repositories - 2.41 thousand downloads total - 2 maintainers
keera-hails-reactivelenses 0.8.0
3 versions - Latest release: about 2 years ago - 1.5 thousand downloads total - 2 maintainerskeera-hails-reactive-network 0.8.0
6 versions - Latest release: about 2 years ago - 1.79 thousand downloads total - 2 maintainerskeera-hails-mvc-solutions-gtk 0.8.0
4 versions - Latest release: about 2 years ago - 2 dependent repositories - 1.81 thousand downloads total - 2 maintainerskeera-hails-mvc-environment-gtk 0.8.0
5 versions - Latest release: about 2 years ago - 4 dependent repositories - 1.69 thousand downloads total - 2 maintainerskeera-hails-reactive-wx 0.8.0
5 versions - Latest release: about 2 years ago - 1 dependent repositories - 1.35 thousand downloads total - 2 maintainerskeera-hails-reactive-yampa 0.8.0
4 versions - Latest release: about 2 years ago - 1 dependent repositories - 1.29 thousand downloads total - 2 maintainerskeera-hails-reactive-fs 0.8.0
3 versions - Latest release: about 2 years ago - 1.55 thousand downloads total - 2 maintainerskeera-hails-reactive-polling 0.8.0
2 versions - Latest release: about 2 years ago - 1 dependent repositories - 1.18 thousand downloads total - 2 maintainerssimple-affine-space 0.2.1
4 versions - Latest release: about 1 year ago - 8 dependent packages - 16 dependent repositories - 3.71 thousand downloads total - 2 maintainersclean-home 0.0.5 💰
DEPRECATED: Keep your $HOME clean by finding old conf files5 versions - Latest release: about 7 years ago - 4.3 thousand downloads total - 4 stars on GitHub - 2 maintainers
MissingK 0.0.1
2 versions - Latest release: about 7 years ago - 3 dependent repositories - 2.49 thousand downloads total - 2 maintainersYampaSynth 0.1.2
YampaSynth is a software synthesizer implemented in Yampa, domain specific language embedded in H...6 versions - Latest release: about 13 years ago - 133 dependent repositories - 6.11 thousand downloads total - 3 maintainers
SpaceInvaders 0.13.3
Video game implemented in Yampa.5 versions - Latest release: over 2 years ago - 4.81 thousand downloads total - 3 maintainers
Haskelloids 0.1.1
2 versions - Latest release: about 14 years ago - 2.26 thousand downloads total - 2 maintainerscopilot-verifier 3.19
copilot-verifier is an add-on to the Copilot Stream DSL for verifying the correctness of C code g...2 versions - Latest release: about 2 months ago - 37 downloads total - 3 maintainers
copilot-bluespec 3.19
This package is a back-end from Copilot to FPGAs in Bluespec. Copilot is a stream (i.e., infinit...1 version - Latest release: about 2 months ago - 17 downloads total - 3 maintainers
copilot 3.18.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...49 versions - Latest release: 4 months ago - 4 dependent packages - 5 dependent repositories - 26.8 thousand downloads total - 4 maintainers
copilot-language 3.18.1
The concrete syntax for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific lang...38 versions - Latest release: 4 months ago - 5 dependent packages - 6 dependent repositories - 15.9 thousand downloads total - 4 maintainers
copilot-libraries 3.18.1
Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific l...32 versions - Latest release: 4 months ago - 1 dependent package - 4 dependent repositories - 10.7 thousand downloads total - 4 maintainers
copilot-c99 3.18.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...38 versions - Latest release: 4 months ago - 4 dependent packages - 5 dependent repositories - 14.4 thousand downloads total - 4 maintainers
copilot-interpreter 3.18.1
Interpreter for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DS...11 versions - Latest release: 4 months ago - 1 dependent package - 3 dependent repositories - 531 downloads total - 1 maintainer
copilot-prettyprinter 3.18.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...10 versions - Latest release: 4 months ago - 3 dependent packages - 3 dependent repositories - 467 downloads total - 1 maintainer
copilot-theorem 3.18.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...25 versions - Latest release: 4 months ago - 2 dependent packages - 4 dependent repositories - 4.58 thousand downloads total - 4 maintainers
copilot-core 3.18.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...33 versions - Latest release: 4 months ago - 6 dependent packages - 9 dependent repositories - 12.2 thousand downloads total - 3 maintainers