Pinned Repositories
CarbonIntrepreter
Interpreter for The Carbon Programming Language
codemirror6-textmate
CodeMirror 6 Extension for Textmate grammars
Digits
An android calculator that uses units in its calculations
Dotfiles
DotNetStarterProject
A starter project for .NET
FpgaPong
Pong implemented on a Cyclone V FPGA/SoC with VGA output
FuzzDotNet
A fuzzing library for C#
ludi
RoommatePredictor
Predict who would say what
pensono's Repositories
pensono/DotNetStarterProject
A starter project for .NET
pensono/FuzzDotNet
A fuzzing library for C#
pensono/FpgaPong
Pong implemented on a Cyclone V FPGA/SoC with VGA output
pensono/CarbonIntrepreter
Interpreter for The Carbon Programming Language
pensono/codemirror6-textmate
CodeMirror 6 Extension for Textmate grammars
pensono/Digits
An android calculator that uses units in its calculations
pensono/Factually
A chrome extension to help users quickly research data
pensono/LaunchChord
Turns a Novation LaunchPad into a grid piano keyboard
pensono/PingMonitor
An example WPF app where you may monitor the connection to several IP addresses or hostnames.
pensono/YamlDotNet
YamlDotNet is a .NET library for YAML
pensono/Carbon
pensono/Dotfiles
pensono/ludi
pensono/RoommatePredictor
Predict who would say what
pensono/allennlp
An open-source NLP research library, built on PyTorch.
pensono/beagleboard-org
Source code for website
pensono/CarbonEnvironment
A data-flow, declarative, general-purpose programming language
pensono/CheckersAI
A simple Checkers AI written in C# using MCTS.
pensono/CodeGrader
Code grading using Static Analysis to assess syntactic equivalence
pensono/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.
pensono/dogears
4-Channel Beagle-Bone ADC. Designed for low-cost sonar applications
pensono/Ethan-Cheerios
A reimplementation of UW PLSE's Cheerios formally verified serialization/deserialization library
pensono/gomarkable
A ReMarkable app for playing Go
pensono/IntelliCoq
IntelliJ Plugin for Coq. Not ready for prime time quite yet.
pensono/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.
pensono/librosa
Python library for audio and music analysis
pensono/LogX
Parametric Logging
pensono/lumberjack
pensono/MDsveX
A markdown preprocessor for Svelte.
pensono/open_spiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.