☆20Jun 30, 2022Updated 4 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☆27Oct 19, 2021Updated 4 years ago
- Haskell homework tests☆31Feb 7, 2022Updated 4 years ago
- Конспекты М3*37 2019 года☆78Updated this week
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Feb 9, 2022Updated 4 years ago
- The official YDB Dialects for Java ORM frameworks and migration tools.☆77Updated this week
- Hi(experimental language) lang interpreter + repl☆12Aug 3, 2025Updated last year
- Turing machine visualizer☆23Feb 28, 2020Updated 6 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 3 years ago
- ITMO labs☆30Oct 22, 2023Updated 2 years ago
- ITMO/CTD notes, y2013 🇺🇦☆70Mar 29, 2019Updated 7 years ago
- A python utility based on networkx to generate random graph as edge list for graph algorithm exercises.☆16Aug 30, 2022Updated 4 years ago
- ☆10Jul 2, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆79Jul 23, 2020Updated 6 years ago
- Check your knowledge of Java Streams API (edu project)☆16Nov 27, 2020Updated 5 years ago
- ☆13Jun 4, 2021Updated 5 years ago
- Простое приложение для сжатия паков игры Владимира Хиля SIGame☆10Mar 2, 2026Updated 6 months ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- ☆13Jun 10, 2023Updated 3 years ago
- Studying projects☆10Jun 14, 2021Updated 5 years ago
- On-chain call option for ERC721 assets.☆32Feb 10, 2022Updated 4 years ago
- IDE for IEC 61499 built on top of JetBrains MPS☆23May 13, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆22Apr 3, 2023Updated 3 years ago
- ☆16Jan 23, 2021Updated 5 years ago
- FAQ по секте☆14Feb 27, 2023Updated 3 years ago
- A simple command line tool for Codeforces coders☆24Aug 11, 2024Updated 2 years ago
- Unofficial implementation of paper "Recommender Systems with Generative Retrieval" (NeurIPS'23)☆40Oct 17, 2025Updated 10 months ago
- Code for paper "Compositional Sculpting of Iterative Generative Processes"☆25Oct 2, 2023Updated 2 years ago
- Free ideas, worth every penny☆33Nov 4, 2020Updated 5 years ago
- Universal Symbolic Virtual Machine☆31Updated this week
- EasyPortrait - Face Parsing and Portrait Segmentation Dataset☆28Sep 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- converts PDFs to EPUB, made for arXiv documents or textbooks☆37Jul 21, 2022Updated 4 years ago
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated last week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆58Oct 25, 2023Updated 2 years ago
- Parallel processing with disjoint indices in Rust☆90Apr 19, 2025Updated last year
- Deep Learning course materials (HSE, Faculty of Computer Science)☆45Dec 13, 2022Updated 3 years ago
- 🖋Solutions of LeetCode with Kotlin☆121Apr 28, 2023Updated 3 years ago
- Provides pipeAsync and traversePromises functions that play well with the rest of Ramda ecosystem.☆12Jan 30, 2024Updated 2 years ago