Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Repository Index
47,133 repositories indexed
7,609–7,632 of 12,846 · Most stars
Simple C++ Config Loader Framework(Serialization & Reflection)
- cpp
- json
- yaml
- xml
A local-first study platform for university lectures: PowerPoint slides, spaced repetition, exams, and an optional AI tutor on the Gemini free tier.
An iPhone (or iPod touch) port of the popular old QBasic game with spunk!
Lightweight analysis tool for detecting mutability in Java classes
:hammer: A multiple reverse shell session/client manager via terminal
- socket
- python
- ctf
- attack-defense
A enhanced RE CVX port/recompilation including online co-op and enhanced rendering options
Automated collection and reporting of citations for used software/methods/datasets
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
Cellmodel-driven collectionview manager
Simulates enough of a Telnet connection in order to log failed login attempts.
Super Mario Maker 2 Recomp
A secure password manager for iOS and Android platforms
@Pulsar-Edit package for highlighting occurrences of your selection.
- customization
- highlighting
- package
- pulsar-edit
Apache HBase Connectors
- database
- java
- hbase
Shake Gesture Detection API for Apple Watch
- watchos
- swift
- shake-detection
- gesture
Proper YAML support for Objective-C. Based on recommended libyaml.
📱 Xamarin.Forms UI effects
phase4 - AS4 client and server for integration into existing systems. Specific support for Peppol and CEF eDelivery built-in.
- as4
- java
- eprocurement
- einvoicing
A collection of links that cover what happened during EmberConf 2015
Convert a camelized string into a lowercased one with a custom separator: unicornRainbow → unicorn_rainbow
A small and easy-to-use one-time password generator library for Java implementing RFC 4226 (HOTP) and RFC 6238 (TOTP).
- java
- otp
- totp
- hotp
Ecto adapter for Mnesia Erlang term database.
- mnesia
- ecto
- erlang
- adapter
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang