Stars
A purely functional expression language for No-Code tools
A fast, lightweight text editor for Markdown, JSON, YAML, and TOML files. Built with Rust and egui for a native, responsive experience.
A robust & multipurpose Graph object for JavaScript & TypeScript.
🔎 Static code analysis engine to find security issues in code.
A controlled concurrency testing framework for the JVM
Shuttle is a library for testing concurrent Rust code
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
magic-trace collects and displays high-resolution traces of what a process is doing
An analysis tool for Python that blurs the line between testing and type systems.
Continuous profiling integration for JetBrains IDEs.
alvin-r / snooper-ai
Forked from cool-RR/PySnooperpython LLM powered debugger. Fork of PySnooper - Sends the execution trace to an LLM
YouTrackDB is a general use an object-oriented graph database supporting full-text and geospatial models in one product. YouTrackDB supports Gremlin queries, ACID transactions, full-text indexing q…
Kotlin Multiplatform Collection of Benchmarks focused on Kotlin/Wasm performance
A Git-compatible VCS that is both simple and powerful
Hierarchical Reasoning Model Official Release
A verifier for automated and interactive proofs about transition systems.
A lightweight, efficient, and idiomatic library providing Trie data structures for Kotlin Multiplatform
Koog is the official Kotlin framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-brows…
Compose Hot Reload: Make changes to your UI code in a Compose Multiplatform application, and see the results in real time. No restarts required. Compose Hot Reload runs your application on the JetB…