ivanmurashko / lecturesLinks
My own lectures on quantum optics and quantum computations (in Russian)
☆13Updated 9 months ago
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below
Sorting:
- ☆35Updated 2 weeks ago
- Formalization of some elementary mathematical theories in Coq☆15Updated 5 years ago
- Haskell User's Gofer System☆26Updated 9 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated last week
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- Various Futhark benchmark programs☆42Updated last month
- generate art from a hash☆24Updated 2 months ago
- Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff☆21Updated last year
- A general purpose relational language☆19Updated 5 years ago
- Source of metamath book☆51Updated last year
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)☆15Updated 2 years ago
- Systems for Data Science repo☆12Updated 7 years ago
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Updated 5 years ago
- 📚 A collection of resources about supercompilation☆117Updated 2 months ago
- Reference counting with linear types☆31Updated last week
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- Symbolic formula representation and solver interaction library☆168Updated 2 weeks ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 3 months ago
- The adventures of a Haskell compiler☆231Updated 4 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 8 months ago
- The Cubicle model checker☆14Updated last year
- ☆14Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Text generation language☆34Updated 2 months ago