-
ITMO University
- Russia, St. Petersburg
-
14:50
(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
Fuzzing
Game
HPC
Languages
Linters
Linux Desktop
Model Checking
OS
Proof
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
An extremely fast Python linter and code formatter, written in Rust.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
VictoriaMetrics: fast, cost-effective monitoring solution and time series database
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
IntelliJ IDEA & IntelliJ Platform
YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
A machine learning compiler for GPUs, CPUs, and ML accelerators
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Extremely fast Query Engine for DataFrames, written in Rust
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
The open alternative to Salesforce, designed for AI.
The fastest path to AI-powered full stack observability, even for lean teams.
Elixir is a dynamic, functional language for building scalable and maintainable applications
Turso is an in-process SQL database, compatible with SQLite.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
The official GitHub mirror of the Chromium source
high-performance graph database for real-time use cases
ClickHouse® is a real-time analytics database management system
Free and Open Source, Distributed, RESTful Search Engine
Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of …
The open-source Observability 2.0 database. One engine for metrics, logs, and traces — replacing Prometheus, Loki & ES.
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stab…
A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.