gogotanaka / hilbert

Related projects ⓘ

Alternatives and complementary repositories for hilbert

• egison / egison-ruby
  A Ruby gem for non-linear pattern-matching with backtracking
  ☆161Updated 8 years ago
• pi8027 / typeinfer
  Type inference in OCaml
  ☆39Updated 9 years ago
• yhara / ppap-lang
  (maybe yet another) programming language inspired by PPAP
  ☆66Updated 7 years ago
• kazu-yamamoto / recursion-drill
  Drill to study recursive programming in Haskell
  ☆127Updated 6 months ago
• lambdataro / Mokkosu
  Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。
  ☆27Updated 4 years ago
• mame / trance-book
  「あなたの知らない超絶技巧プログラミングの世界」全ソースコード
  ☆58Updated 2 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 7 years ago
• yutopp / rill
  Statically typed system programming language for 文鳥
  ☆94Updated 3 years ago
• coord-e / scopion
  a statically-typed programming language with powerful syntax
  ☆31Updated 5 years ago
• klassic / klassic
  Klassic is A Programming Language which enables Object-Functional Programming
  ☆85Updated 3 weeks ago
• haskell-jp / recipe-collection
  レシピ集、あるいは逆引き辞典
  ☆53Updated 4 years ago
• r7kamura / ikku
  Discover haiku from text.
  ☆76Updated 9 years ago
• haskell-jp / makeMistakesToLearnHaskell
  Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
  ☆81Updated this week
• lukasmartinelli / hwk
  A Haskell based awk and sed alternative
  ☆67Updated 6 years ago
• Tatsuki-I / Vihs
  Vim like Text editor by Haskell.
  ☆14Updated 7 years ago
• egison / typed-egison
  ☆17Updated 5 years ago
• nomaddo / loop
  ☆15Updated 7 years ago
• masarakki / r-fxxk
  Generate your own BrainFuck-like language.
  ☆65Updated 11 months ago
• camlspotter / ocaml-zippy-tutorial-in-japanese
  OCaml の日本語での情報
  ☆94Updated 6 years ago
• miura1729 / mruby-meta-circular
  mruby by mruby
  ☆31Updated this week
• itchyny / sjsp
  Simple JavaScript Profiler
  ☆234Updated 4 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated last year
• hsk / docs
  any docs
  ☆17Updated 4 years ago
• prg-titech / ikra-ruby
  A Rubygem for array-based scientific computations using GPGPU
  ☆12Updated 7 years ago
• aamine / jetspider-course
  JavaScript to SpiderMonkey VM byte code compiler. This compiler is a part of a lecture, the code generator is incomplete.
  ☆27Updated 8 years ago
• shiatsumat / wiwinwlh-jp
  What I Wish I Knew When Learning Haskell 日本語訳
  ☆114Updated 8 years ago
• rhysd / Dachs
  Dachs; A Doggy Programming Language
  ☆86Updated 5 years ago
• mame / minruby
  『Ruby で学ぶ Ruby』用補助ライブラリ
  ☆41Updated 6 years ago
• crystal-jp / ja.crystal-lang.org
  Crystal 言語の公式ドキュメントを日本語に翻訳するプロジェクト
  ☆39Updated last year