gogotanaka / hilbertLinks
Implement mathematics.
☆551Updated 2 years ago
Alternatives and similar repositories for hilbert
Users that are interested in hilbert are comparing it to the libraries listed below
Sorting:
- (maybe yet another) programming language inspired by PPAP☆66Updated 8 years ago
- A Ruby gem for non-linear pattern-matching with backtracking☆163Updated 9 years ago
- Describe stencil formurae without even translating them☆58Updated 8 years ago
- 「あなたの知らない超絶技巧プログラミングの世界」全ソースコード☆62Updated 9 months ago
- Type inference in OCaml☆40Updated 10 years ago
- Drill to study recursive programming in Haskell☆126Updated last year
- SoftwareFoundations(Ja)☆71Updated 5 years ago
- Statically typed system programming language for 文鳥☆94Updated 4 years ago
- Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。☆27Updated 5 years ago
- Quine Museum☆343Updated 2 weeks ago
- A perfect player for Dobutsu-Shogi☆79Updated last week
- 五十嵐淳 著『プログラミング言語の基礎概念』☆10Updated 9 years ago
- Klassic is A Programming Language which enables Object-Functional Programming☆85Updated 3 months ago
- Vine動画でミュージックビデオを自動生成するWebアプリケーション☆32Updated 9 years ago
- Generate your own BrainFuck-like language.☆66Updated last year
- レシピ集、あるいは逆引き辞典☆52Updated 5 years ago
- one-off xml-to-latex-converter generator☆40Updated last year
- A Rubygem for array-based scientific computations using GPGPU☆12Updated 7 years ago
- ☆18Updated 6 years ago
- 『Ruby で学ぶ Ruby』用補助ライブラリ☆42Updated 6 years ago
- OCaml の日本語での情報☆95Updated 6 years ago
- 探しやすいコードで漢字直接入力☆63Updated 6 years ago
- regular expression, generator☆85Updated 8 years ago
- mruby by mruby☆31Updated last month
- What I Wish I Knew When Learning Haskell 日本語訳☆117Updated 9 years ago
- A analysis tool for Ruby that adds optional static typing☆37Updated 14 years ago
- This script picks up the tanka from sentences.☆39Updated 7 years ago
- Japanese Translation of The Bancor Protocol Whitepaper☆18Updated 7 years ago
- Math textbook. Trial for social textbook writing.☆21Updated 10 years ago
- OCaml visual programming editor based on Blockly.☆65Updated 6 years ago