cutsea110 Goto Github PK

9cc

try rui's 9cc tutorial

adjunction-rule

check adjunction law

adv-cal-2014

advent calendar 2014

adv-cal-2017

advent-cal-2013

Advent Calendar 2013

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-copatterns

agda-copatterns

agda-decidable

https://plfa.github.io/Decidable/

agda-enc

https://twitter.com/hatsugai/status/1040708181750513664

agda-reflection

http://agda.readthedocs.io/en/latest/language/reflection.html

agda-subst

list and append is reflexive , symetric and transitive

agda-syntax-keyword

test syntax of agda

agda-tutorial

agda tutorial

agda-view

advent calendar 2016 theorem prover

agda-well-found

http://www.iis.sinica.edu.tw/~scm/2008/well-founded-recursion-and-accessibility/

alloy-aop

study arrows over alloy

alloy-tutorial

for work

alloyanalyzer

An unofficial copy of MIT's Alloy Analyzer model checking tool.

aop

aop-by-alloy

aop-prelude

Prelude for Algebra of Programming

aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

aspnet-core-registration-login-api

ASP.NET Core 2.2 API for User Management, Authentication and Registration

async-book

ref.) https://rust-lang.github.io/async-book/01_getting_started/01_chapter.html

atcoder

try atcoder

auto-calculation

automatic calculation written in Haskell (Think Functional With Haskell)

aws_cost_rs

awsの利用料金をslackへ通知するアプリケーション

b1

B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.

bcopl

try exercise by Agda

birds-of-paradise

yet another SK combinator library