☆20Jun 30, 2022Updated 3 years ago
Alternatives and similar repositories for seti-conspect
Users that are interested in seti-conspect are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lecture notes☆28Oct 19, 2021Updated 4 years ago
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.☆11Jan 31, 2022Updated 4 years ago
- ☆12Feb 1, 2022Updated 4 years ago
- ☆13Jun 10, 2021Updated 4 years ago
- YDB .NET SDK☆110Mar 2, 2026Updated 3 weeks ago
- ITMO CT C++ course notes☆156Sep 4, 2025Updated 6 months ago
- A python utility based on networkx to generate random graph as edge list for graph algorithm exercises.☆16Aug 30, 2022Updated 3 years ago
- ☆25Updated this week
- ☆80Jul 23, 2020Updated 5 years ago
- ☆10Jul 2, 2022Updated 3 years ago
- LeetCode frequently asked questions☆219Apr 22, 2022Updated 3 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Check your knowledge of Java Streams API (edu project)☆16Nov 27, 2020Updated 5 years ago
- Swagger file for leetcode API☆12Oct 26, 2021Updated 4 years ago
- Studying projects☆10Jun 14, 2021Updated 4 years ago
- GraphLand: Evaluating Graph Machine Learning Models on Diverse Industrial Data☆32Feb 9, 2026Updated last month
- ☆25Jun 2, 2022Updated 3 years ago
- Universal Symbolic Virtual Machine☆28Dec 10, 2025Updated 3 months ago
- Sum of handwritten digits using Deep Sets, implemented in PyTorch.☆21Apr 17, 2019Updated 6 years ago
- A curated list of awesome Rust checkers☆66Feb 3, 2026Updated last month
- Coding Theory course at ITMO University☆13Dec 9, 2022Updated 3 years ago
- ☆16Oct 23, 2023Updated 2 years ago
- A discord bot capable of detecting toxic messages sent to a server, delete them and warn the author.☆14Oct 29, 2021Updated 4 years ago
- Code for paper "Compositional Sculpting of Iterative Generative Processes"☆25Oct 2, 2023Updated 2 years ago
- OOP ITMO☆31Mar 26, 2023Updated 2 years ago
- fast and effective way to access and analyze java bytecode☆32Dec 10, 2025Updated 3 months ago
- EasyPortrait - Face Parsing and Portrait Segmentation Dataset☆28Sep 2, 2024Updated last year
- A test with HyperApp and RxJS☆14Mar 12, 2025Updated last year
- Disco Elysium dialogue system simulator☆50Mar 14, 2025Updated last year
- Кодовая база примеров паттернов проектирования по курсу "Технологии программирования"☆45Aug 6, 2024Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- Deep Learning course materials (HSE, Faculty of Computer Science)☆44Dec 13, 2022Updated 3 years ago
- Formal definition and utility functions lib for the MBQL language☆12Aug 10, 2020Updated 5 years ago
- 🖋Solutions of LeetCode with Kotlin☆123Apr 28, 2023Updated 2 years ago
- Auto click, fill, submit with AutoClicker☆33Updated this week
- Provides pipeAsync and traversePromises functions that play well with the rest of Ramda ecosystem.☆12Jan 30, 2024Updated 2 years ago
- My racket things☆22Feb 2, 2012Updated 14 years ago
- Some examples regarding JavaScript powerful iteration protocols enabling `for..of` and `for await...of` syntax☆10May 4, 2021Updated 4 years ago
- A tiny 3-stage RISC-V core written in Chisel.☆16Apr 14, 2023Updated 2 years ago