walkie Goto Github PK
Name: Eric Walkingshaw
Type: User
Company: @ElementalCognition
Bio: Compiler Engineer @ EC.ai
Location: Corvallis, Oregon
Name: Eric Walkingshaw
Type: User
Company: @ElementalCognition
Bio: Compiler Engineer @ EC.ai
Location: Corvallis, Oregon
My old academic web page.
A refreshingly simple data-driven game engine built in Rust
Coq proofs of some simple choice calculus-related theorems.
A choice calculus library making heavy use of Scrap Your Boilerplate. This is more generic than CC-GTTSE, but also more difficult to use.
Choice calculus library for the 2011 GTTSE Summer School.
A simple tagless final variation language.
A tool for parsing and analyzing C Preprocessor annotated text.
A small and simple CSP solver in Haskell.
My configuration files.
This Obsidian Plugin allows users to have a different file explorer experience.
Frame is a markdown language for creating state machines (automata) in 7 programming languages as well as generating UML documentation.
A behavioral game theory library in Idris.
A Haskell DSEL for experimental game theory.
A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.
A Haskell DSEL for experimental game theory - version corresponding to our paper at IFIP Working Conf. on Domain-Specific Languages 2009.
Data type and type class implementations of object-oriented integer sets, based on William Cook's essay "On Understanding Data Abstraction, Revisted"
Custom Haskell Vimscripts
Haskell bindings to Microsoft's Z3 API (unofficial).
University of Marburg - ICFP Programming Contest 2014
A Dependently Typed Functional Programming Language
Idris mode for vim
A brief example-based introduction to Idris.
Haskell bindings for LLVM
Adds a Markdown environment to LaTeX.
Simply typed PCF with an ML-style module system.
Causal inference on a generalized form of David Lewis's neuron diagrams. Also includes tools for drawing neuron diagrams via GraphViz.
Link to preprints for POPL'18 and colocated events
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.