Personal Music Server
☆63Apr 23, 2014Updated 11 years ago
Alternatives and similar repositories for sockso
Users that are interested in sockso are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- 8========D The art of hiding sensitive data in porn videos☆11Oct 19, 2018Updated 7 years ago
- Durable dead simple queue that allows zero copy semantics. Durable under failure!☆18Dec 2, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- distributed key-value cache (memcached in Linux Kernel)☆11Mar 15, 2017Updated 9 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆11Oct 17, 2023Updated 2 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- I am writing a memory manager to make life easier in C++. The goal is to create something that replaces new and delete and maintains spe…☆14Jul 19, 2015Updated 10 years ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 3 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 13 years ago
- C implementation of a caching and cache-filling library inspired to groupcache☆43Mar 17, 2016Updated 10 years ago
- a small templating language and python parser for generating small stories☆12Sep 10, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An experimental Function Development Kit for the Rust language☆13Aug 13, 2021Updated 4 years ago
- Double-ended queues☆14Feb 3, 2025Updated last year
- A client side SHA256 hash must be calculated before allowing a login. This limits bruteforce login attacks in environments where you can…☆18Sep 7, 2016Updated 9 years ago
- ☆15May 16, 2017Updated 8 years ago
- AT command server written in C++☆12Aug 2, 2023Updated 2 years ago
- A mechanisation of Wasm in Isabelle.☆32Feb 13, 2026Updated last month
- ROS2 package that allows recording without interprocess communication☆17Feb 25, 2025Updated last year
- DHT22 library C-language☆12Nov 25, 2015Updated 10 years ago
- Haskell RSA Library☆21Apr 18, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- ☆21Apr 27, 2023Updated 2 years ago
- Profiling library☆14Jan 15, 2026Updated 2 months ago
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Aug 23, 2015Updated 10 years ago
- Generate Docker images containing additional packages☆14Dec 23, 2016Updated 9 years ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆12Apr 14, 2022Updated 3 years ago
- [Windows] File Hash(MD5) Calculator.☆13Feb 18, 2023Updated 3 years ago
- A micro compiler for the FORTH programming language☆13May 28, 2021Updated 4 years ago
- Plugin that performs Enhancement (entity, transactional, query bean) and can generate query beans from entity beans written in Kotlin via…☆10Feb 16, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Jan 10, 2026Updated 2 months ago
- user defined keyword tags for beets☆19Mar 11, 2024Updated 2 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated last year
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19May 14, 2023Updated 2 years ago
- Shipwire API client☆16Nov 17, 2017Updated 8 years ago
- Ethereum Identity Research for MSc Thesis at Trinity College Dublin☆10May 17, 2017Updated 8 years ago