gaxiiiiiiiiiiii

gaxiiiiiiiiiiii's repositories

compiler

大堀淳著「コンパイラ-原理と構造-」の命題のCoqによる証明

Language:Coq1 20

ALIS_API

Language:Jupyter Notebook000

ApproximationFixpointTheory

Language:Coq000

arrow

Language:Coq000

arrow_impossibility

Language:Coq000

automaton

Language:Coq010

Axiomatic_Set_Theory

Language:Coq020

BlackJack

Language:Haskell000

category-agda

Category Theory in Agda

000

clustering_alis

Language:Jupyter Notebook020

CoPL

Language:Coq000

coq-record-update

Library to create Coq record update functions

Language:CoqMIT000

coroutine

Language:Python000

DafnyCrypto

A cryptography library written in Dafny which focuses on SNARKs and related systems.

Apache-2.0000

discord_bot

Language:Python000

GovernmentStateMachine

Language:Coq000

lattice

Language:Coq000

MK

Language:Coq020

NEO_hackathon

Language:Python020

ostle

Language:Jupyter Notebook020

othello

Language:Python000

pi_calc

Language:Coq000

programming_bitcoin_haskell

Language:HaskellBSD-3-Clause000

RegLang

Language:Coq000

ronkeisya

Language:Coq000

scrape_slack

Language:Python000

sets

Language:Coq020

SetTheory

松坂和夫著の集合・位相入門のCoqによる実装

Language:Coq000

smart-contracts

A few smart contracts

MIT000

trend_detector

Language:Jupyter Notebook020