altanh Goto Github PK
Name: Altan Haan
Type: User
Company: UC Berkeley
Bio: CS PhD student @ Berkeley EECS. Previously MLSys @octoml, PL/MLSys research @uwsampl.
Twitter: altan0
Location: Berkeley, CA
Blog: http://altanh.com/
Name: Altan Haan
Type: User
Company: UC Berkeley
Bio: CS PhD student @ Berkeley EECS. Previously MLSys @octoml, PL/MLSys research @uwsampl.
Twitter: altan0
Location: Berkeley, CA
Blog: http://altanh.com/
Yet another SAT solver.
A SAT solver written in C++.
texture generation via cellular automata
Training neural networks in TensorFlow 2.0 with 5x less memory
A synthesis-enabled solver for relational logic
The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.
Fun with DFAs
Exocompilation for productive programming of hardware accelerators
A computation-centric distributed graph processing system.
graph generation and analysis stuff
playing around with the game of life
graphs are cool
GraphMat graph analytics framework
LA3: Distributed Big-Graph Analytics
approximating the impossible
Personal CommonMark based Flask site
Kodkod to Colocolo/Ocelot Compiler
A minimalistic and high-performance SAT solver
modular neural turing machines
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Random racket stuff
combined playground + graveyard of research ideas
Sparse Computing Engine
A library for syntactically rewriting Python programs, pronounced (sinner).
Tensor Algebra for many-body methods
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.