Giter Club home page Giter Club logo

Katsuyoshi Ozaki's Projects

certbot icon 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.

clack icon clack

Web application environment for Common Lisp

clml icon clml

Common Lisp Machine Learning Library

clover icon clover

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

csviz icon csviz

A Simple CSV data Visualizer

cttool icon cttool

A command line tool for Certificate Transparency

dns icon dns

implementation of DNS(domain name system)

dnslib icon dnslib

Domain Name System library for Common Lisp

flexpr icon flexpr

simple logic programming environment

id3 icon id3

generate decision tree in ID3 algorithm

idna icon idna

implementation of IDNA protocol

kbcompl icon kbcompl

implementation of Knuth-Bendix completion algorithm

lexer icon lexer

A lexing package for Common Lisp

lexpr icon lexpr

tableau method and lexpr module

mllib icon mllib

machine lerning library for understanding

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.