TANIGUCHI Masaya's Projects
ACL2 System and Books as Maintained by the Community
Jupyter Kernel for ACL2
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
Common Lisp Extension for VSCode
Artistic Code Pro = Mgen+ + FiraCode + NerdFonts
A-Z Asciiart
Asciidoctor extension for converting latexmath using KaTeX at build time
AsciiDoc support for Visual Studio Code using Asciidoctor
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
A collection of awesome TypeScript resources for client-side and server-side development. Write your awesome JavaScript in TypeScript
base16-vim refreshes and commits new themes weekly automatically and has a documented build process.
Contains new Node v0.10 style stream classes for encoding / decoding Base64 data
The esoteric programming language interpreter powered by TCC
LISP on BEAM
A markdown previewer for Vim and Neovim
Cheerio/ jQuery for Google Apps Script
techbook-fest
cl-emoji provides the Unicode emoji characters.
CommonLisp binding of the Persistence of Vision Raytracer, or POV-Ray.
Common LispใซใใSKK่พๆธใตใผใใผใจใใฎๆกๅผต
A implementation of OpenCV's imshow
coc.nvim extension for Metals, the Scala language server
Intellisense engine for Vim8 & Neovim, full language server protocol support as VSCode
LISP implemented in C++