Awesome List Updates on Aug 21, 2021
9 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Ocaml
Community
Networking
- HTTP Tools:
- ocaml-cohttp (⭐745) – Very lightweight HTTP server using Lwt or Async.
- ocurl (⭐59) – OCaml bindings to libcurl.
- httpaf (⭐543) – A high performance, memory efficient, and scalable web server written in OCaml.
- piaf (⭐205) - Client/server library for HTTP/1.X / HTTP/2 written entirely in OCaml.
2. Awesome Coq
Projects / Frameworks
- FreeSpec (⭐52) - Framework for modularly verifying programs with effects and effect handlers.
- Hybrid - System for reasoning using higher-order abstract syntax representations of object logics.
Projects / Libraries
- Mczify (⭐25) - Library enabling Micromega arithmetic solvers to work when using Mathematical Components number definitions.
Projects / Tools
- coqdoc - Standard documentation tool that generates LaTeX or HTML files from Coq code.
Resources / Books
- Modeling and Proving in Computational Type Theory (⭐101) - Book covering topics in computational logic using Coq, including foundations, canonical case studies, and practical programming.
3. Awesome Keycloak
Community Extensions
4. Awesome Preact
Contents / Boilerplates
- Preact Chrome Extension (⭐692) - A Full Feature Preact Chrome Extension Starter Kit.
- Preact Web Extension (⭐21) - ⚡️ WebExtension Vite Starter Template with Preact.
5. Awesome Ipfs
Apps
- ipfs-chat (⭐143) - Terminal-based, encrypted chatrooms. Allows private messaging & secure in-chat file/directory sharing. Server/broker-less (no signaling/rendezvous server needed). Works over LAN/internet(w/ NAT-traversal).
6. Awesome Love2d
UI
- Slab (⭐337) - Slab is an immediate mode GUI toolkit for the LÖVE framework.
7. Awesome Wardley Maps
Certifications
- GCATI - Foundation in Wardley Mapping. For those who need to know and understand the basics of Strategy using Wardley Mapping either with a view to becoming a Practitioner or with a need to work effectively with Practitioners. A certified Foundation in using Wardley Mapping candidate has proficiency in reading and understanding Wardley Maps.
8. Urban and Regional Planning Resources
Public Data Resources / Climate
- Urban Heat Disparities Project - Census Tract level temperature data derived from a paper use remotely sensed land surface temperature measurements to explore the distribution of the United States urban heating burden by demographic group.
Public Data Resources / Employment
- Bureau of Labor Statistics - The Bureau of Labor Statistics measures and provides access to data on labor market activity, working conditions, price changes, and productivity in the U.S. economy to support public and private decision making.
9. Awesome Broadcasting
Control Systems
- Lawo EmberPlus (⭐121) - Ember Plus - open protocol for interfacing to / from broadcast control systems.
- MIDIMonster (⭐549) - Lightweight adapter tool for common show control protocols.
- Prev: Aug 22, 2021
- Next: Aug 20, 2021