Materials & home works for IFMO'2018 logic course
☆25Oct 26, 2021Updated 5 years ago
Alternatives and similar repositories for logic2018
Users that are interested in logic2018 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jan 23, 2021Updated 5 years ago
- ☆16Mar 6, 2024Updated 2 years ago
- Turing machine visualizer☆23Feb 28, 2020Updated 6 years ago
- Notes for type theory course☆21Jan 11, 2019Updated 7 years ago
- Check your knowledge of Java Streams API (edu project)☆16Nov 27, 2020Updated 5 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.
- Conspect for ITMO Operation System course (spring 2016)☆19May 17, 2016Updated 10 years ago
- Haskell homework tests☆31Feb 7, 2022Updated 4 years ago
- LaTeX styles for different purposes.☆111Apr 21, 2023Updated 3 years ago
- ITMO AI Talent Hub Speech Recognition and Generation course☆20Apr 16, 2026Updated 6 months ago
- Official Implementation for "HyperDomainNet: Universal Domain Adaptation for Generative Adversarial Networks" (NeurIPS 2022)☆92Sep 6, 2023Updated 3 years ago
- ☆37Updated this week
- ☆11Oct 9, 2016Updated 10 years ago
- computational geometry notes☆15Jul 6, 2023Updated 3 years ago
- My personal website☆12Oct 10, 2025Updated last year
- 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.
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 6 years ago
- Nim bindings for libsoundio, a library providing cross-platform audio input and output.☆11Sep 4, 2021Updated 5 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆45Dec 2, 2017Updated 8 years ago
- ☆14Jun 4, 2021Updated 5 years ago
- Svg based heatmaps in Elm☆15May 10, 2017Updated 9 years ago
- Run Python in VitePress!☆14Jul 4, 2025Updated last year
- MLIR Toy tutorial in Rust! See how you can implement a programming language using MLIR and Rust.☆12Oct 23, 2022Updated 4 years ago
- Tiger Compiler implemented in F#☆11Sep 25, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Jun 10, 2021Updated 5 years ago
- Ring solver for Idris☆21Nov 12, 2018Updated 7 years ago
- AI pull-request reviewer: hybrid RAG + a code graph + Claude Code/Codex. Whole-repo context, inline GitHub comments grounded on exact cod…☆20Oct 25, 2026Updated last week
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆21Apr 27, 2023Updated 3 years ago
- A Simple React Markdown Editor☆11Dec 5, 2022Updated 3 years ago
- ☆50Jun 18, 2018Updated 8 years ago
- Scripts to create cartoons of 3D genomes☆12Feb 27, 2024Updated 2 years ago
- YDB JDBC Driver☆27Updated this week
- My personal dotfiles☆13May 6, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A web-based Markdown note-taking App for developers by Shaan Alam 🔥☆12Aug 30, 2023Updated 3 years ago
- Programming language☆13Dec 6, 2020Updated 5 years ago
- Quick and extendable stock comparision tool☆10Jan 4, 2023Updated 3 years ago
- this app is Notion.so clone, roamresearch clone and obsidian clone. The main purpose of this app is not to just clone these note taking a…☆13Oct 21, 2022Updated 4 years ago
- Hahn: A Coq library☆30Sep 15, 2026Updated last month
- A 'Grammar of Graphics' implementation for Elm☆17Apr 3, 2019Updated 7 years ago
- rust electron demo using yew☆16Dec 10, 2022Updated 3 years ago