adelbertc Goto Github PK
Name: Adelbert Chang
Type: User
Company: @octoml
Location: Seattle
Name: Adelbert Chang
Type: User
Company: @octoml
Location: Seattle
My Emacs configuration
IO types and classes for Scala.
Algebraic graphs
Experimental project to lay out basic algebra type classes
The Anpu theme for the Zola static site generator
Purely functional JSON parser and library in scala.
friendly little parsers
Haskell Avro Encoding and Decoding Native Support (no RPC)
A list of awesome compiler projects and papers for tensor computation and deep learning.
Slides for my BayHac 2017 talk "All About Applicative"
Demonstrate using Cats with Spark
A list of temporary email providers
Character set detection for Haskell
Cinema is no longer an active project - it has been replaced with Sabre.
Yet another JSON library for Scala
Invertible syntax for Scala.
Scala port of the ideas in the [Next Level MTL](https://www.youtube.com/watch?v=GZPup5Iuaqw) talk.
Scala community builds
Dialectic is a (work in progress) Scala implementation of the *Kanren languages.
Dielectric is a playground for coming up with a more functional way of interacting with Spark.
Flexible law checking for Scala
data structures for pure functional programming in scala. see the completely incomplete documentation website:
principled database access for scala
The beginning of my dotfiles/folders collection.
Answers to Ulf Norell and James Chapman's "Dependently Typed Programming in Agda" exercises.
emacs config
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.