Pinned Repositories
1c-admission-problem
Solution for an admission problem for 1C
ad_hoc_client
ad_hoc_messenger
Ad-hoc messenger based on Google Nearby
algebraic-structures
Playing around with implementations of different algebraic structures in C++
AlphaBlending
caos-seminars
Seminar code snippets & Additional materials for Computer Architecture & Operating Systems Course
idris2-russel
Implementation of Russel paradox in Idris 2
poc-ad-hoc-messenger
Proof-of-concept implementation of message sending via ad-hoc network
rust-bang-notation
!-notation for Rust
distributed-optimization
AlgebraicWolf's Repositories
AlgebraicWolf/idris2-russel
Implementation of Russel paradox in Idris 2
AlgebraicWolf/caos-seminars
Seminar code snippets & Additional materials for Computer Architecture & Operating Systems Course
AlgebraicWolf/rust-bang-notation
!-notation for Rust
AlgebraicWolf/AlgebraicWolf
AlgebraicWolf/CAMNS
Convex Analysis of Mixture Non-negative Sources implementation in Python
AlgebraicWolf/client
PHP client for Tarantool.
AlgebraicWolf/cpp-compile-time
Using C++ as an interpreted functional language
AlgebraicWolf/cpp-functional-templates
Code for articles on C++ templates as a functional language
AlgebraicWolf/cpp-template-brainfuck
AlgebraicWolf/den
A place where wolves live
AlgebraicWolf/deptycheck
Facilities for generating dependently-typed data
AlgebraicWolf/deptycheck-minijava-spec
A DepTyCheck specification for (a fragment of) MiniJava language
AlgebraicWolf/distributed-optimization
AlgebraicWolf/dotfiles
AlgebraicWolf/english-presentation
AlgebraicWolf/fpmi-networks-2021
AlgebraicWolf/fpmi-optimization
AlgebraicWolf/Idris2
A purely functional programming language with first class types
AlgebraicWolf/idris2-misc
Random idris excercises that are not worthy of their own repos
AlgebraicWolf/idris2-pack
AlgebraicWolf/k_univalence_inconsistency
Proof that adopting both Axiom K and Univalence leads to inconsistency
AlgebraicWolf/kani
Kani Rust Verifier
AlgebraicWolf/kotlin-backend-project
AlgebraicWolf/leadersofdigital-analytics-toolkit
AlgebraicWolf/luarocks
LuaRocks is the package manager for the Lua programming language.
AlgebraicWolf/MiniJava_Interpreter
AlgebraicWolf/parallel-course-hw
AlgebraicWolf/rust-native-tls
AlgebraicWolf/VeHa2024
AlgebraicWolf/Yaffle
A core language and API for dependently typed languages