This is your work, valued
kotlin-compile-testing. A library for testing Kotlin and Java annotation processors, compiler plugins and code generation
★ 710cmake_git_clone. CMake module to clone git repo at config time
★ 53hkd4s. Higher Kinded Data for Scala 3
★ 52kotlin-elements. Extension of the Java annotation processing API to Kotlin types
★ 10Commit-Strip-Reader. unofficial app for the web comic CommitStrip
★ 8RetainedProperties. Delegated Kotlin properties that survive config changes in Android
★ 3cmake-wrapper. wrapper scripts similar to gradlew which automatically install and configure a specified cmake version
★ 2simplerecycler. Simple RecyclerView library that solves modularity issues
★ 2cvector. Simple generic vector implemented in C
★ 1cmake_gtest. CMake module to automatically add and configure GTest
★ 1cmake_utils. CMake utility functions to improve file globbing, file regexing and manage transitive object link dependencies
★ 1PartialCopyCtors. Partial copy constructors for Kotlin data classes
★ 1wrpl-inspector. A golang library and dear-imgui ui to explore War Thunder replay format
★ 10vibe-types. Multi-language guide to type-safety techniques. What each type system feature enforces, across Python, Rust, Scala 3, and Lean 4. Installable as a Claude Code plugin.
★ 41warthunder-replay-parser. A very, very basic attempt at parsing Warthunder replay files (.wrpl)
★ 14GuidedSampler. GuidedSampler: Coverage-guided Sampling of SMT Solutions
★ 15SMTSampler. SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
★ 31unigen. UniGen approximately uniform sampler
★ 38netlist-graph. Java library for parsing and manipulating graph representations of gate-level Verilog netlists
★ 15scautable. Table utils, one line CSV imports - a table is a Iterator (or iterable) of a `Named Tuple` or `Product`
★ 44Show-Underconstrained. A Fusion 360 add-in that helps find out non fully constrained elements.
★ 30lambda_hpp. A simple-to-use, horrifying-to-reason-about syntatic sugar for C++20 lambdas
★ 6immer. Postmodern immutable and persistent data structures for C++ — value semantics at scale
★ 2.9khttptap. View HTTP/HTTPS requests made by any Linux program
★ 4.2kdouble-view. Java
★ 21cedi. cedi [tsedi] – Cats-Effect Dependency Injection library for Scala
★ 5s3te. A scala 3 tree explorer for the reflect module
★ 53union-derivation. A micro-library to derive a typeclass for Scala 3 Union types.
★ 37timeshift. System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be restored while system is running or from Live CD/USB.
★ 4.2ktyqu. Type-safe Queries
★ 54Struct.hs. C-struct like usage of records in Haskell
★ 13battery. CLI/GUI for managing the battery charging status for Apple silicon (M1, M2, M3) Macs
★ 7.1ksenpai. Senpai is an automated memory sizing tool for container applications.
★ 351zio-clippy. A Scala compiler plugin for better ZIO type mismatch errors.
★ 90hkdms. Scala
★ 5frameless. Expressive types for Spark.
★ 898tf-dotty. Shape-safe TensorFlow in Dotty
★ 48allocation-instrumenter. A Java agent that rewrites bytecode to instrument allocation sites
★ 491tagref. Tagref helps you manage cross-references in your code.
★ 241dijon. A Dynamically Typed Scala Json Library
★ 185avocADO. Safe compile-time parallelization of for-comprehensions for Scala 3
★ 92scala-typed-holes. Scala
★ 189endpoints4s. Describe HTTP endpoints in Scala and derive clients, servers, and documentation
★ 417compose-rules. Static checks to aid with a healthy adoption of Compose
★ 1.4kiskra. Typesafe wrapper for Apache Spark DataFrame API
★ 143s3mock. Embedded S3 server for easy mocking
★ 390sourcecode. Scala library providing "source" metadata to your program, similar to Python's __name__, C++'s __LINE__ or Ruby's __FILE__.
★ 542chucker. 🔎 An HTTP inspector for Android & OkHTTP (like Charles but on device)
★ 4.5kInteractiveHtmlBom. Interactive HTML BOM generation plugin for KiCad, EasyEDA, Eagle, Fusion360 and Allegro PCB designer
★ 4.5kbsc. Bluespec Compiler (BSC)
★ 1.1ksplain. better implicit errors for scala
★ 371acyclic. Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files
★ 250kmq. Kafka-based message queue
★ 341dotty-cps-async. experimental CPS transformer for dotty
★ 195Exposed. Kotlin SQL Framework
★ 9.3kHVM2. A massively parallel, optimal functional runtime in Rust
★ 11kiron. Strong type constraints for Scala
★ 555app-old. Social note-taking
★ 28dep-t. Dependency injection for records-of-functions.
★ 8effectful. An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
★ 478higgledy. Higher-kinded data via generics
★ 171polynote. A better notebook for Scala (and more)
★ 4.6kstan. 🕵️ Haskell STatic ANalyser
★ 594kind-projector. Compiler plugin for making type lambdas (type projections) easier to write
★ 924github-client. Experimental architecture app with example usage intended to be a showcase, test and skeleton app.
★ 230workflow-kotlin. A Swift and Kotlin library for making composable state machines, and UIs driven by those state machines.
★ 1.1kHow_to_learn_modern_electronics. A guide to the adventurer
★ 347sandwich. Yet another test framework for Haskell.
★ 73project-m36. Project: M36 Relational Algebra Engine
★ 950scalqa. Scala Quick API
★ 71scala-webapp-template. A pragmatic skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and, deployments
★ 186hilt-binder. An annotating processing library that automatically generates Dagger Hilt's `@Binds` methods.
★ 72cats-saga. Purely Functional Transaction Management In Scala With Cats
★ 125llama. Go
★ 607spring-boot-graph-processing-example. A sample application that demonstrates how to build a graph processing platform as microservices to create a ranking dashboard of influential Twitter profiles
★ 18keel. Kubernetes Operator to automate Helm, DaemonSet, StatefulSet & Deployment updates
★ 2.7kathena-jdbc. A JDBC driver for AWS Athena
★ 23implicit-hie. Auto generate a stack or cabal multi component hie.yaml file
★ 212Youyue-858D-plus-FAN-speed-mod. LAYOUT FILES: Proper commutation-based speed detection for the BLDC fan.
★ 8Youyue-858D-plus. CODE: Custom firmware for Youyue 858D+ (ATmega168/328P)
★ 172kaleidoscope. Statically-checked inline matching on regular expressions in Scala
★ 168keda. KEDA is a Kubernetes-based Event Driven Autoscaling component. It provides event driven scale for any container running in Kubernetes
★ 10ksticky-pull-request-comment. create comment on pull request, if exists update that comment.
★ 637capability. Extensional capabilities and deriving combinators
★ 225profilo. A library for performance traces from production.
★ 1.6kShowkase. 🔦 Showkase is an annotation-processor based Android library that helps you organize, discover, search and visualize Jetpack Compose UI elements
★ 2.3kinjectedvmprovider. Small lib to use easily use Android's ViewModels with a depedency injection framework like dagger
★ 50sbt-missinglink. An sbt plugin for missinglink
★ 137AntiDebugandMemoryDump. Anti-Debug and Anti-Memory Dump for Android
★ 280publish-plugin. Gradle plugin for publishing to Nexus repositories
★ 448buck50. STM32F103 logic analyzer and more
★ 628quill-trait. Support for using of annotated case classes with arbitrary number of traits as Quill domain models
★ 4mima. A tool for catching binary incompatibility in Scala
★ 482ktargeter. Kotlin compiler plugin that allows overriding annotation use-site targets for properties 🛠️
★ 43linebacker. Finally Tagless Blocking Implementation
★ 92k8s-controller-sidecars. Go
★ 44release-changelog-builder-action. A GitHub action that builds your release notes / changelog fast, easy and exactly the way you want.
★ 861toxiproxy. :alarm_clock: :fire: A TCP proxy to simulate network and system conditions for chaos and resiliency testing
★ 12kWinIPBroadcast. Automagically sends IP broadcast packets to all interfaces on Windows
★ 308jrec. Literally the best anonymous records
★ 36record-dot-preprocessor. A preprocessor for a Haskell record syntax using dot
★ 130mimikatz. A little tool to play with Windows security
★ 22kskip-duplicate-actions. Save time and cost when using GitHub Actions
★ 535action-automatic-releases. READONLY: Auto-generated mirror for https://github.com/marvinpinto/actions/tree/master/packages/automatic-releases
★ 779strimzi-kafka-operator. Apache Kafka® running on Kubernetes
★ 5.9kapproxmc. Approximate Model Counter
★ 89microservices-on-cloud-kubernetes. Microservices demo application on cloud-hosted Kubernetes cluster
★ 260effet. An effect system based on type classes, written in Haskell.
★ 45akka-stream-checkpoint. Checkpoint stage to monitor Akka Streams streaming applications
★ 1dive. A tool for exploring each layer in a docker image
★ 54kflutter_architecture_samples. TodoMVC for Flutter
★ 8.9klinux-scroll-speed-fix. A Chrome app that fixes the slow scroll speed in Chrome for Linux.
★ 60