Ethan Shea's repositories
DotNetStarterProject
A starter project for .NET
FuzzDotNet
A fuzzing library for C#
CarbonIntrepreter
Interpreter for The Carbon Programming Language
codemirror6-textmate
CodeMirror 6 Extension for Textmate grammars
LaunchChord
Turns a Novation LaunchPad into a grid piano keyboard
PingMonitor
An example WPF app where you may monitor the connection to several IP addresses or hostnames.
YamlDotNet
YamlDotNet is a .NET library for YAML
RoommatePredictor
Predict who would say what
allennlp
An open-source NLP research library, built on PyTorch.
beagleboard-org
Source code for website
CarbonEnvironment
A data-flow, declarative, general-purpose programming language
CheckersAI
A simple Checkers AI written in C# using MCTS.
CodeGrader
Code grading using Static Analysis to assess syntactic equivalence
danfojs
Danfo.js is an open source, JavaScript library providing high performance, intuitive, and easy to use data structures for manipulating and processing structured data.
dogears
4-Channel Beagle-Bone ADC. Designed for low-cost sonar applications
Ethan-Cheerios
A reimplementation of UW PLSE's Cheerios formally verified serialization/deserialization library
gomarkable
A ReMarkable app for playing Go
IntelliCoq
IntelliJ Plugin for Coq. Not ready for prime time quite yet.
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
librosa
Python library for audio and music analysis
LogX
Parametric Logging
MDsveX
A markdown preprocessor for Svelte.
open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.