uniprofA stack tracer/profiler for Xen domains
Stars: ✭ 29 (-74.11%)
barectfGenerator of ANSI C tracers which output CTF data streams
Stars: ✭ 50 (-55.36%)
peekabooAn standalone execution trace library built on DynamoRIO.
Stars: ✭ 17 (-84.82%)
sbt-guardrailPrincipled code generation from OpenAPI specifications
Stars: ✭ 24 (-78.57%)
http4s-laminar-stackA complete example of a fullstack (I actually don't know what this means) Scala application, using http4s on the backend and Laminar and Scala.js on the frontend
Stars: ✭ 43 (-61.61%)
SqlFunIdiomatic data access for F#
Stars: ✭ 33 (-70.54%)
ftracerA toolkit for tracing C/C++ program, to generate a time-line based callgraph
Stars: ✭ 38 (-66.07%)
http4s-finagleHttp4s on Finagle Server or Client
Stars: ✭ 12 (-89.29%)
rocket-pipesPowerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
Stars: ✭ 18 (-83.93%)
profilerA tool to trace java method dynamically for android application.
Stars: ✭ 32 (-71.43%)
classy-optics🔎 Source code shown at my talks at Scale by the Bay 2018 and Scalar 2019
Stars: ✭ 25 (-77.68%)
typelevel-stack.g8📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x
Stars: ✭ 63 (-43.75%)
influencer-statsPlayground for measuring performance of functional programming tools in Scala. Gathers statistics about videos.
Stars: ✭ 24 (-78.57%)
ManagementManagement Endpoints used to allow insight into your applications
Stars: ✭ 31 (-72.32%)
telegram-bot-fs2Example telegram bot implementation using fs2 and http4s client (no akka)
Stars: ✭ 41 (-63.39%)
spotify-nextSmall CLI app for filtering out music on Spotify.
Stars: ✭ 45 (-59.82%)
LambdaPhysically based renderer written in C++
Stars: ✭ 26 (-76.79%)
idealingua-v1IdeaLingua RPC for Scala, TypeScript, C#, Go
Stars: ✭ 13 (-88.39%)
pfhaisSource code of the book Pure functional HTTP APIs in Scala including a chapter about upgrading to Scala 3.
Stars: ✭ 48 (-57.14%)
http4s-munitIntegration between http4s & MUnit
Stars: ✭ 16 (-85.71%)
http4s-jwt-auth🔒 Opinionated JWT authentication library for Http4s
Stars: ✭ 85 (-24.11%)
http4s-domhttp4s, in a browser near you
Stars: ✭ 13 (-88.39%)
http4s-graalAn experiment running http4s as native image with Graal (+ Substrate)
Stars: ✭ 27 (-75.89%)
tradeioA disciplined way to purely functional domain models in Scala
Stars: ✭ 19 (-83.04%)
zorechka-botGithub bot for keeping your Bazel dependencies up-to-date and clean
Stars: ✭ 25 (-77.68%)
dokushoSimple Japanese reading stats tracker
Stars: ✭ 12 (-89.29%)
zio-http4s-exampleFor anyone who's struggling to put an http4s server together with ZIO
Stars: ✭ 19 (-83.04%)
UftraceFunction graph tracer for C/C++/Rust
Stars: ✭ 1,986 (+1673.21%)
node-wasm-traceInstruments wasm files and traces execution
Stars: ✭ 24 (-78.57%)
FuSeBMCFuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
Stars: ✭ 26 (-76.79%)
dnf-automatic-restartRestart machine or services after dnf-automatic installed updates
Stars: ✭ 34 (-69.64%)
typescript-monads📚Write safer TypeScript using Maybe, List, Result, and Either monads.
Stars: ✭ 94 (-16.07%)
geometricsAn opinionated library and set of guides for adding application tracing and metrics to a Phoenix application
Stars: ✭ 17 (-84.82%)