dimitris-papadimitriou-chr

Dimitris Papadimitriou's starred repositories

maui

.NET MAUI is the .NET Multi-platform App UI, a framework for building native device applications spanning mobile, tablet, and desktop.

Language:C#MIT21782 652 12370

csharplang

The official repo for the design of the C# programming language

Language:C#11055 687 2162

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION10816 242 161

clean-code-dotnet

:bathtub: Clean Code concepts and tools adapted for .NET

Language:C#MIT6912 280 43

language-ext

C# functional language extensions - a base class library for functional programming

Language:C#MIT6235 180 766

vavr

vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

Language:JavaNOASSERTION5571 182 1194

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.14675 103 9919

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.03963 67 1580

lean

Lean Theorem Prover

Language:C++Apache-2.02128 117 1124

book

A textbook on informal homotopy type theory

Language:TeX1996 122 628

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXCC-BY-4.01010 98 168

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION922 56 506

IDDD_Samples_NET

These are the sample Bounded Contexts for C#.NET from the book "Implementing Domain-Driven Design" by Vaughn Vernon: http://vaughnvernon.co/?page_id=168

Language:C#NOASSERTION916 109 8

frap

Formal Reasoning About Programs

Language:CoqNOASSERTION642 47 27

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellMIT564 46 61

dotnet-template-onion

Onion Architecture with .NET 6/.NET Core and CQRS/Event Sourcing following a DDD approach

Language:C#330 15 4

DDD

Domain-Driven Design example

Language:C#263 8 2

observable-webworker

Simplified API for working with Web Workers with RxJS

Language:TypeScriptMIT220 7 26

FluentMediator

:twisted_rightwards_arrows: FluentMediator is an unobtrusive library that allows developers to build custom pipelines for Commands, Queries and Events.

Language:C#Apache-2.0191 10 26