richard-zhang Goto Github PK

.dotfiles

aadml

Graph based algorithmic adjoint differentiation (AAD) in OCaml

algo_design_with_haskell

Algorithm Design With Haskell

amqp-client

OCaml Amqp client library for Async and Lwt.

arm_assembler

auto-c-header

cat-ad

Prototyping implementation of simple essence of automatic differentiation in OCaml

chan

Pure C implementation of Go channels.

cs140

https://web.stanford.edu/class/cs140e/

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

eio-little-book-about-semaphores

Puzzles in little-book-about-semaphores using ocaml EIO

final_year_project

functional-paper-with-code

Readying paper by typing code

haskell-difference-engine

Haskell Progam to do differntiation inspired by https://vimeo.com/6622658

ictycoongame

Monopoly game using SDL2

language-c

Source repository for https://hackage.haskell.org/package/language-c

learn_yourself_a_skill

Experimental Personal Project

little_learner

Illustrate Core Deep Learning Concepts using OCaml

mandelbulb-3d-fratcal

It's simple java implementation of mandelbulb which is 3d version of the famous mandelbrot set.

mit-6.945

notes for MIT-6.945 Software Design for Flexibility

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

openbilibili-go-common

听说这是来自 https://github.com/openbilibili/go-common/ 的 “哔哩哔哩 bilibili 网站后台工程 源码”，不过咱也不知道这是啥。

owl

Owl - OCaml Scientific Computing @ http://ocaml.xyz

pearls

Collection of interesting code snippets

plotex

Embedding plotting DSL into LaTeX

randomnn

simple_chess_game

spar

An Haskell DSL that compiled to dead-lock free and parallel C code utilising Actor-based Concurrency and recursion schemes

talk-and-blog

Recording my thoughts when 1. reading blogs 2. watching FP/C++/Category theory talk