Dariush Moshiri's repositories
dariush624
Config files for my GitHub profile.
hibernate-orm
Hibernate's core Object/Relational Mapping functionality
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
plotly.js
Open-source JavaScript charting library behind Plotly and Dash
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.
drive-music-player
Fully client side Music Player for Google Drive
CantorStack
Stack data structure based on Cantor Pairing Function
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
BitLySharp
.NET C# Library of bit.ly API for Windows 10, Windows 8.1, Winodws Phone 8.1