Pinned Repositories
Algoritm--teorija
Adomo Birštuno Algoritmų teorijos paskaitų konspektas
Dictionary
django-db-utils
django-starter
A fork of django-starter created by Sirex.
Dokumentacija
Projektų dokumentavimo aprašymai.
Matematin--analiz-
Almanto Juozulyno Matematinės analizės paskaitų konspektas
nma
bandymas
nma-2009-git
NMA 2009 Git užduotys
pysheets
rmtoo
A fork of requirements management tool – rmtoo.
vakaras's Repositories
vakaras/mir-dump
vakaras/smauglys
vakaras/crates.io-index
Registry index for crates.io
vakaras/datapond
A set of tools for working with datafrog
vakaras/docker-texlive
Docker image with Tex Live.
vakaras/egg
egg is a flexible, high-performance e-graph library
vakaras/flowistry
vakaras/loom
Concurrency permutation testing tool for Rust.
vakaras/MIRAI
Rust mid-level IR Abstract Interpreter
vakaras/miri
An interpreter for Rust's mid-level intermediate representation
vakaras/panic-never
This crate guarantees that your application is free of panicking branches
vakaras/polonius
Defines the Rust borrow checker.
vakaras/priroda
A graphical debugger for Rust MIR
vakaras/proc-macro-hack
Procedural macros in expression position
vakaras/quick-run-code
vakaras/rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
vakaras/rust
A safe, concurrent, practical language.
vakaras/rust-1
RustPräzi: Representing crates.io as a call-based dependency network
vakaras/rust-ebpf-demo
Example of building and running an eBPF program in Rust
vakaras/rustwide
Execute your code on the Rust ecosystem.
vakaras/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
vakaras/smauglys-ide
binary releases of VS Code without MS branding/telemetry/licensing
vakaras/smt2utils
Libraries and tools for the SMT-LIB-2 standard.
vakaras/svirpti
vakaras/vscode-code-runner
Code Runner for Visual Studio Code
vakaras/vscode-language-pack-lt
Lietuvybės paketas skirtas VS Code.
vakaras/vscode-python
Python extension for Visual Studio Code
vakaras/wg-verification
Verification working group
vakaras/z3
The Z3 Theorem Prover
vakaras/z3.rs
Rust bindings for the Z3 solver.