Skip to content
Avatar

Organizations

@microsoft
Block or Report

Block or report lovettchris

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. SgmlReader is a .NET library that is handy for converting SGML content (like HTML and OFX) into well formed XML via XmlReader, XmlDocument, XDocument or XPathDocument. It runs on Windows and Linux …

    C# 26 13

  2. xmldiff Public

    A C# library for comparing 2 XML documents, creating a "patch" object that can also be used to merge those changes.

    C# 8 5

  3. Use ELL to compile and deploy deep neural networks onto ARM Cortex M4 class chips like the Azure IoT DevKit.

    Assembly 4

  4. JavaScript 2 2

  5. A fun web app that provides multi-player Trivia game, great for giving campaigns.

    JavaScript 1

1,407 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2022

Created a pull request in leanprover/lean4 that received 75 comments

feat: simple uri escaping and unescaping

import Std.System.Uri open System.Uri /- Uri character escaping includes UTF-8 encoding for the 😵 char! -/ #eval toFileUri "/temp/test.xml?😵=2022" --

+284 −37 75 comments
Reviewed 6 pull requests in 4 repositories

Created an issue in leanprover/lean4 that received 7 comments

#eval String.fromUTF8Unchecked (ByteArray.mk #[0xab, 0xea]) hangs

Prerequisites Put an X between the brackets on this line if you have done all of the following: Checked that your issue isn't already filed. Red…

1 task done
7 comments

Seeing something unexpected? Take a look at the GitHub profile guide.