Skip to content
Avatar
:octocat:
LISP interpreter
:octocat:
LISP interpreter
80 followers · 50 following · 1.3k

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@textlint @roswell @jscl-project @tectonic-typesetting @gitpod-io @typitaca
Block or Report

Block or report tani

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
tani/README.md

TANIGUCHI Masaya

Interests

  • Formal Semantics (Montague Semantics, Continuations and Natural Language)
  • Formal Grammar (Regular Grammar, Combinatory Categorial Grammar)
  • Programming Language Theory (Lisp, Logic Programming)
  • Theorem Prover (Isabelle, Coq, ACL2)

Contact

Pinned

  1. cheeriogs

    Cheerio for Google Apps Script

    JavaScript 132 20

  2. islisp-dev/iris

    The interpreter of ISLisp

    Go 49 2

  3. yomu

    英和辞書付きPDF閲覧ソフト

    JavaScript 48 2

  4. papyrus

    A Literate Programming Tool

    Common Lisp 26 3

  5. Linuxbrew/homebrew-fonts

    Forked from Homebrew/homebrew-cask-fonts

    🖋 Formula of Ｆ🅾𝓝𝐓𝚂 (fork of Caskroom-fonts)

    Ruby 19 6

  6. textlint/textlint-plugin-latex2e

    Textlint Plugin LaTeX2ε

    TypeScript 45 4

1,056 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

August 2021

Created 18 commits in 4 repositories
Created 2 repositories
Opened 1 pull request in 1 repository
windwp/nvim-autopairs
1 merged
Reviewed 1 pull request in 1 repository
windwp/nvim-autopairs 1 pull request

Created an issue in windwp/nvim-autopairs that received 1 comment

Exclude a specific filetypes

Thank you for the cool plugin! I use this plugin in LISP code. In LISP code, quote ' is not a paired character. Thus, I write the following code in…

1 comment
1 contribution in private repositories Aug 5

Seeing something unexpected? Take a look at the GitHub profile guide.