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

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

Language:ShellLicense:CC-BY-SA-4.0Stargazers:25761Issues:443Issues:204

grex

A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

Language:RustLicense:Apache-2.0Stargazers:7246Issues:47Issues:53

SwiftLaTeX

SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

Language:CLicense:AGPL-3.0Stargazers:2077Issues:33Issues:66

image-gpt

Language:PythonLicense:NOASSERTIONStargazers:2040Issues:83Issues:18

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

Language:CoqLicense:BSD-3-ClauseStargazers:747Issues:20Issues:19

recursion-schemes

Generalized bananas, lenses and barbed wire

Language:HaskellLicense:NOASSERTIONStargazers:336Issues:19Issues:70

lighthousemap

OpenStreetMap's Blinking Beacons

Language:JavaScriptLicense:MITStargazers:286Issues:10Issues:17

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Language:HTMLLicense:MITStargazers:230Issues:10Issues:76

lean-gym

Language:LeanLicense:Apache-2.0Stargazers:168Issues:10Issues:10

Coq-BB5

Language:CoqLicense:MITStargazers:154Issues:7Issues:3

Meikade

Meikade is a poetry application.

Language:QMLLicense:GPL-3.0Stargazers:102Issues:9Issues:15

EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

Language:TeXLicense:MITStargazers:102Issues:19Issues:0

Web-Workshop

Angular, Ansible, CI/CD, Flutter, ElasticSearch, Redis, NSQ, RabbitMQ, Jenkins, Jest, React, Redux, TypeScript, Django, GraphQL, Rest Framework, Docker and Kubernetes Tutorial

Language:JavaScriptLicense:MITStargazers:96Issues:4Issues:1

Parf-Edhellen

A dictionary for Tolkien's languages

Language:PHPStargazers:81Issues:8Issues:50

vehicle

A toolkit for enforcing logical specifications on neural networks

Language:HaskellLicense:BSD-3-ClauseStargazers:78Issues:9Issues:363

pmwd

Differentiable Cosmological Forward Model

Language:PythonLicense:BSD-3-ClauseStargazers:70Issues:16Issues:12

coq-lean-cheatsheet

A quick reference for mapping Coq tactics to Lean tactics

Language:LeanStargazers:68Issues:7Issues:4

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

Language:HaskellLicense:Apache-2.0Stargazers:44Issues:1Issues:5

coq-course

Coq course at Chalmers CSE

Language:CoqStargazers:37Issues:14Issues:4

dickinson

Text generation language

Language:HaskellLicense:BSD-3-ClauseStargazers:32Issues:5Issues:1

mitten_preorder

Language:OCamlLicense:MITStargazers:26Issues:6Issues:1

formaltt

Formalization of type theory

Language:AgdaLicense:MITStargazers:22Issues:6Issues:1

cascade

A project management service with pure functional programming paradigm in the heart.

Language:HaskellLicense:MPL-2.0Stargazers:21Issues:3Issues:13

alarm-clock

A simple Bash alarm clock script.

Language:ShellStargazers:11Issues:2Issues:0

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Language:CoqLicense:NOASSERTIONStargazers:8Issues:3Issues:2

CoqCat

Formalization of Category Theory in Coq.

Language:CoqStargazers:3Issues:1Issues:0

CS316-2021

The 2021/22 edition of Strathclyde's Functional Programming course in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:5Issues:0

lttt

"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

Language:CoqStargazers:1Issues:1Issues:5

weak-omega

An implementation of lambda weak omega in Coq, with report.

Language:CoqStargazers:1Issues:1Issues:0

universal_program

Language:PythonStargazers:1Issues:1Issues:0