Giters
Alireza (BelegCuthalion)

BelegCuthalion

Geek Repo

22

followers

41

following

203

stars

Location:Tehran

Github PK Tool:Github PK Tool

Organizations
machinerds
StructMath
TypicalMath

Alireza's starred repositories

Ventoy

A new bootable USB solution.

Language:CLicense:GPL-3.0Stargazers:62156Issues:653Issues:2257

OpenDiablo2

An open source re-implementation of Diablo 2

Language:GoLicense:GPL-3.0Stargazers:10751Issues:227Issues:268

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Language:TypeScriptLicense:MITStargazers:10634Issues:58Issues:3071

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellStargazers:8958Issues:395Issues:271

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2133Issues:91Issues:9

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1363Issues:23Issues:256

hazm

Persian NLP Toolkit

Language:PythonLicense:MITStargazers:1196Issues:24Issues:233

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:1057Issues:99Issues:169

software-foundations

Software Foundations in Idris

Language:IdrisLicense:MITStargazers:453Issues:30Issues:27

modallogic

Modal Logic Playground

Language:JavaScriptLicense:MITStargazers:366Issues:22Issues:7

HoTT-Intro

An introductory course to Homotopy Type Theory

Language:AgdaLicense:CC-BY-4.0Stargazers:357Issues:25Issues:3

company-coq

A Coq IDE build on top of Proof General's Coq mode

Language:Emacs LispLicense:GPL-3.0Stargazers:351Issues:10Issues:239

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Language:AgdaLicense:GPL-3.0Stargazers:228Issues:16Issues:37

HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

Language:AgdaLicense:GPL-3.0Stargazers:219Issues:16Issues:13

GeoCoq

A formalization of geometry in Coq based on Tarski's axiom system

Language:CoqLicense:LGPL-3.0Stargazers:181Issues:17Issues:14

type-theory-study-group

Resources for the online Type Theory Study Group

Stargazers:161Issues:52Issues:2

arithmoi

Number theory: primes, arithmetic functions, modular computations, special sequences

Language:HaskellLicense:MITStargazers:147Issues:11Issues:96

learn-tt

A collection of resources for learning type theory.

Stargazers:101Issues:11Issues:0

T2

T2 Temporal Prover

Language:CLicense:NOASSERTIONStargazers:93Issues:13Issues:6

Persian-Sentiment-Resources

Awesome Persian Sentiment Analysis Resources - منابع مرتبط با تحلیل احساسات در زبان فارسی

Stargazers:63Issues:4Issues:0

pg

Problem rendering engine for WeBWorK

Language:PerlLicense:NOASSERTIONStargazers:46Issues:18Issues:178

WhoColor

Contains the WhoColor server and client code.

Language:JavaScriptLicense:NOASSERTIONStargazers:37Issues:8Issues:19

libprimis

Libprimis: Imprimis' 3D destroyable world engine

Language:C++License:NOASSERTIONStargazers:29Issues:4Issues:211

synthetic-probability

Demonstrating using the continuation monad as a probability monad in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:0Issues:0

tutch

Language:Standard MLStargazers:7Issues:10Issues:1

Coq

Formalization of the Introduction to Homotopy Type Theory in Coq

Language:CoqLicense:GPL-3.0Stargazers:7Issues:2Issues:0

secret-notes

Containing small notes which aren't original or noteworthy, but which I don't want to lose.

Language:TeXStargazers:4Issues:3Issues:0

ProofRenderer

Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.

Language:JavaLicense:GPL-3.0Stargazers:4Issues:1Issues:0

bellantonicook

Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions

Language:CoqLicense:NOASSERTIONStargazers:3Issues:0Issues:0

ml-notebooks

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:2Issues:3Issues:0