-
ITMO University
- Russia, St. Petersburg
-
13:01
(UTC +03:00) - https://github.com/vityaman-edu
- https://gitlab.com/vityaman.edu
Lists (28)
Sort Name ascending (A-Z)
AI
Algorithms
Android Apps
Bachelor Thesis
https://github.com/vityaman-edu/bachelor-thesisBackend
C++
Concurrency
Course
Daily apps
Database
DevTools
Fedora Sway Spin
FPGA
Game
HPC
Languages
Linters
Linux Desktop: Arch & Hyprland
Model Checking
OS
Proof
REST API fuzzing
RISC-V Winter School
Static Analysis
Teaching
/tmp
Advertisements.Unknown
Web3
- All languages
- ANTLR
- Ada
- Assembly
- C
- C#
- C++
- C3
- CSS
- Clojure
- CodeQL
- Cuda
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Erlang
- F#
- F*
- FLUX
- Flix
- GLSL
- Gherkin
- Go
- Groovy
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- Mercury
- Mojo
- Nix
- OCaml
- Objective-C++
- Odin
- Papyrus
- Perl
- PostScript
- Python
- QML
- Racket
- Ragel
- Raku
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- ShaderLab
- Shell
- Smalltalk
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- Thrift
- TypeScript
- V
- Verilog
- Vue
- Wren
- XSLT
- YAML
- Zig
Starred repositories
Framework for quickly creating connected applications in Kotlin with minimal effort
Painless E2E Automation for Mobile and Web
Library support for Kotlin coroutines
Thunderbird for Android – Open Source Email App for Android (fka K-9 Mail)
Koin - a pragmatic lightweight dependency injection framework for Kotlin & Kotlin Multiplatform
A cross-platform music app using YouTube Music for backend
An anti-bikeshedding Kotlin linter with built-in formatter
App to bypass censorship on Android
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Minimal AF Launcher for Android. Reduce your screen time. Daily wallpapers.
Kotlin Language Server and plugin for Visual Studio Code
An application to write OS images to USB drives, on Android, no root required.
Kotlin code completion, diagnostics and more for any editor/IDE using the Language Server Protocol
All-in-one productivity app and AI assistant with Tasks, Notes, Calendar, Diary and Bookmarks.
Amper - a build tool for the Kotlin and Java languages, with a focus on user experience and tooling
An android app to download & read ebooks from Project Gutenberg, built with Jetpack Compose.
A tool for BLE environment monitoring. Find and track Bluetooth devices around, and get notified when the target device is detected.
The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing …
Project to illustrate how to build a programming language
Mobile app for planning tasks for the day with multimodule architecture, MVI, Compose, Room, Voyager, AlarmManager, Notification, Charts
Strict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs
Kotlin Compiler Plugins, an IDEA Plugin, and a Detekt Rule that will help to improve your experience with Jetpack Compose
Generates Kotlin Code from OpenAPI 3 Specifications
Kotlin logging library with structured logging and coroutines support