A Nushell grammar for Visual Studio Code with IDE support

A new type of shell

A tool to convert plain text into a visual directory structure.

Types for testing TypeScript types.

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

The file-based CMS for your Nuxt application, powered by Markdown and Vue components.

Generate images of code and terminal output 📸

KeyCastr, an open-source keystroke visualizer

repository for JuliaMono, a monospaced font with reasonable Unicode support.

Juisee は、欧文フォント JuliaMono と日本語フォント LINE Seed JP を合成したプログラミング向けフォントです。

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

A modern commutative diagram editor for the web.

Simple Graphviz library for TypeScript.

Moralerspace は、欧文フォント Monaspace と日本語フォント IBM Plex Sans JP 等を合成したプログラミング向けフォントです。

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

⚡️ Minimal H(TTP) framework built for high performance and portability

Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト

Render LaTeX and TikZ diagrams in your notes

A fancy diagnostics & error reporting crate

Interactive React Lifecycle Methods diagram.

Category Theory for Programmers の勉強記録

project documentation, policies & meeting minutes

A syntax-highlighting pager for git, diff, grep, and blame output

Anticipate the outcome of a future HTTP request.

An introduction to programming language theory in Agda

Beautiful and accessible math in all browsers

Command line framework for deno 🦕 Including Commandline-Interfaces, Prompts, CLI-Table, Arguments Parser and more...

A modern alternative to ls

A modern replacement for ‘ls’.

Materials for the class "Implementation of Programming Languages" in Kyoto University.