Alternatives and similar repositories for hilbert

Users that are interested in hilbert are comparing it to the libraries listed below

• yhara / ppap-lang
  (maybe yet another) programming language inspired by PPAP
  ☆66Updated 8 years ago
• egison / egison-ruby
  A Ruby gem for non-linear pattern-matching with backtracking
  ☆163Updated 10 years ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 8 years ago
• pi8027 / typeinfer
  Type inference in OCaml
  ☆40Updated 10 years ago
• mame / trance-book
  「あなたの知らない超絶技巧プログラミングの世界」全ソースコード
  ☆63Updated last year
• makenowjust / quine
  Quine Museum
  ☆344Updated 4 months ago
• kazu-yamamoto / recursion-drill
  Drill to study recursive programming in Haskell
  ☆126Updated last year
• lambdataro / Mokkosu
  Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。
  ☆27Updated 5 years ago
• yutopp / rill
  Statically typed system programming language for 文鳥
  ☆94Updated 4 years ago
• nobsun / hs-bcopl
  五十嵐淳 著『プログラミング言語の基礎概念』
  ☆10Updated 9 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆70Updated 6 years ago
• haskell-jp / recipe-collection
  レシピ集、あるいは逆引き辞典
  ☆52Updated 6 years ago
• egison / typed-egison
  ☆18Updated 6 years ago
• kentaro / Bancor_Protocol_Whitepaper_ja
  Japanese Translation of The Bancor Protocol Whitepaper
  ☆18Updated 8 years ago
• camlspotter / ocaml-zippy-tutorial-in-japanese
  OCaml の日本語での情報
  ☆95Updated 7 years ago
• mame / dobutsu-shogi-master
  A perfect player for Dobutsu-Shogi
  ☆81Updated 3 weeks ago
• mame / minruby
  『Ruby で学ぶ Ruby』用補助ライブラリ
  ☆42Updated 7 years ago
• crystal-jp / ja.crystal-lang.org
  Crystal 言語の公式ドキュメントを日本語に翻訳するプロジェクト
  ☆37Updated 2 years ago
• shiatsumat / wiwinwlh-jp
  What I Wish I Knew When Learning Haskell 日本語訳
  ☆118Updated 9 years ago
• miura1729 / mruby-meta-circular
  mruby by mruby
  ☆32Updated last week
• harukamm / ocaml-blockly
  OCaml visual programming editor based on Blockly.
  ☆66Updated 6 years ago
• inaniwa3 / guuzen-tanka
  This script picks up the tanka from sentences.
  ☆39Updated 7 years ago
• ikeay / vinemv
  Vine動画でミュージックビデオを自動生成するWebアプリケーション
  ☆32Updated 9 years ago
• kiyoka / nendo
  Nendo is a dialect of Lisp written in Ruby. It is designed to be a macro language of Ruby.
  ☆37Updated 4 months ago
• hiratara / Haskell-Nyumon-Sample
  技術評論社の書籍「Haskell入門」のサンプルコードリポジトリ
  ☆26Updated 3 years ago
• klassic / klassic
  Klassic is A Programming Language which enables Object-Functional Programming
  ☆86Updated 2 months ago
• masarakki / r-fxxk
  Generate your own BrainFuck-like language.
  ☆68Updated 2 years ago
• google / horenso
  探しやすいコードで漢字直接入力
  ☆63Updated 6 years ago
• shinh / ags
  golf server
  ☆49Updated 7 months ago
• k16shikano / xml2tex
  one-off xml-to-latex-converter generator
  ☆40Updated last year