moratori
my interests: Public Key Infrastructure, Domain Name System, Self-sovereign identity, Verifiable Credentials, Symbolic Computation
Tokyo, Japan
Pinned Repositories
certbot
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
cttool
A command line tool for Certificate Transparency
dnsprobe
Domain Name System monitoring tool
flexpr
simple logic programming environment
id3
generate decision tree in ID3 algorithm
indoor-positioning-clone
moratori's Repositories
moratori/dnsprobe
Domain Name System monitoring tool
moratori/cttool
A command line tool for Certificate Transparency
moratori/certbot
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
moratori/clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
moratori/id3
generate decision tree in ID3 algorithm
moratori/indoor-positioning-clone
moratori/crlset-monitor
unofficial Chromium's CRLset monitor
moratori/AOJ
solutions for AOJ
moratori/clack
Web application environment for Common Lisp
moratori/csviz
A Simple CSV data Visualizer
moratori/ct
moratori/dnslib
Domain Name System library for Common Lisp
moratori/dotfiles
dot files
moratori/iddfs
moratori/lexer
A lexing package for Common Lisp
moratori/matrix-react-sdk
Matrix SDK for React Javascript
moratori/oauth-in-action-code
Source code for OAuth 2 in Action
moratori/OWND-Wallet-Android
moratori/OWND-Wallet-iOS
moratori/pebble
A miniature version of Boulder, Pebble is a small RFC 8555 ACME test server not suited for a production certificate authority.
moratori/python-batch-skelton
Python Batch System Skelton
moratori/sd-jwt
Selective disclosure for a signed JWT
moratori/searching
search algorithm collection
moratori/secp256k1_swift
Elliptic Curve operations, Schnorr, and ZKP for Bitcoin. Supports iOS macOS tvOS watchOS + Linux.
moratori/simpleproxy
Simple HTTP proxy
moratori/synapse
Synapse: Matrix homeserver written in Python/Twisted.
moratori/TinyAcmeClient
moratori/trs
Term Rewriting System
moratori/TrustedWebDocuments
TrustedWebPromotionCouncil - Documents
moratori/whitepaper