Pinned Repositories
Beijing-exercises
Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
beta_curriculum
coding-haskell
Katas at Codewars
course
Functional Programming Course
dune
A composable build system for OCaml.
duobei
duobei.github.io
A gem-based responsive simple texture styled Jekyll theme.
hpffp-resources
Haskell Programming From First Principles - Follow-up Resources
py2sec
:snake: py2sec is a Cross-Platform, Fast and Flexible tool to change the .py to .so(Linux and Mac) or .pyd(Win).
thinking-with-types
📖 source material for Thinking with Types
duobei's Repositories
duobei/thinking-with-types
📖 source material for Thinking with Types
duobei/Beijing-exercises
Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
duobei/beta_curriculum
duobei/course
Functional Programming Course
duobei/dune
A composable build system for OCaml.
duobei/duobei
duobei/duobei.github.io
A gem-based responsive simple texture styled Jekyll theme.
duobei/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
duobei/elixirschool
The content behind Elixir School
duobei/exercises
Exercises for the Haskell Beginners 2022 course
duobei/haskell-challenges
Code challenges to solve with Haskell
duobei/haskell-course
This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃
duobei/haskell-resources
A List of Foundational Haskell Papers
duobei/ifl-tut
duobei/incubator-pekko
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
duobei/katas
duobei/learn-tt
A collection of resources for learning type theory.
duobei/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
duobei/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
duobei/live_beats
duobei/ocaml-style
A style guide for OCaml
duobei/optics
Optics as an abstract interface
duobei/paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
duobei/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
duobei/robotsim
Simulation framework for collective robotics
duobei/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
duobei/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
duobei/tcs
Book in preparation: introduction to theoretical computer science
duobei/xapi-project.github.io
Home of the Xapi-project docs site
duobei/xen-api
The Xapi Project's XenAPI Server