☆16Mar 6, 2024Updated 2 years ago
Alternatives and similar repositories for logic2011
Users that are interested in logic2011 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for type theory course☆21Jan 11, 2019Updated 7 years ago
- Materials & home works for IFMO'2018 logic course☆25Oct 26, 2021Updated 4 years ago
- Conspect for ITMO Operation System course (spring 2016)☆19May 17, 2016Updated 10 years ago
- ITMO/CTD notes, y2013 🇺🇦☆70Mar 29, 2019Updated 7 years ago
- Turing machine visualizer☆23Feb 28, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Slides and other materials for functional programming lectures ITMO university☆626Jan 17, 2022Updated 4 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- Ragged writings on all things☆15Jan 24, 2022Updated 4 years ago
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆24Aug 5, 2026Updated 2 months ago
- Some examples of the ANTLR4 JavaScript target.☆19Apr 25, 2016Updated 10 years ago
- Tool for cleaning old and redundant backups☆16Sep 8, 2026Updated last month
- Educational virtual machine☆14Dec 20, 2018Updated 7 years ago
- Emulation system for routing algorithms, particularly for DQN routing☆12Aug 31, 2022Updated 4 years ago
- Примеры кода для ле кций по Java в Технопарке. Осенний семестр 2013.☆19Dec 13, 2013Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A small project that shows all streets aligned towards the summer and winter solstice☆19Sep 29, 2026Updated 2 weeks ago
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- crowd-defunding☆10Jul 4, 2026Updated 3 months ago
- "Easy" data dump of your activity on various web services☆14Dec 7, 2022Updated 3 years ago
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.☆38Nov 13, 2018Updated 7 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- This repo contains implementations of algorithms for non-dominated sorting and a benchmarking suite.☆24Sep 14, 2026Updated 3 weeks ago
- 📈 All data from my life — location, health, work, play, and more — open sourced☆13Jul 5, 2022Updated 4 years ago
- ☆16Dec 12, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Plugin for highlighting CSV files in different colors☆20Jul 28, 2023Updated 3 years ago
- GoTTY Docker image☆13Sep 30, 2016Updated 10 years ago
- A Collection of Awesome Personal Search Engines and Related Projects☆22Jan 10, 2023Updated 3 years ago
- Emacs package to make exporting org-mode files to gitbook easier☆11Jun 7, 2017Updated 9 years ago
- Public realms found in *.zulipchat.com☆11Nov 2, 2022Updated 3 years ago
- "Операционные системы", ИТМО, весна 2019☆16Jun 7, 2019Updated 7 years ago
- Plot charts from arbtt-stats to terminal☆17Oct 5, 2026Updated last week
- unofficial endomondo api☆12Apr 2, 2026Updated 6 months ago
- Logic-based meal optimizer☆17Aug 13, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simple reflection of expressions☆34Jun 18, 2021Updated 5 years ago
- Command line utility to backup Evernote notes and notebooks☆13Dec 13, 2017Updated 8 years ago
- Protobuf plugin for generating k8s CRD☆29Oct 1, 2026Updated last week
- Quick calculator to experiment with a 28 hour day.☆19Nov 12, 2018Updated 7 years ago
- Build API clients that work both with regular and async code☆16Aug 29, 2022Updated 4 years ago
- Jupyter Notebook vizualizing 10+ years of my body composition data☆12Jun 27, 2020Updated 6 years ago
- Unofficial Node client for Emfit QS☆12Oct 26, 2018Updated 7 years ago