Light

George Takumi Crary photo

adpextwindong Goto Github PK

followers: 45.0 following: 211.0 repos: 63.0 gists: 7.0

Name: George Takumi Crary

Type: User

Company: WARN Industries, Inc.

Bio: Portland Oregon, USA

Twitter: adpextwindong

Location: Portland, OR

Blog: adpex.net

Oh look a neato Fractal Brownian Motion shader written using the Haskell Hylogen EDSL:

shortened.mov

Currently working at

WARN Industries as a Full Stack Developer.

Currently noodling on

Tora Tiger Language implementation in Haskell
language-java fork to parse and statically analyze JSP at my work
Notes on defect-process's message passing style game engine
Datalog analysis of SSBM replays using Souffle

Previously noodled on

Matrix Support protoype for Hylogen GLSL DSL in a type-safe manner.
TreadMarks PR to build within Nix. My dad loves this game.
Obelisk, Haskell + SDL2 Raycasting rendering engine to accompany Sanglard's Game Engine Black Book.
Patrus, Crafting Interpreters' Lox Language Tree-Walk interpreter in Haskell.
Haskell client for RetroMMO's public web api, using servant-client.
Stra74 Continuation Passing Style Interpreter for the language described in "Continuations, a mathematical semantics for handling full jumps."

Other

INTERESTS: Type Safety, Functional Programming, Domain Specific Languages.
HOW TO REACH ME:
- Twitter: @adpextwindong
- Email: [email protected]

George Takumi Crary's Projects

adpextwindong

analysis

Formal analysis in coq

arith

Demo on how to build parsers with Alex and Happy

awesome-augmented

Centralize all awesome lists with addition info on curated GitHub repos (automated by scripts)

coqfoundations_notes

https://softwarefoundations.cis.upenn.edu/

corvallismelee

craftinginterpreters

Repository for the book "Crafting Interpreters"

cs419_hadoop_assignment

cs496-bar-crawlr-final-project

Final Project for CS496 Android Development

cuboid

3D puzzle game written in Haskell with Yampa/GLUT

cysecbooks

Libros de Cyber Security

defect-process

Defect Process (2d hack n' slash game) full source code

dotfiles

eyeofishap

garpr

ghc-vis

Visualize live Haskell data structures in GHCi

graphviz-visual-editor

A web application for interactive visual editing of Graphviz graphs described in the DOT language.

hackage-server

Hackage-Server: A Haskell Package Repository

haskell_golf

Golfing in Haskell

hcoreutils

RIIHaskell Coreutils

heap

A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.

hsizebreaks

One off scripts for generating size break spreadsheets

hylogen

GLSL embedded in Haskell

hylogen_glsl_demos

idiiifork

Fork of idiii to Stack

introtoswagger

Repository for additional materials to my introduction to swagger

json-to-zod

Converts JSON objects or file to simple Zod schemas

key-state

🗝️ Manage key and button states and statuses

language-java

Java parser and printer for haskell

last-viewer

VueJS Foot scan and shoe last model viewer built on ThreeJS

1
2
3

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.