ParaDogs/SSLS-site ParaDogs/SSLS-site

  • Stars
    star
    1
  • Language
    HTML
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ParaDogs/SSLS-site
github

ParaDogs

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Syntax and Seamtic of Logical Systems

More Repositories

1

compiler

Python compiler (lexer, parser)
Python
6
star
2

elliptic-curves

ГСнСрация Ρ‚ΠΎΡ‡Π΅ΠΊ, рСализация ΡˆΠΈΡ„Ρ€ΡΠΈΡΡ‚Π΅ΠΌΡ‹ Эль-Гамаля
Python
3
star
3

graph-algorithms

Алгоритмы Π½Π° Π³Ρ€Π°Ρ„Π°Ρ…: ΠΎΠ±Ρ…ΠΎΠ΄, покраска
C++
2
star
4

algebra

ΠŸΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠ΅ Ρ€Π°ΡΡˆΠΈΡ€Π΅Π½ΠΈΡ поля ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ Π½Π΅ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΠΌΠΎΠ³ΠΎ ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠ°
C++
2
star
5

auto-abstract

АвторСфСрированиС тСкстов
Python
2
star
6

epicer

Recipe search application for Android devices
Java
2
star
7

knowledge-editor

Knowledge editor for creating schedule
JavaScript
2
star
8

image-recognizer

Π Π°ΡΠΏΠΎΠ·Π½Π°Π²Π°Ρ‚Π΅Π»ΡŒ ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ
Python
2
star
9

predicting-coronawaves

Python
2
star
10

homological-text-analyzer

Анализ тСкстов Π½Π° ΡΠ»ΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΈ ΡΠ²ΡΠ·Π½ΠΎΡΡ‚ΡŒ ΠΏΡƒΡ‚Ρ‘ΠΌ вычислСния размСрностСй Π³Ρ€ΡƒΠΏΠΏ Π³ΠΎΠΌΠΎΠ»ΠΎΠ³ΠΈΠΉ ΡΠΈΠΌΠΏΠ»ΠΈΡ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… комплСксов построСнных Π½Π° мноТСствС смысловых Π΅Π΄ΠΈΠ½ΠΈΡ† тСкста.
Python
2
star
11

ParaDogs

Config files for my GitHub profile.
1
star
12

MosParty

Java
1
star
13

markov-chain-generanor

Simple Markov's chain generator
Python
1
star
14

viginere-cipher-cracker

Cryptanalysis of the Vigenère cipher. Selection of key length, possible keys, possible decryptions.
Python
1
star
15

math-center-contracts

Python
1
star