-
compact_str Public
Forked from ParkMyCar/compact_strA memory efficient string type that can store up to 24* bytes on the stack
Rust MIT License UpdatedJun 26, 2024 -
-
arch-spring-2024 Public
Forked from kochaika/arch-spring-2024Homeworks for CUB Computer Architecture course Spring 2024
UpdatedFeb 12, 2024 -
-
lincheck Public
A linearizability checker for concurrent data structures
-
-
-
-
huffman-archiver Public
Archiver with canonical Huffman codes designed for fast and memory efficient encoding and decoding of big files
C++ UpdatedJul 6, 2023 -
PathBuilder Public
A webservice for finding the optimal route through all the given points.
-
-
-
-
compilers-supplementary Public
Forked from danyaberezun/compilers-supplementaryTeX UpdatedMar 4, 2023 -
-
cargo-bundle Public
Forked from burtonageo/cargo-bundleWrap rust executables in OS-specific app bundles
Rust Other UpdatedJan 8, 2023 -
-
-
mtt-lang Public
Forked from mtt-lang/mtt-langA toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
OCaml MIT License UpdatedMay 23, 2022 -
-
simple-type-checker Public
Type checker for Church-style Polymorphic Lambda Calculus (System F).
Haskell MIT License UpdatedMar 2, 2022 -
-
-
-
-
Linux-basics-2020 Public
Forked from sloboegen/Linux-basics-2020В этом репозитории хранятся задания по курсу "Основы Linux"
UpdatedOct 24, 2020 -
-
-
-
koresh Public
ROS robot with omni-wheels that is able to recognise lines, build map, navigate via LIDAR and detect obstacles
{{ message }}