Here are design documentations for several computer science projects. They range from programming languages to microkernels. Those design documentations are mainly maintained by Wei Tang. Most of them are associated with actual source code.
Here are some configuration files and
nixpkgs distributions that I
personally use. Some of them contains a
secrets submodule, so it
might not be directly usable for you. Cherry picking small codes at a
time may be the best way to use it.
Exploring theories of programming languages.
microKanren in miniKanren.
mm implements microKanren in miniKanren (both are logic programming languages). MM gets inductive logic programming without explicitly implement any ILP algorithms.
Ethereum and Ethereum Classic Related
Those are some personal projects about Ethereum and/or Ethereum Classic. Most of them are written in Rust. Note that I work at ETC Dev Team, so you might also be interested to look into the team’s project list.
A bare minimal Ethereum and Ethereum Classic client written in Rust.
A planned Ethereum client that is about to be rolled out around Fall 2017. The goal is to create a full Apache-2 licensed infrustructure for Ethereum in Rust, so that other interesting projects can be rolled out.
ETH/ETC GraphQL Interface
etcql allows users to query all the current account states on the blockchain via the GraphQL interface. It uses a pay-what-you-want subscription. Right now it only supports the Classic blockchain. Ethereum blockchain support might be added if there’s enough interest.
For the Web
Full-stack projects that run in a browser.
Simple Flow-based Machine Learning with Tensorflow.
Flow is a flow-based automation tool that is capable of running simple Machine Learning programs. In Flow, users mainly work with a drag-and-drop flow-based “graph” to create Machine Learning components (trainers and minimizers) and external ones (sending tweets, fetch HTTP endpoints, etc.).
Hackable Hacker News Reader.
A news reader that “recommends” articles based on reading history, written in Python. It handles fetching Hacker News and RSS sources. A simple SGD regression model is there to “predict” which article the user would be most likely to like reading, and display it for the user.