puripuri2100 Goto Github PK
Name: Kitano-Kaneko, Naoki
Type: User
Company: University of Tsukuba
Bio: SATySFi/Rust
Twitter: puripuri2100
Location: Ibaraki, Japan
Name: Kitano-Kaneko, Naoki
Type: User
Company: University of Tsukuba
Bio: SATySFi/Rust
Twitter: puripuri2100
Location: Ibaraki, Japan
Convert Bib file to SATySFi file
A bibliography framework for SATySFi.
https://puripuri2100.github.io/blog/
Rust文書の和訳レポジトリ
OCaml library for reading, writing and modifying PDF files
Nondeterministic Finite Automaton with OCaml
A full featured, fast Command Line Argument Parser for Rust
情報科学特別演習で実装しているコードフォーマットライブラリ(OCamlでの実装)
情報科学特別演習で実装しているコードフォーマットライブラリ
Converts csv file to SATySFi's package file.
LaTeX: TeXでつくる虫食い算(割り算)
電気係貸出管理ソフトウェア
Docker images for SATySFi and Satyrographos
SATySFi/satyrographos docker image with regression test environment with jest-pdf-snapshot
A class file easy to customize with SATySFi
This software creates SATySFi's class file based on json file.
世界シミュレータ
数字を日本でよく使われる表記に変換するマクロとカウンタを日本でよく使われる形に変換するマクロ(一部)
規則作成支援
Rustでのk_meansアルゴリズム実装
会計ソフトウェア
漢数字への変換をするライブラリ
筑波大学産学間連携推進室( http://www.ac-room.org/ )で研究している内容の成果報告です
SATySFiを学ぶためのドキュメント(作成中)
Make LL(1) token parser code for Rust
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.