Harry Pierson (devhawk)

devhawk

Geek Repo

Company:@dbos-inc

Location:Redmond, WA

Home Page:http://devhawk.net

Twitter:@devhawk

Github PK Tool:Github PK Tool

Harry Pierson's starred repositories

matrix

matrix (web-based green code rain, made with love)

Language:JavaScriptLicense:MITStargazers:3254Issues:0Issues:0

messaging

Resource collection for messaging and eventing

Stargazers:703Issues:0Issues:0

MSBuildProjectCreator

A fluent API for creating MSBuild projects for use by unit tests

Language:C#License:MITStargazers:44Issues:0Issues:0

project-data-platform

An experimental attempt to make a CLI for supply-chain modeling for Helpful Engineering's Project Data

Language:Jupyter NotebookLicense:AGPL-3.0Stargazers:9Issues:0Issues:0

ts-morph

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

Language:TypeScriptLicense:MITStargazers:4718Issues:0Issues:0

FASTER

Fast persistent recoverable log and key-value store + cache, in C# and C++.

Language:C#License:MITStargazers:6243Issues:0Issues:0

crypto-accumulators

Research implementation of cryptographic accumulators

Language:C++License:MITStargazers:29Issues:0Issues:0

automerge-classic

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Language:JavaScriptLicense:MITStargazers:14767Issues:0Issues:0

freenet-core

Declare your digital independence

Language:RustLicense:Apache-2.0Stargazers:2127Issues:0Issues:0

MSBuildSdks

MSBuild project SDKs

Language:C#License:MITStargazers:436Issues:0Issues:0

templokilo

Experimental photo journal presented as a map in space and time

Language:JavaScriptLicense:AGPL-3.0Stargazers:3Issues:0Issues:0

fxsm

A FSM procedural macro for enums

Language:RustLicense:MITStargazers:3Issues:0Issues:0

dbft3-specification

dBFT formal proofs, history and trends

Stargazers:9Issues:0Issues:0

ts-parsec

Writing a custom parser is a fairly common need. Although there are already parser combinators in others languages, TypeScript provides a powerful and well-structured foundation for building this. Common parser combinators’ weakness are error handling and ambiguity resolving, but these are ts-parsec’s important features. Additionally, ts-parsec provides a very easy to use programming interface, that could help people to build programming-language-scale parsers in just a few hours. This technology has already been used in Microsoft/react-native-tscodegen.

Language:TypeScriptLicense:NOASSERTIONStargazers:343Issues:0Issues:0

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1230Issues:0Issues:0

vscode-webview-react-boilerplate

Boilerplate for developing VSCode Extension Webview with React

Language:TypeScriptStargazers:40Issues:0Issues:0

lnote

a simple note-taking extension for vscode.

Language:TypeScriptLicense:MITStargazers:39Issues:0Issues:0

responsive-sass-grid

A flexible, responsive grid system written as a tight SASS module.

Language:CSSStargazers:2Issues:0Issues:0

pxt

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

Language:TypeScriptLicense:MITStargazers:2056Issues:0Issues:0

Guan

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.

Language:C#License:MITStargazers:72Issues:0Issues:0

onnx

Open standard for machine learning interoperability

Language:PythonLicense:Apache-2.0Stargazers:17232Issues:0Issues:0

Harmony

A library for patching, replacing and decorating .NET and Mono methods during runtime

Language:C#License:MITStargazers:4996Issues:0Issues:0

MonoMod

C# modding swiss army knife, powered by cecil.

Language:C#License:MITStargazers:745Issues:0Issues:0

eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus

Language:JavaLicense:MITStargazers:941Issues:0Issues:0
License:Apache-2.0Stargazers:7Issues:0Issues:0

ockam

Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.

Language:RustLicense:Apache-2.0Stargazers:4393Issues:0Issues:0

toydb

Distributed SQL database in Rust, written as a learning project

Language:RustLicense:Apache-2.0Stargazers:5987Issues:0Issues:0

msdn-code-gallery-microsoft

Samples from Microsoft teams for the MSDN Code Gallery

License:MITStargazers:684Issues:0Issues:0

seraph-id-smart-contracts

Seraph ID Smart Contracts Template

Language:C#License:MITStargazers:3Issues:0Issues:0

wallet-connect-sdk

A Wallet Connect SDK for ecosystem tools

Language:TypeScriptStargazers:11Issues:0Issues:0