dariush624

BitLySharp

.NET C# Library of bit.ly API for Windows 10, Windows 8.1, Winodws Phone 8.1

CantorStack

Stack data structure based on Cantor Pairing Function

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dariush624

Config files for my GitHub profile.

dariush624.github.io

drive-music-player

Fully client side Music Player for Google Drive

JPwned

Java library for the haveibeenpwned.com APIs

KotlinIntCharArray

IntCharArray represents an array of int pairs each one stored in a char. I made this project to learn Kotlin

SpectroCoin.NET

C# library for SpectroCoin Wallet API

yarel

Develop here a programming language of reversible combinators

dariush624/JPwned

Java library for the haveibeenpwned.com APIs

dariush624/BitLySharp

.NET C# Library of bit.ly API for Windows 10, Windows 8.1, Winodws Phone 8.1

dariush624/CantorStack

Stack data structure based on Cantor Pairing Function

dariush624/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dariush624/dariush624

Config files for my GitHub profile.

dariush624/dariush624.github.io

dariush624/drive-music-player

Fully client side Music Player for Google Drive

dariush624/KotlinIntCharArray

IntCharArray represents an array of int pairs each one stored in a char. I made this project to learn Kotlin

dariush624/SpectroCoin.NET

C# library for SpectroCoin Wallet API

dariush624/grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

dariush624/hibernate-orm

Hibernate's core Object/Relational Mapping functionality

dariush624/plotly.js

Open-source JavaScript charting library behind Plotly and Dash