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

onnx

Open standard for machine learning interoperability

Language:PythonLicense:Apache-2.0Stargazers:17232Issues:435Issues:2737

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:202Issues:275

FASTER

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

toydb

Distributed SQL database in Rust, written as a learning project

Language:RustLicense:Apache-2.0Stargazers:5987Issues:86Issues:49

Harmony

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

ts-morph

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

Language:TypeScriptLicense:MITStargazers:4718Issues:23Issues:1186

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:57Issues:1759

matrix

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

Language:JavaScriptLicense:MITStargazers:3254Issues:43Issues:47

freenet-core

Declare your digital independence

Language:RustLicense:Apache-2.0Stargazers:2127Issues:49Issues:140

pxt

Microsoft MakeCode (PXT - Programming eXperience Toolkit)

Language:TypeScriptLicense:MITStargazers:2056Issues:99Issues:2607

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1230Issues:61Issues:571

eo

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

Language:JavaLicense:MITStargazers:941Issues:34Issues:1607

MonoMod

C# modding swiss army knife, powered by cecil.

Language:C#License:MITStargazers:745Issues:21Issues:99

messaging

Resource collection for messaging and eventing

msdn-code-gallery-microsoft

Samples from Microsoft teams for the MSDN Code Gallery

MSBuildSdks

MSBuild project SDKs

Language:C#License:MITStargazers:436Issues:27Issues:200

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:8Issues:12

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:8Issues:8

MSBuildProjectCreator

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

Language:C#License:MITStargazers:44Issues:6Issues:20

vscode-webview-react-boilerplate

Boilerplate for developing VSCode Extension Webview with React

Language:TypeScriptStargazers:40Issues:2Issues:0

lnote

a simple note-taking extension for vscode.

Language:TypeScriptLicense:MITStargazers:39Issues:2Issues:7

crypto-accumulators

Research implementation of cryptographic accumulators

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

wallet-connect-sdk

A Wallet Connect SDK for ecosystem tools

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:10Issues:52

dbft3-specification

dBFT formal proofs, history and trends

fxsm

A FSM procedural macro for enums

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

seraph-id-smart-contracts

Seraph ID Smart Contracts Template

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

templokilo

Experimental photo journal presented as a map in space and time

Language:JavaScriptLicense:AGPL-3.0Stargazers:3Issues:2Issues:16

responsive-sass-grid

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

Language:CSSStargazers:2Issues:0Issues:0