RKulagin/MLTA external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

RKulagin/MLTA

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/RKulagin/MLTA)

Close

RKulagin / MLTAView on GitHubMore

• External links
• Readme badge

Mathematical Logic and Theory of Algorithms syllabus

☆18Aug 18, 2024Updated last year

Alternatives and similar repositories for MLTA

Users that are interested in MLTA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• aaaaaaaalesha / iu8_queue_bot

  View on GitHub
  Бот для создания очередей в групповых чатах мессенджера Телеграм
  ☆12Apr 25, 2023Updated 3 years ago
• CatInCosmicSpace / latex-template

  View on GitHub
  Шаблон РПЗ к НИРС или ВКР (кафедра ИУ8).
  ☆46Sep 21, 2025Updated 10 months ago
• bmstu-iu8-cpp / cpp-upper-intermediate

  View on GitHub
  Лекционный материал по курсу "Алгоритмические языки - C++" 3 семестр на кафедре ИУ8
  ☆18Aug 3, 2022Updated 4 years ago
• tune-the-model / tune-the-model-py

  View on GitHub
  Python SDK for Tune The Model API
  ☆12Apr 27, 2023Updated 3 years ago
• piratax007 / LaTeXamples

  View on GitHub
  Repositorio de ejemplos, macros, plantillas, clases, etc. relacionados con la producción de documentos con LaTeX.
  ☆15Sep 2, 2023Updated 2 years ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• MacDue / ssdeep-windows-32_64

  View on GitHub
  ssdeep for python on windows
  ☆22Feb 7, 2026Updated 6 months ago
• Winterpuma / bmstu_computer-networks

  View on GitHub
  bmstu, IU7-7, Компьютерные сети (2020)
  ☆15Oct 27, 2021Updated 4 years ago
• samapriya / ArcticDEM-Batch-Pipeline

  View on GitHub
  A Batch download and processing tool to download Polar Geospatial Center derived high resolution ArcticDEM elevation datasets
  ☆15Aug 13, 2020Updated 6 years ago
• Wolvereness / remit

  View on GitHub
  Rust generators implemented through async/await syntax
  ☆12Sep 29, 2023Updated 2 years ago
• ryankurte / ghostfat

  View on GitHub
  Virtual FAT16 implementation for embedded USB Mass Storage Device emulation
  ☆13Oct 9, 2022Updated 3 years ago
• Raiffeisen-DGTL / rest-api-guide

  View on GitHub
  В этом репозитории находится REST API Best Practices.
  ☆22Apr 2, 2026Updated 4 months ago
• sund3RRR / nixos-timeweb

  View on GitHub
  NixOS image for timeweb cloud
  ☆15Mar 20, 2025Updated last year
• muir / nject

  View on GitHub
  Golang type-safe dependency injection
  ☆33Jul 8, 2026Updated last month
• xtrafrancyz / acamar

  View on GitHub
  Minecraft ping service with MySQL backend
  ☆12Feb 23, 2023Updated 3 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• Tallcraft / ChatReplay

  View on GitHub
  Replay chat history upon player-join.
  ☆12Aug 8, 2021Updated 5 years ago
• bgstaal / gpuparticles

  View on GitHub
  ☆33Sep 22, 2024Updated last year
• fast-ide / fast-ide

  View on GitHub
  🕺Fast Integrated Development Environment 😻
  ☆209Apr 7, 2023Updated 3 years ago
• Malkovsky / interactive-visualization

  View on GitHub
  ☆30May 5, 2024Updated 2 years ago
• Levertion / mcfunction-langserver

  View on GitHub
  Language Server for Minecraft Functions. See https://github.com/Levertion/vscode-mcfunction for a use
  ☆15Aug 29, 2021Updated 4 years ago
• xxDark / jlinker

  View on GitHub
  Java member resolution library.
  ☆24Jun 30, 2026Updated last month
• LogisticsCraft / Logistics-API

  View on GitHub
  A Paper library for developers to create and manage custom items, blocks and fluids in Minecraft.
  ☆14Jan 17, 2021Updated 5 years ago
• neovide / vide

  View on GitHub
  A straightforward wgpu renderer for 2d interfaces
  ☆22Oct 12, 2024Updated last year
• Pulse-Security / wifi-client-isolation-bypass

  View on GitHub
  Bypass WiFi client isolation on Open and WPA2-PSK networks
  ☆47Oct 14, 2025Updated 10 months ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• MockbaTheBorg / VSMModel

  View on GitHub
  Simple VSM model for Labcenter Proteus
  ☆15Oct 10, 2016Updated 9 years ago
• grpc / grpc-java-api-checker

  View on GitHub
  ☆34Nov 26, 2025Updated 8 months ago
• Khenziii / nixos-config

  View on GitHub
  ❄️ My configuration files
  ☆17Jun 29, 2026Updated last month
• lachlansneff / no-panics-whatsoever

  View on GitHub
  Statically assert that a program written in Rust does not panic
  ☆22Feb 3, 2021Updated 5 years ago
• RinesThaix / Proto4J

  View on GitHub
  ☆13Jul 21, 2021Updated 5 years ago
• zmkfirmware / zmk-cli

  View on GitHub
  Command line tool for ZMK Firmware
  ☆19May 8, 2026Updated 3 months ago
• barsikus007 / config

  View on GitHub
  My infra-as-code. Totally not dotfiles.
  ☆19Updated this week
• ctron / colored_json

  View on GitHub
  Generating colored JSON in Rust
  ☆33Apr 5, 2024Updated 2 years ago
• xzel23 / cabe

  View on GitHub
  Instrument Java bytecode with JSpecify-based null-checks
  ☆31Jul 16, 2026Updated 3 weeks ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• avito-tech / pulemet

  View on GitHub
  Controlled RPS for interservice communication
  ☆47Mar 10, 2022Updated 4 years ago
• ember-theme / ember

  View on GitHub
  A warm, monochrome color theme. One vivid coral spark in a sea of warm graphite.
  ☆19Jun 1, 2026Updated 2 months ago
• whilein / te4j

  View on GitHub
  Fast and easy template engine
  ☆19May 22, 2021Updated 5 years ago
• chrhansen / postgres-ulid

  View on GitHub
  Generate ULIDs (https://github.com/ulid/spec) in Postgres, with options to output in Base58 and/or prefix IDs.
  ☆21Jan 9, 2023Updated 3 years ago
• eduardosm / rsjsonnet

  View on GitHub
  A Rust implementation of the Jsonnet language
  ☆30May 18, 2026Updated 2 months ago
• stefanbirkner / travis-deploy-to-maven-central

  View on GitHub
  An example Maven project for deploying a library to Maven Central
  ☆16Aug 22, 2018Updated 7 years ago
• apache / maven-gpg-plugin

  View on GitHub
  Apache Maven GPG Plugin
  ☆31Updated this week