-
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
- 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
- Tree-sitter Query
- TypeScript
- Typst
- V
- Vala
- Vim Script
- Vue
- XSLT
- Yacc
- Zig
Automatic solver for plane geometry problems.
A defensive and fast decompression library in pure Common Lisp
Mathics3 Live shell allows you to use Mathics3 in the browser without the need to install anything on your computer.
Mathics3 Debugger - a really cool debugger for Mathics3 (based on the Trepan debuggers)
Nerima SKK (Simple Kana to Kanji conversion program)
Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.
An opinionated NixOS config based on DHH's Omarchy
⚡ A Node.js Addon for synchronous execution of async functions
JS regexes ➕ future. A template tag for readable, high-performance, native JS regexes with extended syntax, context-aware interpolation, and always-on best practices.
👹 Convert patterns from Oniguruma (the regex flavor used by Ruby, TextMate grammars, etc.) to native JavaScript RegExp
A library for seamless multi-language programming.
💃 Dance with LLM in Your Code. Minuet offers code completion as-you-type from popular LLMs including OpenAI, Gemini, Claude, Ollama, Llama.cpp, Codestral, and more.
new version of markdown-it-mathjax3 support SSR and CSR mode
rehype plugin to render math with MathML
Evaluating the ability of machine learning models to make logical inferences
Proof tree renderer on HTML, which can be used with KaTeX.
An editing environment for LaTeX mathematical documents
Manage your Common Lisp project dependencies.
A Bun security scanner that integrates with Socket.dev for package vulnerability detection