BelegCuthalion

Alireza's starred repositories

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

NOASSERTION198232 2547 804

not-paid

Client did not pay? Add opacity to the body tag and decrease it every day until their site completely fades away

Language:JavaScript14670 1390

quine-relay

An uroboros program with 100+ programming languages

Language:Ruby13955 237 90

git-history

Quickly browse the history of a file from any git repository

Language:JavaScriptMIT13553 136 115

server

A simple server for sending and receiving messages in real-time per WebSocket. (Includes a sleek web-ui)

Language:GoNOASSERTION11220 121 460

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION10940 244 162

UACME

Defeating Windows User Account Control

Language:CBSD-2-Clause6312 276 117

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.

Language:OCamlLGPL-2.14816 104 10051

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqNOASSERTION1248 60 589

i3-gnome

Use i3wm/i3-gaps with GNOME Session infrastructure.

Language:MakefileMIT944 22 104

made-in-iran

A list of cool projects made in Iran

Language:TypeScript915 42 40

weechat-matrix-protocol-script

A WeeChat script in Lua that implements the matrix.org chat protocol

Language:Lua349 25 80

Coqtail

Interactive Coq Proofs in Vim

Language:PythonMIT272 8 172

coq-haskell

A library for formalizing Haskell types and functions in Coq

Language:CoqBSD-3-Clause166 12 3

tehran-thesis

LaTeX template for BSc/MSc/PhD theses of University of Tehran - قالب لاتک پایان‌نامه دانشگاه تهران

Language:TeXGPL-3.0152 6 24

logitext

Beautiful, interactive visualizations of logical inference

Language:UrWebBSD-3-Clause150 11 6

Rasterific

A drawing engine in Haskell

Language:HaskellBSD-3-Clause140 9 49

retro

A markdown CSS module that is a blast to the past.

Language:CSSMIT114 20

vscoq

Coq Support for Visual Studio Code

Language:TypeScriptMIT91 9 162

gamepad

A Learning Environment for Theorem Proving

Language:CoqApache-2.071 9 13

Saaghar

“Saaghar” (ساغر) is a Persian poetry software written by C++ under Qt framework, it uses "ganjoor" database as its database. It has tab feature in both its “Viewer” and its “Search” page that cause it be suitable for research goals.

Language:C++NOASSERTION54 2 9