ivanmurashko / lecturesLinks
My own lectures on quantum optics and quantum computations (in Russian)
☆13Updated last year
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below
Sorting:
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Updated 4 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆47Updated 3 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)☆15Updated 2 years ago
- Text generation language☆34Updated 4 months ago
- Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot☆15Updated last year
- Haskell User's Gofer System☆27Updated 9 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Updated 2 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- 📚 A collection of resources about supercompilation☆128Updated 6 months ago
- generate art from a hash☆23Updated 7 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated 2 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- Systems for Data Science repo☆12Updated 8 years ago
- LODA Programs for Integer Sequences☆37Updated last week
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆18Updated 3 months ago
- Source of metamath book☆55Updated 2 years ago
- A notional machine for the SMoL languages☆21Updated 2 years ago
- Reference counting with linear types☆32Updated 2 months ago
- ☆18Updated last year
- A Tensor Language☆55Updated 4 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- Symbolic formula representation and solver interaction library☆174Updated this week
- The adventures of a Haskell compiler☆237Updated 3 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- ☆36Updated 3 weeks ago