Code Monkey home page Code Monkey logo

HELLO WORLD

I studied mathematics at Kyoto University and earned my Master's degree on Mathematics at RIMS (Research Institute for Mathematical Sciences Kyoto University).

I am currently learning about Lean language. The Lean language would bridge pure mathematics and computer science, creating a new mathematical community. My ambition is to make Lean, after TeX, the programming language known to all mathematics graduates.

📊 Stats

Anurag's GitHub stats

🖐️ My Past Contributions

Lean Textbook, Documents

Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card

Lean Library

Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card

Others

Readme Card

📫 Contact me

  • Feel free to visit and post a discussion on GitHub. (posting an issue is also welcome) I will reply to you.

  • Please use Discord for private discussions. seasawher is me.

🔗 Links

Acknowledgment 🙇

Kitamado's Projects

beastify-extension icon beastify-extension

ブラウザ拡張機能を作るチュートリアルで作成した，FireFox拡張機能

beautiful-jekyll icon beautiful-jekyll

GitHub+Jekyllでブログを書くための練習としてForkしたリポジトリ．

book icon book

The Rust Programming Language

bosch icon bosch

Siegfried Bosch「Algebraic Geometry and Commutative Algebra」のノートです。2ページ。

code-sync icon code-sync

コードの，同時に変更しなければならないファイル群をチェックするツールです．（開発中）

compact_support icon compact_support

コンパクト台連続関数がなす空間にどんな位相を入れるかについて考えた文章です。13ページ。

compfiles icon compfiles

Catalog Of Math Problems Formalized In Lean

cot icon cot

WIP: work in progress

cs50web-capstone icon cs50web-capstone

My submission of CS50Web final project Capstone. This is a website where you can share and answer quizzes.

diff_class icon diff_class

微分方程式の授業の過去問と解答です。6ページ。

fp-lean icon fp-lean

Functional Programming in Lean のソースコードのクローン

fp-lean-ja icon fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

fp-lean-solutions icon fp-lean-solutions

「Functional Programming in Lean」の演習問題の解答を置いておく用のリポジトリです．

free-math icon free-math

This is a collection of legally free resources for mathematics.

game-of-life icon game-of-life

Conway's game of life implemented by Deno + TypeScript + p5js

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.