AhmadHassan-BTed / OpenHeart
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
AhmadHassan-BTed / OpenHeart
tetrionlabs / mathema
Claim-Driven Development: turn software intent into verifiable evidence.
wieslawsoltes / FerroUI
Cross-platform UI framework for Rust: styled property system, data binding, XAML, control themes and a composition renderer. A port of Avalonia.
ShiftLeftSecurity / codepropertygraph
Specification and Scala tooling for the Code Property Graph, a language-agnostic representation of program code for analysis.
UE4SS-RE / RE-UE4SS
Injectable LUA scripting system, SDK generator, live property editor and other dumping utilities for UE4/5 games
HypothesisWorks / hypothesis
The property-based testing library for Python
schemathesis / schemathesis
Catch API bugs before your users do
joernio / joern
Open-source platform that builds code property graphs from source, bytecode, and binaries for querying vulnerabilities with a Scala DSL.
Qloapps / QloApps
QloApps is a Free and Open-source hotel management and reservation system to take a hotel business online. QloApps offers a Property Management System (PMS), a Booking Engine, and an attractive Hotel Website. Elevate hotel operations with QloApps to streamline processes and provide an enhanced experience for both hoteliers and guests.
antithesishq / bombadil
Property-based testing for web and terminal UIs
GrafeoDB / grafeo
Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and RDF and all major query languages.
apple / pkl
A configuration as code language with rich validation and tooling.
AbdullaAlzarooni / ultimate-real-estate-calculator
Claude skills that turn Dubai / UAE property deals into client-ready evaluation reports — real market data, clear verdicts, every calculation shown.
chemprop / chemprop
Message Passing Neural Networks for Molecule Property Prediction
etewiah / property_web_builder
Create a fully featured real estate website on Rails in minutes! ⛺
cporter202 / real-estate-data-apis
A curated directory of real-estate data APIs and web-data workers for listings, valuations, rentals, and market intelligence.
HandyOrg / HandyControl
Contains some simple and commonly used WPF controls
kotest / kotest
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
symfony / property-access
Provides functions to read and write from/to an object or array using a simple string notation
proptest-rs / proptest
Hypothesis-like property testing for Rust
symfony / property-info
Extracts information about PHP class' properties using metadata of popular sources
Fody / PropertyChanged
Injects INotifyPropertyChanged code into properties at compile time
typelevel / scalacheck
Property-based testing for Scala
KirillOsenkov / MSBuildStructuredLog
A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
dotnetcore / SmartSql
SmartSql = MyBatis in C# + .NET Core+ Cache(Memory | Redis) + R/W Splitting + PropertyChangedTrack +Dynamic Repository + InvokeSync + Diagnostics
jqwik-team / jqwik
Property-Based Testing on the JUnit Platform
AmazingAng / old-coder
An old coder's strategy for the agent era: don't read the code — make it run the gauntlet. Evidence-first development skill for coding agents, inspired by Uncle Bob.
haf / expecto
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
hedgehogqa / haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
libimobiledevice / libplist
A library to handle Apple Property List format in binary or XML
a16z / erc4626-tests
Foundry property-based test suites that check whether an ERC4626 vault implementation meets the standard's requirements.
zeemscript / TrustMint
Open-source toolkit for compliant real-world asset tokenization on Stellar.KYC registry, compliance engine, and asset templates for invoices, property shares, and carbon credits.
Volland / lpg-modeler
Design a labeled property graph once. Generate LadybugDB DDL, Neo4j constraints, SHACL shapes and an OWL ontology from it. VS Code extension + CLI.
kamalx06 / TornadoC2
Pull-based C2 framework with ten native transports, concurrent multi-profile handlers, and end-to-end ECDSA-signed tasking. Single Go binary agent with every property baked in at build time. Multi-operator team server with RBAC, audit chain, and a Qt/CLI console. Linux + Windows, amd64 + arm64.
tooladda-online / home-loan-calculator
Home Loan Calculator — Plan your housing loan with instant EMI estimates, total interest breakdown, and a month-wise amortization schedule — free, fast, and entirely in your browser. Free on ToolAdda.online.
dubzzz / fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
ehmicky / wild-wild-path
🤠 Object property paths with wildcards and regexps 🌵