DavidGregory084

DavidGregory084's Stars

• WerWolv/ImHex

  🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

  Language:C++45.5k4841.2k2k

• serhii-londar/open-source-mac-os-apps

  🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps

  42.2k9832042.3k

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust21.5k64871564

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.5k110901476

• HabitRPG/habitica

  A habit tracker app which treats your goals like a Role Playing Game.

  Language:JavaScript12.2k2867.8k4.1k

• tigerbeetle/tigerbeetle

  The financial transactions database designed for mission critical safety and performance.

  Language:Zig11k85555526

• HospitalRun/hospitalrun-frontend

  Frontend for HospitalRun

  Language:TypeScript6.8k3299322.2k

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.8k632k434

• console-rs/indicatif

  A command line progress reporting library for Rust

  Language:Rust4.5k19331245

• rebelot/kanagawa.nvim

  NeoVim dark colorscheme inspired by the colors of the famous painting by Katsushika Hokusai.

  Language:Lua4.4k14158186

• microsoft/debug-adapter-protocol

  Defines a common protocol for debug adapters.

  Language:HTML1.5k65291132

• datafaker-net/datafaker

  Generating fake data for the JVM (Java, Kotlin, Groovy) has never been easier!

  Language:Java1.2k22193179

• uhop/stream-json

  The micro-library of Node.js stream components for creating custom JSON processing pipelines with a minimal memory footprint. It can parse JSON files far exceeding available memory streaming individual primitives using a SAX-inspired API.

  Language:JavaScript9901413147

• jqwik-team/jqwik

  Property-Based Testing on the JUnit Platform

  Language:Java5811327864

• WhatsApp/eqwalizer

  A type-checker for Erlang

  Language:Scala513283629

• lefthandedgoat/canopy

  f# web automation and testing library, built on top of Selenium (friendly to c# also)

  Language:F#50837408115

• Iltotore/iron

  Strong type constraints for Scala

  Language:Scala4751511845

• JakubDziworski/Enkel-JVM-language

  Enkel is a simple programming language running on the jvm

  Language:Java31811839

• azdavis/millet

  A language server for Standard ML.

  Language:Rust22085212

• stryker-mutator/stryker4s

  Mutation testing for Scala

  Language:Scala201816437

• Naton1/jvm-explorer

  JVM Explorer is a Java desktop application for browsing loaded class files inside locally running Java Virtual Machines.

  Language:Java1552010

• gnieh/fs2-data

  streaming data parsing and transformation library

  Language:Scala15474427

• kitlangton/scala-update

  Update your Scala dependencies interactively

  Language:Scala13883018

• flyway/flyway-sbt

  Flyway SBT plugin

  Language:Scala127113636

• ota4j-team/open-test-reporting

  Language-agnostic XML and HTML test reporting formats and tooling. Maintained by the JUnit team.

  Language:Java7210157

• armanbilge/fs2-io_uring

  they see me ringin'

  Language:Scala548147

• openjdk/jdk17u-dev

  https://openjdk.org/projects/jdk-updates

  Language:Java5360214

• esbeetee/sbt-vspp

  Language:Scala9301

• opencastsoftware/gradle-build-info

  A Gradle plugin for generating build info as Java code

  Language:Java6120

• opencastsoftware/prettier4j

  A Prettier Printer for Java

  Language:Java5120