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:PowerShell44 59 623
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:JavaScript13 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/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/child
χld: a χpothetical linker
1
lambdageek/friendly_pipes
An experiment in inter-process communication
Language:Rust1
lambdageek/magic-const-rewriter
Replace a payload in an object file by searching for a magic constant
Language:C#1 2 0
lambdageek/mcp-server-dunnet
a Model Context Protocol for the dunnet text adventure game inside Emacs
Language:Rust1
lambdageek/naothello
Experiment with NativeAOT static libs
Language:CMake1 2 0
lambdageek/repro-coreclr-lldb
Language:C1 2 0
lambdageek/bad-vendor
Example showing `cargo vendor ----respect-source-config` deletes previous vendored sources
Language:Rust1 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/double_up
Example of using the winresource crate with a dll and exe
Language:Rust
lambdageek/gh-93770-efcorerepro
Language:C#2 0
lambdageek/jaredpar-complog
Basic Compilation Log support
Language:C#0 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/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/rustup-components-history
Rustup package status history
lambdageek/upstream-cargo
The Rust package manager
lambdageek/upstream-cc-rs
Rust library for build scripts to compile C/C++ code into a Rust library
lambdageek/upstream-rust
Empowering everyone to build reliable and efficient software.
Language:Rust
lambdageek/upstream-winresource
Create and set windows icons and metadata for executables with a rust build script
lambdageek/wip-rs-deviceid
Rust library for generating and retrieving a deviceid
Language:Rust