Awesome List Updates on Aug 21, 2021

11 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Ocaml

Community

• Official OCaml Mailing List

Networking

• HTTP Tools:
  • ocaml-cohttp (⭐699) – Very lightweight HTTP server using Lwt or Async.
  • ocurl (⭐59) – OCaml bindings to libcurl.
  • httpaf (⭐535) – A high performance, memory efficient, and scalable web server written in OCaml.
  • piaf (⭐179) - Client/server library for HTTP/1.X / HTTP/2 written entirely in OCaml.

Utilities

• Uuidm - Uuidm is an OCaml module implementing 128-bit universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122.

2. Awesome Coq

Projects / Frameworks

• FreeSpec (⭐51) - 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 (⭐22) - 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 (⭐76) - Book covering topics in computational logic using Coq, including foundations, canonical case studies, and practical programming.

3. Awesome Rust

Applications / Blockchain

• Parity-Bitcoin (⭐730) - The Parity Bitcoin client

Applications / Productivity

• pier-cli/pier (⭐528) - A central repository to manage (add, search metadata, etc.) all your one-liners, scripts, tools, and CLIs

Applications / System tools

• bandwhich (⭐9.3k) - Terminal bandwidth utilization tool

• diskonaut (⭐2.3k) - Terminal visual disk space navigator

Applications / Utilities

• evansmurithi/cloak (⭐282) - A Command Line OTP (One Time Password) Authenticator application.

Applications / Web

• MASQ-Project/Node (⭐172) - MASQ Node software provides a decentralized mesh-network of nodes for global users to access normal internet content - next evolution of tech beyond Tor & VPN

Development tools / Web Servers

• delta - A syntax-highlighter for git and diff output

Development tools / IDEs

• Emacs
  • emacs-racer (⭐399) - Autocompletion (see also company and auto-complete (⭐1.7k))
  • flycheck-rust (⭐119) - Rust support for Flycheck (⭐2.4k)
  • rust-mode (⭐1.1k) - Rust Major Mode
  • rustic (⭐718) - Rust development environment for Emacs

Development tools / Profiling

• Bytehound (⭐4.4k) - A memory profiler for Linux

Development tools / Static analysis

• facebookexperimental/MIRAI (⭐1k) - an abstract interpreter operating on Rust's mid-level intermediate representation (MIR)

Libraries / Artificial Intelligence

• pkalivas/radiate (⭐147) - A customizable parallel genetic programming engine capable of evolving solutions for supervised, unsupervised, and reinforcement learning problems. Comes with complete and customizable implementation of NEAT and Evtree.

Libraries / GUI

• ivanceras/sauron-native (⭐632) - A truly native and cross platform GUI library. One unified code can be run as native GUI, Html Web and TUI.

Libraries / Web programming

• WebSocket
  • c410-f3r/wtx (⭐104) - Client and server with encryption support.
  • housleyjk/ws-rs (⭐1.5k) - lightweight, event-driven WebSockets
  • iddm/urlshortener-rs (⭐49) - A very simple urlshortener library.
  • rust-websocket (⭐1.5k) - A framework for dealing with WebSocket connections (both clients and servers)
  • snapview/tungstenite-rs (⭐1.8k) - Lightweight stream-based WebSocket implementation.
  • swimos/ratchet (⭐32) [ratchet_rs] - Ratchet is a fast, lightweight and fully asynchronous implementation of the WebSocket protocol with support for extensions and Deflate.
  • vi/websocat (⭐6.9k) - CLI for interacting with WebSockets, with functionality of Netcat, Curl and Socat.

4. Awesome Keycloak

Community Extensions

• Keycloak Benchmark Project (⭐125)

5. Awesome Preact

Contents / Boilerplates

• Preact Chrome Extension (⭐658) - A Full Feature Preact Chrome Extension Starter Kit.

• Preact Web Extension (⭐21) - ⚡️ WebExtension Vite Starter Template with Preact.

6. Awesome Ipfs

Apps

• ipfs-chat (⭐119) - 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).

7. Awesome Love2d

UI

• Slab (⭐287) - Slab is an immediate mode GUI toolkit for the LÖVE framework.

8. 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.

9. Urban and Regional Planning Resources

Public Data Resources / Climate

• IPCC Atlas - A novel tools & data for flexible spatial and temporal analyses of much of the observed and projected climate change information underpinning the Working Group I contribution to the Sixth Assessment Report, including regional synthesis for Climatic Impact-Drivers (CIDs).

• MACA - The MACA method is a statistical downscaling method for removing biases from global climate model outputs.

• 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.

10. Public Apis

Business

• API: Smartsheet

  Description: Allows you to programmatically access and Smartsheet data and account information

  Auth: OAuth

  HTTPS: Yes

  CORS: No

  Call this API:

11. Awesome Broadcasting

Control Systems

• Lawo EmberPlus (⭐105) - Ember Plus - open protocol for interfacing to / from broadcast control systems.

• MIDIMonster (⭐481) - Lightweight adapter tool for common show control protocols.

• Prev: Aug 22, 2021
• Next: Aug 20, 2021