Math & CS awesome List, distinguished by proof and logic technique
Repository Index
61,275 visible repositories in the index
121–144 of 192 · Most stars
A collection of as simple as possible, modern CMake projects
- cmake
- cmake-examples
- cmake-scripts
- cmakelists
A curated list of awesome tools, research, papers and other projects related to password cracking and password security.
- hashcat
- password-cracking
- hash-cracking
- john-the-ripper
:alien: A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.
A curated research map of Recursive Self-Improvement (RSI): models, agents, harnesses, embodied systems, automated AI R&D, benchmarks, and safety.
A curated list of awesome JavaScript Games 🎮
- javascript-games
- javascript-game
- games
- games-list
A list of various lists consisting of academics on Mastodon
- academia
- awesome-list
- mastodon
- scholar
Resources for inspiration, lists of software, libraries and other stuff related to Motion UI design, animations and transitions.
- motion-design
- animation
- ui
- awesome-list
Awesome lists about 5G projects.
A collection of amazing gists
- awesome
- gist
- collection
This repository contains Hands on Test Driven Development Katas (C#)
- tdd-kata
- csharp8
- netframework
- dotnet-core2
A curated list of awesome Perl frameworks and libraries. Come on Pull Requests!
Curated list of references for development of DOS applications.
- dos
- ms-dos
- retroprogramming
- awesome
😎 Awesome lists of capacitor plugins. Made by Capgo
🔐 Tutorial of setting up Security for your API with one way authentication with TLS/SSL and mutual authentication for a java based web server and a client with both Spring Boot. Different clients are provided such as Apache HttpClient, OkHttp, Spring RestTemplate, Spring WebFlux WebClient Jetty and Netty, the old and the new JDK HttpClient, the old and the new Jersey Client, Google HttpClient, Unirest, Retrofit, Feign, Methanol, vertx, Scala client Finagle, Featherbed, Dispatch Reboot, AsyncHttpClient, Sttp, Akka, Requests Scala, Http4s Blaze, Kotlin client Fuel, http4k, Kohttp and ktor. Also other server examples are available such as jersey with grizzly. Also gRPC, WebSocket and ElasticSearch examples are included
- tls
- truststore
- certificate
- keystore
Awesome collection of awesome lists of libraries, tools, frameworks and software for any programming language :D
a list of awesome resources related to security and hacking of VoIP, WebRTC and VoLTE
- awesome-lists
- voip-security
- hacking-voip
- sip-security
A curated compilation of AI-driven generative music resources and projects. Explore the blend of machine learning algorithms and musical creativity.
Admidio is a free open source user management system for websites of organizations and groups. The system has a flexible role model so that it’s possible to reflect the structure and permissions of your organization.
- php
- admidio
- organization
- user-management
Awesome list about everything related to J2ME. Documentation, academic papers, tutorials, communities, IDEs, SDKs, emulators, apps, video games.
- awesome-list
- j2me
- java
- javame
Code from live exploratory analyses of data in R
A list of recommended Python libraries, and resources, intended for scientific Python users.
You know Simon Wardley's medium posts on his Wardley Mapping technique? This is an AsciiDoc of them.
A curated list of awesome curated lists! Inspired by inspiration.