tkersey

tkersey's Stars

• hiddewie/Elevator

  CQRS, Event Sourcing, Axon, Kotlin & Spring Boot

  Language:Kotlin53

• crabzilla/crabzilla

  Yet another Event Sourcing experiment. A project exploring Vert.x to develop Event Sourcing / CQRS applications.

  Language:Kotlin739

• fraktalio/fmodel

  Functional, Algebraic and Reactive domain modeling with Kotlin (Multiplatform)

  Language:Kotlin25412

• haskell/HTTP

  Haskell HTTP package

  Language:Haskell17859

• ankitpokhrel/jira-cli

  🔥 Feature-rich interactive Jira command line.

  Language:Go4k218

• kuroko-lang/kuroko

  Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.

  Language:Python43326

• dpanic/convert

  Language:Go51

• Unthrottled/event-sourcing-workshop

  Project that lays the foundation of event sourced applications.

  Language:CSS1

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.6k319

• maxsnew/grammars-and-semantic-actions

  Monoidal Toposes of Grammars and Semantic Actions

  Language:TeX181

• projectatomic/dockerfile_lint

  Language:JavaScript8611

• EmergeTools/Pow

  Delightful SwiftUI effects for your app

  Language:Swift3.7k153

• prometheus/node_exporter

  Exporter for machine metrics

  Language:Go11.4k2.4k

• VertexUI/VertexGUI

  A framework for creating cross-platform GUI applications with Swift.

  Language:Swift16310

• rogervinas/spring-boot-docker

  🐳 Spring Boot with Docker

  Language:Kotlin2

• Ozsie/kotlin-webflux

  Kotlin+Sprin Boot 2+WebFlux

  Language:Kotlin82

• jvgrootveld/telescope-zoxide

  An extension for telescope.nvim that allows you operate zoxide within Neovim.

  Language:Lua32517

• undergroundwires/privacy.sexy

  Open-source tool to enforce privacy & security best-practices on Windows, macOS and Linux, because privacy is sexy

  Language:TypeScript4.2k179

• Adriandmen/05AB1E

  A concise stack-based golfing language

  Language:Elixir76448

• typedb/typeql

  TypeQL: the power of programming, in your database

  Language:Java22146

• cryzed/TrafficToll

  NetLimiter-like bandwidth limiting and QoS for Linux

  Language:Python24415

• amrzv/awesome-colab-notebooks

  Collection of google colaboratory notebooks for fast and easy experiments

  Language:Python1.4k255

• google/idris-protobuf

  A partial implementation of Protocol Buffers in Idris

  Language:Idris3011

• FranckS/RingIdris

  Ring solver for Idris

  Language:Idris204

• uwap/idris-http

  An HTTP library for idris

  Language:Idris397

• puffnfresh/iridium

  xmonad with the X11 abstracted and configured with Idris

  Language:Idris2069

• skarab42/riux

  📦 Fully typed and immutable store made on top of Immer with mutation, action, subscription and validation!

  Language:TypeScript9

• larsthorup/vitest-fixture

  Reusable fixtures for your Vitest tests

  Language:JavaScript201

• tsdjs/tsd

  Check TypeScript type definitions

  Language:TypeScript2.4k67

• skarab42/vite-plugin-vitest-typescript-assert

  🔥 TypeScript type assertion plugin for vitest

  Language:TypeScript791