ivanmurashko / lecturesLinks
My own lectures on quantum optics and quantum computations (in Russian)
☆13Updated 8 months ago
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below
Sorting:
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Source of metamath book☆49Updated last year
- Reference counting with linear types☆31Updated last year
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- ☆15Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- Haskell User's Gofer System