sbv
una
Our great sponsors
sbv | una | |
---|---|---|
1 | 2 | |
235 | 247 | |
- | 4.9% | |
9.3 | 9.9 | |
6 days ago | 4 days ago | |
Haskell | PHP | |
BSD 3-clause "New" or "Revised" License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
sbv
-
[ANNOUNCE] New release of SBV with support for quantifiers
A set of first-order-logic examples are included in the release. As usual, bug reports, comments, and contributions are most welcome at the github repo.
una
- Una: Build custom community websites, social networks and collaboration hubs
-
[Use Case] You can use Sub-Second Latency Live Streaming on the Social Website: UNA (May 30, 2022)
It's possible to use streaming on our infrastructure without using UNA Cloud and we created a GUIDE on setting up OvenMediaEngine to work with UNA.
What are some alternatives?
bitvec - Bit arrays for Haskell
OvenMediaEngine - OvenMediaEngine (OME) is a Sub-Second Latency Live Streaming Server with Large-Scale and High-Definition. #WebRTC #LLHLS
hw-string-parse
sharp - Laravel 10+ Content management framework
gw - ghcWithPackages cmdline util
pH7-Social-Dating-CMS - 😻 pH7Builder (formerly pH7CMS) is a Professional & Open Source Social Dating CMS written in PHP 8 🚀 This Social Dating Script aims to be low resource-intensive, powerful and secure. pH7Builder includes over 40 modules. It is the first Professional, Free & Open Source Social Dating Site Builder Software and the first choice for enterprise level Da
vt-utils - Vector and Text utilities
Known - A social publishing platform.
bit-vector - Simple bit vectors for Haskell
Textpattern - A flexible, elegant, fast and easy-to-use content management system written in PHP.
liquidhaskell - Liquid Types For Haskell
herbalizer - Convert HAML to ERB