richard-zhang

SPar

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

plotex

Embedding plotting DSL into LaTeX

aadml

Graph based algorithmic adjoint differentiation (AAD) in OCaml

algo_design_with_haskell

Algorithm Design With Haskell

cat-ad

Prototyping implementation of simple essence of automatic differentiation in OCaml

little_learner

Illustrate Core Deep Learning Concepts using OCaml

.dotfiles

amqp-client

OCaml Amqp client library for Async and Lwt.

ARM_Assembler

auto-c-header

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

icTycoonGame

Monopoly game using SDL2

language-c

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

learn_yourself_a_skill

Experimental Personal Project

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

randomNN

talk-and-blog

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

tcpmf.jl

The Concepts and Practice of Mathematical Finance in Julia

tennis-court-bot

vue

A progressive, incrementally-adoptable JavaScript framework for building UI on the web.