Awesome List Updates on Jun 30, 2024
8 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Playcanvas
Interactive Experiences
- Realise - A video game to accompany the new EP from Hearse Pileup.
2. Awesome Osint
Geospatial Research and Mapping Tools / GitHub
3. Awesome Cryptography
Rust / Git
- ronkathon (⭐318) - Educational, mathematically transparent, well documentated cryptography in rust.
4. Awesome Coq
Projects / User Interfaces
- jsCoq (⭐530) - Port of Coq to JavaScript, which enables running Coq projects in a browser.
Projects / Plugins
- Coinduction (⭐19) - Plugin for doing proofs by enhanced coinduction.
- Waterproof proof language (⭐42) - Plugin providing a language for writing proof scripts in a style that resembles non-mechanized mathematical proof.
5. Awesome Cpp
Database
- libpg_query (⭐1.3k) - C library for accessing the PostgreSQL parser outside of the server environment. [BSD-3-Clause]
6. Awesome Playwright
Reporters
- playwright-slack-report (⭐125) - Publish your Playwright test results to your favorite Slack channel(s).
7. Awesome Neovim
(requires Neovim 0.5)
- rachartier/tiny-inline-diagnostic.nvim (⭐1.1k) - Display prettier diagnostic messages. Display one line diagnostic messages where the cursor is, with icons and colors.
8. Awesome Webaudio
Packages / Apps
- Binary Synth (⭐74) - A web-synthesizer that generates sound from the binary code of any files.
- Prev: Jul 01, 2024
- Next: Jun 29, 2024