If you want to become good at AI & system design, join this newsletter 👇

Contains Company Wise Questions sorted based on Frequency and all time

『Java八股文』Java面试套路，Java进阶学习，打破内卷拿大厂Offer，升职加薪！

Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode …

总结了后端面试八股文中的重点，希望能帮助各位准备互联网开发岗校招面试的同学。

Source code for the nLab

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Display and control your Android device

Repo to store some personal irssi scripts

A collection of resources for learning type theory and type theory adjacent fields.

Generalized recursion schemes and traversals for Scala.

Programming Language Theory λΠ

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Automatic testing of Haskell programs.

Course materials for Stanford CS240h, "Functional Systems in Haskell"

A small JavaScript library for defining and using union types.

Sweeten your JavaScript.

Bidirectional and low-latency communication for every platform

🎓 All things Vim!

Functional Programming Course

Yet another resource for collecting articles, videos etc. regarding functional programming

A reactive programming library for JavaScript

A series of interactive exercises for learning Microsoft's Reactive Extensions Library for Javascript.

Status, process, and documents for ECMA-262

Mostly adequate guide to FP (in javascript)

mac OS, Arch Linux, and Debian/Ubuntu + Neovim

Generate JSDoc to your JavaScript code.

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Learn Haskell

A strongly-typed language that compiles to JavaScript