Awesome List Updates on Jan 04, 2023
13 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Ruby
Queues and Messaging
- Lowkiq (⭐142) - Ordered processing of background jobs for cases where Sidekiq can't help.
2. Awesome Crystal
CLI Utils
- hetzner-k3s (⭐2.5k) - A CLI tool to quickly create and manage Kubernetes clusters in Hetzner Cloud
3. Webcomponents the Right Way
Introduction
Custom Elements
Shadow DOM
HTML Templates
4. Awesome Tap
Producers / JavaScript
- node:test - Minimal TAP test runner included with Node.js.
5. Awesome Job Boards
Finance
- OpenQuant - Find the best jobs in Quantitative Finance
6. Awesome Nextjs
Articles
Boilerplates
- Next-Fire-Auth (⭐6) - A awesome boilerplate for startup application with authentication using Next.js + Typescript + Tailwind CSS + Firebase-auth + React-Firebase-Hooks
7. Awesome Jmeter
Tips & Tricks / Utilities
- JMeter tips - JMeter tips and tricks scratchpad.
8. Awesome Generative Deep Art
Inbox: Stable Diffusion / Multi-agents
- Stable Diffusion KLMC2 Animation.ipynb: notebook by @RiversHaveWings to generate animation based on scripted prompts using a technique called KLMC2 discretization of underdamped Langevin dynamics
9. Awesome Zsh Plugins
Plugins / superconsole - Windows-only
- golang (⭐5) - Adds tooling for the Go programming language toolchain.
- rust (wintermi) (⭐8) - Plugin for the rust toolchain.
Completions / superconsole - Windows-only
- gcloud (littleq0903) (⭐79) - Add completions for the Google Cloud SDK.
10. Awesome Agi Cocosci
Embodied Intelligence / Explainable Deep Learning
- 3D dynamic scene graphs: Actionable spatial perception with places, objects, and humans - RSS'20, 2020. [All Versions]. A system for modeling 3D dynamic scene graphs on multiple levels (metric-semantic mesh, objects and agents, places and structures, rooms, and buildings).
11. Awesome Coq
Projects / Puzzles and Games
- Coqoban (⭐23) - Coq implementation of Sokoban, the Japanese warehouse keepers' game.
- Hanoi (⭐26) - The Tower of Hanoi puzzle in Coq, including generalizations and theorems about configurations.
- Mini-Rubik (⭐5) - Coq formalization and solver of the 2x2x2 version of the Rubik's Cube puzzle.
- Name the Biggest Number (⭐64) - Repository for submitting proven contenders for the title of biggest number in Coq.
- Natural Number Game (⭐6) - Coq version of the natural number game developed for the Lean prover.
- Sudoku (⭐19) - Formalization and solver of the Sudoku number-placement puzzle in Coq.
- T2048 (⭐22) - Coq version of the 2048 sliding tile game.
Resources / Course Material
- MathComp School (⭐6) - Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library.
12. Awesome Docker
Security / Other
13. Awesome Microservices
REST / Scala
- Swagger - A simple yet powerful representation of your RESTful API.
Articles & Papers / Scala
- Microservices – Please, don’t - Critical advice about some problems regarding a microservices approach.
- Prev: Jan 05, 2023
- Next: Jan 03, 2023