derek-baker

derek-baker's Stars

• trekhleb/javascript-algorithms

  📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

  Language:JavaScript189k4.3k35330.3k

• xournalpp/xournalpp

  Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

  Language:C++11.3k1023.5k808

• MassTransit/MassTransit

  Distributed Application Framework for .NET

  Language:C#7k2461.9k1.6k

• EventStore/EventStore

  EventStoreDB, the event-native database. Designed for Event Sourcing, Event-Driven, and Microservices architectures

  Language:C#5.3k2141.5k645

• adamtornhill/code-maat

  A command line tool to mine and analyze data from version-control systems

  Language:Clojure2.4k7764223

• giraffe-fsharp/Giraffe

  A native functional ASP.NET Core web framework for F# developers.

  Language:F#2.1k66355266

• microsoft/sbom-tool

  The SBOM tool is a highly scalable and enterprise ready tool to create SPDX 2.2 compatible SBOMs for any variety of artifacts.

  Language:C#1.6k26211133

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k4441200

• ststeiger/PdfSharpCore

  Port of the PdfSharp library to .NET Core - largely removed GDI+ (only missing GetFontData - which can be replaced with freetype2)

  Language:C#1.1k38293237

• mcintyre321/ValueOf

  Deal with Primitive Obsession - define ValueObjects in a single line (of C#).

  Language:C#888241840

• fsprojects/FSharpPlus

  Extensions for F#

  Language:F#8572921295

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript8292370235

• mjbvz/vscode-markdown-mermaid

  Adds Mermaid diagram and flowchart support to VS Code's builtin markdown preview

  Language:TypeScript67714205125

• domn1995/dunet

  C# discriminated union source generator

  Language:C#64183420

• swlaschin/DomainModelingMadeFunctional

  Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofit.com/books/

  Language:F#441241484

• Azure/PSRule.Rules.Azure

  Rules to validate Azure resources and infrastructure as code (IaC) using PSRule.

  Language:PowerShell398111.1k86

• Azure/reliable-web-app-pattern-dotnet

  The Reliable Web App Pattern is a set of objectives to help your web application converge on the cloud. This repo contains a reference implementation of a reliable web application for .NET.

  Language:Bicep39122211122

• fsprojects/fsharp-companies

  Community curated list of companies that use F#

  3844335127

• microsoft/fsharplu

  This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing, security, async, parsing, diagnostics, configuration files and Json serialization.

  Language:F#358233439

• tlaplus/vscode-tlaplus

  TLA+ language support for Visual Studio Code

  Language:TypeScript3561219033

• PrateekKumarSingh/Graphical

  Open-Source, Platform independent module that consumes data points as input and plots them on a 2D graph 📈📊💹 [Scatter / Bar / Line] on the PowerShell Console/Terminal

  Language:PowerShell349281233

• KevinMarquette/PSGraph

  A set of utilities for working with Graphviz in Powershell

  Language:PowerShell206216649

• interactionresearchstudio/NaturewatchCameraServer

  A Python / OpenCV camera server to stream Pi camera content to a remote client through a website.

  Language:Python103224349

• bpruitt-goddard/vscode-mermaid-syntax-highlight

  Markdown syntax support for the Mermaid charting language

  Language:Mermaid9845838

• microsoft/PSRule-pipelines

  Validate infrastructure as code (IaC) and DevOps repositories using Azure Pipelines.

  Language:PowerShell9085524

• jdhitsolutions/PSCalendar

  :calendar: A set of PowerShell commands for displaying calendars in the console.

  Language:PowerShell668379

• jdhitsolutions/MyMonitor

  A PowerShell module for tracking where you spend your time. Use the commands in this module to track how much time you are spending on different activities based on how long a selected window is active.

  Language:PowerShell20638

• jdhitsolutions/WritingTools

  A collection of files and PowerShell tools to assist in developing and writing a book.

  Language:PowerShell1140

• Jaykul/ReadlineAI

  Readline integrated tool that uses GPT to turn natural language into Bash/ZShell/PowerShell equivalents

  Language:Python5002

• derek-baker/functional-programming-jargon

  Jargon from the functional programming world in simple terms!

  4100