Chiaki Ishio's repositories
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
ataca
A TACtic library for Agda
AutoInAgda
An implementation of a first-order auto tactic for Agda, in Agda.
awesome-protein-analysis-on-aws
A curated list of resources for protein analysis on AWS
aws-innovation-sandbox
The AWS Innovation Sandbox solution provisions isolated, self-contained, environments to help developers, security professionals, and infrastructure teams to securely evaluate, explore, and build proof-of-concepts (POCs) using AWS services and third-party applications that run on AWS.
category
learning category theory in Agda
comp17
mini OCaml compiler 2017
comp19
mini OCaml compiler - round 2
deepchem
Democratizing Deep-Learning for Drug Discovery, Quantum Chemistry, Materials Science and Biology
gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
hw6
Initial template for HW6
lambda13
monadic programming / summer seminar 2019
lambda16
generic programming
lambda18
Learn Coq with CPDT
MinChain
MinChain aims to be a minimum implementation of Bitcoin-like-blockchain for demonstration purpose.
ocaml-blockly
OCaml visual programming editor based on Blockly.
ochapro18
on Fridays from 16:45
openfold
Trainable, memory-efficient, and GPU-friendly PyTorch reproduction of AlphaFold 2
pipelines-java
Sample Java application referred to by Azure Pipelines documentation
plfa.github.io
Introduction to programming language theory in Agda
ProgrammingBlockchainCodeExamples
Don't talk. Code!
SharpGo
Go languange interpreter in C#, work in progress
universe-games
small browser game with universeJs library