Skip to content
View momvart's full-sized avatar
  • Simon Fraser University
  • BC, Canada
  • LinkedIn in/momvart

Highlights

  • Pro

Block or report momvart

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Needle: A Database for Image Content Retrieval using Natural Language Queries

Python 6 Updated Jan 14, 2025

Kani Rust Verifier

Rust 2,332 100 Updated Jan 17, 2025

Benchmarks for rust serialization frameworks

Rust 714 60 Updated Jan 15, 2025

The Linux perf GUI for performance analysis.

C++ 4,247 255 Updated Jan 14, 2025

Some more derive(Trait) options

Rust 1,791 124 Updated Jan 16, 2025

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Rust 1,924 45 Updated Dec 17, 2024

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Rust 2,094 331 Updated Jan 16, 2025

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

JavaScript 10,799 782 Updated Jan 17, 2025

Rust bindings for the Z3 solver.

Rust 370 115 Updated Dec 9, 2024

Translate PDF, EPub, webpage, metadata, annotations, notes to the target language. Support 20+ translate services.

TypeScript 7,973 370 Updated Jan 13, 2025

YAAC: Another Awesome CV is a template using Font Awesome and Adobe Source Font.

TeX 922 246 Updated Nov 14, 2022

A beautiful, simple, clean, and responsive Jekyll theme for academics

HTML 11,876 11,463 Updated Jan 16, 2025

🏆 Collection of bugs uncovered by fuzzing Rust code

425 50 Updated Jul 30, 2024

Keep track of whether you've read items in Zotero

TypeScript 319 7 Updated Jan 8, 2025

KLEE Symbolic Execution Engine

C++ 2,684 681 Updated Jan 6, 2025

Rust method delegation with less boilerplate

Rust 451 19 Updated Jan 14, 2025

Empowering everyone to build reliable and efficient software.

Rust 100,529 12,983 Updated Jan 17, 2025

SymCC: efficient compiler-based symbolic execution

C++ 793 141 Updated Jul 16, 2024

The Z3 Theorem Prover

C++ 10,566 1,489 Updated Jan 17, 2025

PDFsam, a desktop application to split, merge, mix, rotate PDF files and extract pages

Java 3,516 347 Updated Jan 6, 2025

PowerShell script for shredding files.

PowerShell 7 4 Updated Apr 25, 2023

⚡ A Fast, Extensible Progress Bar for Python and CLI

Python 29,086 1,366 Updated Dec 20, 2024

SourceMonitor Information

58 3 Updated Nov 5, 2024

WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).

C++ 23,631 1,492 Updated Jan 17, 2025

A Java serialization/deserialization library to convert Java Objects into JSON and back

Java 23,486 4,296 Updated Jan 2, 2025

The Kotlin Programming Language.

Kotlin 49,809 5,821 Updated Jan 17, 2025

The fundamental package for scientific computing with Python.

Python 28,569 10,331 Updated Jan 17, 2025

EF Core is a modern object-database mapper for .NET. It supports LINQ queries, change tracking, updates, and schema migrations.

C# 13,872 3,209 Updated Jan 16, 2025

Docker command completion for PowerShell.

PowerShell 385 68 Updated Dec 16, 2024

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

C# 15,684 4,818 Updated Jan 17, 2025
Next
Showing results