halsader

halsader's Stars

• LukaGiorgadze/gonull

  Go package simplifies nullable fields handling using Go Generics.

  Language:Go718

• seblj/roslyn.nvim

  Roslyn LSP plugin for neovim

  Language:Lua10810

• anton0xf/coq-merge-sort

  An example of using the Coq language to generate a simple but practical formally verificated sorting algorithm

  Language:HTML1

• chase-000/SnowRunnerTools

  SnowRunner Tools

  Language:C#164

• TheMulhima/Lumafly

  A cross platform mod manager for Hollow Knight written in Avalonia.

  Language:C#11817

• jjti/go-spancheck

  checks usage of OpenTelemetry/Census spans

  Language:Go761

• MihailPreis/dtf-cleaner

  Remove live comments and some modals and views from https://dtf.ru/

  Language:JavaScript1

• jetify-com/typeid-go

  Go implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs

  Language:Go1187

• niyumard/Doom-Emacs-Cheat-Sheet

  This is a cheat sheet for doom emacs, mostly from the guides I see online.

  50362

• zinovyev/pg_meetup_explain

  Rambler&Co Meetup EXPLAIN

  2

• gui-cs/Terminal.Gui

  Cross Platform Terminal UI toolkit for .NET

  Language:C#9.6k681

• uptrace/uptrace

  Open source APM: OpenTelemetry traces, metrics, and logs

  Language:Go3.2k164

• Havunen/SystemTextJsonPatch

  SystemTextJsonPatch is a JSON Patch (JsonPatchDocument) RFC 6902 implementation for .NET using System.Text.Json

  Language:C#9510

• codingteam/Keter

  A roguelike game in the SCP setting.

  Language:Scala155

• Unleash/unleash

  Open-source feature management solution built for developers.

  Language:TypeScript11k685

• cshum/hybridcache

  A multi-level cache library with cache stampede prevention for Go

  Language:Go1234

• CarterCommunity/Carter

  Carter is framework that is a thin layer of extension methods and functionality over ASP.NET Core allowing code to be more explicit and most importantly more enjoyable.

  Language:C#2.1k175

• erikgrinaker/toydb

  Distributed SQL database in Rust, written as an educational project

  Language:Rust6.1k560

• tensorbase/tensorbase

  TensorBase is a new big data warehousing with modern efforts.

  Language:Rust1.4k116

• Cysharp/MessagePipe

  High performance in-memory/distributed messaging pipeline for .NET and Unity.

  Language:C#1.4k98

• MargaretKrutikova/fsharp-ddd-cqrs

  Language:F#242

• ppKrauss/PostgREST-writeAPI

  Translate your OpenAPI specification into a NGinx config-file to implement your PostgREST system

  Language:JavaScript414

• mattermost/mattermost

  Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

  Language:TypeScript30.1k7.2k

• microsoft/terminal

  The new Windows Terminal and the original Windows console host, all in the same place!

  Language:C++94.9k8.2k

• thewhitetulip/web-dev-golang-anti-textbook

  Learn how to write webapps without a framework in Go.

  Language:Go3.2k279

• hoanhan101/ultimate-go

  The Ultimate Go Study Guide

  Language:Go14.9k1.2k

• diasurgical/devilution

  Diablo devolved - magic behind the 1996 computer game

  Language:C++8.8k919

• minio/minio

  MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.

  Language:Go46.8k5.4k

• ClickHouse/ClickHouse

  ClickHouse® is a real-time analytics DBMS

  Language:C++36.7k6.8k

• navozenko/LinqSpecs

  A toolset for use the specification pattern in LINQ queries.

  Language:C#18627