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
Language:PowerShell41 59 619
runtime
.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
Language:C#16.9k 458 68.5k5.2k
freer-church
Church-encoding of the Freer monad
Language:Haskell28 4 01
hithread
Barebones example of threads on .NET for WebAssembly
Language:JavaScript12 2 00
mono
Mono open source ECMA CLI, C# and .NET implementation.
Language:C#16 4 03
monovm-embed-sample
Example showing how to embed .NET 6 MonoVM in a native C application
Language:Makefile20 3 03
MSBuildStructuredLog
A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
Language:C#6 1 40
sample-dotnet-wasi-vscode
A sample VS Code extension that uses .NET WASI WebAssembly
Language:TypeScript11 2 11
unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Language:Haskell56 4 2818

lambdageek's Repositories

lambdageek/unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Language:Haskell56 4 2818
lambdageek/monovm-embed-sample
Example showing how to embed .NET 6 MonoVM in a native C application
Language:Makefile20 3 03
lambdageek/sample-dotnet-wasi-vscode
A sample VS Code extension that uses .NET WASI WebAssembly
Language:TypeScript11 2 11
lambdageek/monostump
A logging utility for the Mono AOT compiler
Language:C#8 1 1
lambdageek/MSBuildStructuredLog
A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
Language:C#6 1 40
lambdageek/dotnet-wasm-raytracer
port of old demo
Language:C#2 2 0
lambdageek/llvm-65116
linux-x64 repro for inline asm `call` no dtor
Language:C++2 2 0
lambdageek/interp-enum-compare-repro
Language:C#1 2 0
lambdageek/magic-const-rewriter
Replace a payload in an object file by searching for a magic constant
Language:C#1 2 0
lambdageek/naothello
Experiment with NativeAOT static libs
Language:CMake1 2 0
lambdageek/repro-coreclr-lldb
Language:C1 2 0
lambdageek/wasm-nl-no-marshal
Language:C#1 2 0
lambdageek/aspnetcore
ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.
Language:C#1 0
lambdageek/bad-vendor
Example showing `cargo vendor ----respect-source-config` deletes previous vendored sources
Language:Rust1 0
lambdageek/big-buffer-write
Language:TypeScript2 0
lambdageek/dac-nullptr
Language:C++1 0
lambdageek/diagnostics
This repository contains the source code for various .NET Core runtime diagnostic tools and documents.
Language:C++1 0
lambdageek/gh-93770-efcorerepro
Language:C#2 0
lambdageek/hotreload-utils
Utilities for .NET hot reload
Language:PowerShell1 0
lambdageek/jaredpar-complog
Basic Compilation Log support
Language:C#0 0
lambdageek/lambdageek.github.io
Language:HTML2 0
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
Language:C++1 0
lambdageek/maui-aot-race
Language:C#1 0
lambdageek/MauiGreen2
Language:C#2 0
lambdageek/modext
adding things
Language:C#1 0
lambdageek/mono-loader-lock-deadlock
Demonstration of the problems caused by Mono's global loader lock
Language:C#2 0
lambdageek/repro-iclientproxy-vtable-fail
Language:C#2 0
lambdageek/roundtrip-json
Language:C#1 0
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.
Language:C#1 0
lambdageek/unsafe-accessor-native
Language:C#2 0