lambdageek
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
@MicrosoftBoston, MA
Pinned Repositories
hotreload-utils
Utilities for .NET hot reload
runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
freer-church
Church-encoding of the Freer monad
hithread
Barebones example of threads on .NET for WebAssembly
mono
Mono open source ECMA CLI, C# and .NET implementation.
monovm-embed-sample
Example showing how to embed .NET 6 MonoVM in a native C application
MSBuildStructuredLog
A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
sample-dotnet-wasi-vscode
A sample VS Code extension that uses .NET WASI WebAssembly
unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
lambdageek's Repositories
lambdageek doesn’t have any repository yet.