ulysses4ever / formal-langs-textbook-ruView external linksLinks
A textbook on formal languages and automata, in Russian
☆25Feb 24, 2020Updated 5 years ago
Alternatives and similar repositories for formal-langs-textbook-ru
Users that are interested in formal-langs-textbook-ru are comparing it to the libraries listed below
Sorting:
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Feb 10, 2026Updated last week
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- ☆26Nov 18, 2022Updated 3 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 28, 2025Updated 10 months ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Partial Commutative Monoids☆32Jun 9, 2025Updated 8 months ago
- Extensions to cubical for categorical logic/type theory☆36Updated this week
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Proof theory seminar☆36Apr 6, 2021Updated 4 years ago
- GRIN backend for Idris2☆33Jul 3, 2022Updated 3 years ago
- A portable idris2 implementation of TLS☆32Oct 30, 2024Updated last year
- N2O in Haskell☆29Apr 15, 2016Updated 9 years ago
- Fundamental Accounting Concept Relations validation for International Financial Reporting Standards (IFRS).☆14Sep 20, 2018Updated 7 years ago
- An easy way to deploy your Akka services to a distributed environment.☆30Dec 23, 2022Updated 3 years ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 6 years ago
- ☆36Nov 16, 2021Updated 4 years ago
- Setoid type theory implementation☆38Aug 24, 2023Updated 2 years ago
- Symbolic Regression from Scratch with Python☆11Dec 6, 2022Updated 3 years ago
- Syllabus and course material of "Online Data Collection and Management" (oDCM) - learn how to collect web data for your empirical researc…☆15Nov 30, 2025Updated 2 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- The materials for the course 'Data Analysis in Economics and Finance', 2020/2021, NRU HSE.☆10Nov 25, 2021Updated 4 years ago
- ☆37Aug 13, 2025Updated 6 months ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Show climate risk on a map of the US, with the MIT Joint Program data☆16Jan 27, 2026Updated 3 weeks ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆52Feb 9, 2026Updated last week
- Command-like expressions for real infinite-precision calculations☆55Aug 5, 2025Updated 6 months ago
- ☆52Aug 14, 2025Updated 6 months ago
- ☆13Apr 12, 2019Updated 6 years ago
- ☆10Feb 3, 2025Updated last year
- A tiny implementation of the Levenshtein edit distance algorithm.☆13Jun 29, 2025Updated 7 months ago
- Haskell book exercises - http://haskellbook.com/☆11Dec 26, 2018Updated 7 years ago