e2e4b6b7

Pinned Repositories

dynsys
Dynamic systems visualizer
Language:C++47 5 05
KEEPs
0 3 01
afp-2024-cub-fall
This is a supplementary repository for the Advanced Functional Programming course read at Constructor University Bremen at the fall term of 2024.
00
Algebra
Language:C++00
AvalonBot
1 1 00
Existentials-KEEP
00
KtGlean
Kotlin support in Glean
Language:Kotlin4 1 00
Notifier
Notifier about changes on the page
Language:Kotlin2 1 01
ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml1 0 00
RefactorInsight
An IntelliJ IDEA plugin that detects refactorings in Git commits
Language:Java106 13 7311

e2e4b6b7's Repositories

e2e4b6b7/compressor-benchmarking
Language:C
e2e4b6b7/Hash-speed-checker
Language:C++
e2e4b6b7/BED-indexer
Language:Kotlin
e2e4b6b7/RingBuffer
Language:Rust
e2e4b6b7/Ranger
Language:Java
e2e4b6b7/LambdaCalculator
Simple Lambda calculator
Language:Haskell
e2e4b6b7/Algebra
Language:C++
e2e4b6b7/Simple-prolog-parser
Language:Python
e2e4b6b7/fl-2020-hse-win
Репозиторий для курса формальных языков
e2e4b6b7/BMP-CLI-editor
Language:C
e2e4b6b7/Huffman-archiver
Language:C++
e2e4b6b7/hse-questions-calculus
Language:TeX
e2e4b6b7/hse-spb-conspects-2020
e2e4b6b7/gdrive-cli-builder
Build GDrive CLI (https://github.com/gdrive-org/gdrive) with your own credentials using GitHub Actions
e2e4b6b7/Rabbit_game
A platform game similar to "Jump and Bump"
Language:Java
e2e4b6b7/Text_reader_RSVP
Language:Python
e2e4b6b7/Quick_Draw_recognition
Language:Python
e2e4b6b7/hse-2019-pb-tasks
Language:C++
e2e4b6b7/hse-pb-2019
Examples and notes for programming basics course.