-
RIKEN / Tohoku Univ
- Earth
- tani.cc
- @ma38taniguchi
- https://fedibird.com/@ma38taniguchi
- https://researchmap.jp/taniguchimasaya
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Adblock Filter List
- Agda
- Arc
- Assembly
- AutoHotkey
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- HTML
- Haskell
- Hy
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Mercury
- MoonBit
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl
- PogoScript
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- QML
- Racket
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- TeX
- Text
- TypeScript
- Typst
- V
- Vala
- Vim Script
- Vue
- XSLT
- Yacc
- Zig
An open-source, customizable intermediate logic textbook
hiroshi-manabe / sicp-pdf
Forked from minghai/sicp-pdfSICP PDF with Texinfo and LaTeX source
Witiko / markdown
Forked from jgm/lunamark📔 A package for converting and rendering markdown documents in TeX
Software Design誌の連載「ハイパーバイザの作り方」の原稿公開用リポジトリ
An abandoned OpenType/Unicode math port of AMS Euler font
A LaTeX beamer theme for the University of Antwerp
LaTeX jsclasses document classes adapted to any engines
Parsing the Common Lisp draft specification TeX sources
Template for a simple thesis or dissertation (bachelor's, master's, Ph.D.) or technical report, in XeLaTeX.
LaTeX: Support for Japanese typesetting with pdfLaTeX and CJK package
LaTeX: Auxiliary settings for use of “Harano Aji Fonts” on (u)pLaTeX
LaTeX: Collection of small packages concerning Japanese typesetting
A fork from beamer-torino to fit JAIST color and some customization
Formalización del Teorema de Existencia de Modelo en Isabelle/HOL