Arash Sahebolamri's repositories
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
VSCodeAlloyExtension
An extension for VS Code supporting the Alloy modelling language
AndroidAsync
Asynchronous socket, http (client+server), websocket, and socket.io library for android. Based on nio, not threads.
argmin
Mathematical optimization in pure Rust
cargo
The Rust package manager
CSharpEssentials
C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it easy to work with C# 6 language features.
dashmap
Blazing fast concurrent HashMap for Rust.
derive_more
Some more derive(Trait) options
jordanbray_chess
A rust library to manage chess move generation
m-decoster_RsGenetic
Genetic Algorithm library in Rust
magic-racket
The best coding experience for Racket in VS Code
polonius
Defines the Rust borrow checker.
program-analysis-p0
Project 0 for program analysis (CIS 700) at SU, Fall 2019
program-analysis-p1
Homework 1 for CIS 700
program-anaysis-examples
Notes for CIS 700 (Fall '19) at Syracuse U.
rasn
A Safe #[no_std] ASN.1 Codec Framework
rust-mbedtls
Idiomatic Rust wrapper for MbedTLS
ScreenToGif
🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.
serde
Serialization framework for Rust
tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
tokio-rustls
Async TLS for the Tokio runtime
vscode-alloy
Alloy syntax highlighting support for VSCode
xZune.Vlc
xZune.Vlc is a LibVlc wrapper for WPF.