☆17Mar 4, 2025Updated last year
Alternatives and similar repositories for logic2024
Users that are interested in logic2024 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Text and file storage written in scala with cats-effect, tapir, doobie☆12Aug 3, 2024Updated 2 years ago
- Конспекты M3136-M3137 2023 года☆19Sep 10, 2024Updated 2 years ago
- ☆32Jun 6, 2024Updated 2 years ago
- A language platform for verifiable systems and research.☆15Updated this week
- El-Pths Wiki☆15Jan 20, 2026Updated 9 months 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.
- Конспекты М3*37 2019 года☆79Updated this week
- ☆18Mar 14, 2024Updated 2 years ago
- ☆13May 11, 2024Updated 2 years ago
- HSE FES Probability Theory Club repo☆22Mar 14, 2026Updated 7 months ago
- Собрание материалов, наработанных во время учёбы на КТ ИТМО, M3*36 y2021☆20May 26, 2024Updated 2 years ago
- ☆17Oct 23, 2023Updated 3 years ago
- Homework and labs completed as part of education in ITMO university.☆12Mar 20, 2023Updated 3 years ago
- spring boot chat messenger☆29Aug 14, 2025Updated last year
- Fetch, flag/mark, delete/expire, and perform other batch operations on messages residing on IMAP servers. A very fast KISS mail fetcher w…☆15Oct 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Materials & home works for IFMO'2018 logic course☆25Oct 26, 2021Updated 5 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 4 years ago
- ☆19Oct 13, 2026Updated 3 weeks ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆16Aug 28, 2023Updated 3 years ago
- ☆30Updated this week
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools☆12Feb 4, 2023Updated 3 years ago
- Сборник статей по спортивному программированию 2.0☆24Jan 19, 2022Updated 4 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Team Unagi's repository for ICFPC 2025☆14Sep 8, 2025Updated last year
- A detailed guide to setting up a QEMU/KVM for gaming.☆13Nov 24, 2023Updated 2 years ago
- Ansible playbook to provide decent desktop experience☆15Aug 28, 2026Updated 2 months ago
- xd☆68Feb 6, 2025Updated last year
- problems from codeforces solved in haskell☆12Oct 25, 2019Updated 7 years ago
- ☆22Dec 19, 2024Updated last year
- Linear Algebra Course having been taught in HSE in 2019/2020 (in russian)☆13May 22, 2020Updated 6 years ago
- Repository for KMM Tutorial video☆32Feb 20, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A dojo to introduce people to pwncollege's features.☆17Oct 6, 2026Updated last month
- The SMoL (Standard Model of Languages) Family of Languages☆23Jan 2, 2025Updated last year
- ☆15Sep 5, 2022Updated 4 years ago
- Code samples for Android interview☆35Oct 22, 2024Updated 2 years ago
- PL syntax macros.☆22Oct 8, 2026Updated 3 weeks ago
- Is your software respectful to its community?☆18Jan 15, 2025Updated last year
- 🕵🏼♂️ View any Telegram stories anonymously (even protected ones). Just send a @username, phone number or direct link to the story!☆71Jan 31, 2025Updated last year