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/unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
lambdageek/monovm-embed-sample
Example showing how to embed .NET 6 MonoVM in a native C application
lambdageek/sample-dotnet-wasi-vscode
A sample VS Code extension that uses .NET WASI WebAssembly
lambdageek/monostump
A logging utility for the Mono AOT compiler
lambdageek/MSBuildStructuredLog
A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
lambdageek/dotnet-webgl-demo
Small example of using .NET WebAssembly to render WebGL
lambdageek/dotnet-wasm-raytracer
port of old demo
lambdageek/llvm-65116
linux-x64 repro for inline asm `call` no dtor
lambdageek/interp-enum-compare-repro
lambdageek/magic-const-rewriter
Replace a payload in an object file by searching for a magic constant
lambdageek/repro-coreclr-lldb
lambdageek/wasm-nl-no-marshal
lambdageek/aspnetcore
ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.
lambdageek/big-buffer-write
lambdageek/dac-nullptr
lambdageek/diagnostics
This repository contains the source code for various .NET Core runtime diagnostic tools and documents.
lambdageek/gh-93770-efcorerepro
lambdageek/hotreload-utils
Utilities for .NET hot reload
lambdageek/jaredpar-complog
Basic Compilation Log support
lambdageek/lambdageek.github.io
lambdageek/llvm-project
Mono's patches for the LLVM repository: https://www.mono-project.com/docs/advanced/runtime/docs/llvm-backend/#the-llvm-mono-branch
lambdageek/maui-aot-race
lambdageek/MauiGreen2
lambdageek/modext
adding things
lambdageek/mono-loader-lock-deadlock
Demonstration of the problems caused by Mono's global loader lock
lambdageek/naothello
Experiment with NativeAOT static libs
lambdageek/repro-iclientproxy-vtable-fail
lambdageek/roundtrip-json
lambdageek/runtime
.NET is a cross-platform runtime and libraries, for cloud, IoT and desktop apps. It includes a garbage collector, JIT compiler, primitive data types and class libraries.
lambdageek/unsafe-accessor-native