Alternatives and similar repositories for formura

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

• akamah / garbanzo
  a brief note on extendable and injectable syntax
  ☆20Updated 9 years ago
• egison / typed-egison
  ☆17Updated 6 years ago
• formura / formura
  Describe stencil formurae without even translating them
  ☆16Updated 5 years ago
• fetburner / sumiilab-tex
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆36Updated 4 years ago
• nineties / category-seminar
  Materials for category theory seminar
  ☆28Updated last year
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated 2 years ago
• qnighy / satysfi-cross-windows
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Updated 6 years ago
• igrep / yes-precure5-command
  Extended yes command to reproduce the phrases when the Japanese battle heroine PreCure transform.
  ☆26Updated 8 years ago
• rust-lang-ja / trpl-ja-pdf
  日本語版TRPLのPDF
  ☆24Updated 7 years ago
• fetburner / Udon
  A Hobby implementation of ML
  ☆15Updated 9 years ago
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 7 years ago
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• haskell-jp / makeMistakesToLearnHaskell
  Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
  ☆83Updated 2 weeks ago
• nomaddo / loop
  ☆15Updated 8 years ago
• amutake / docker-satysfi
  Docker images for SATySFi and Satyrographos
  ☆26Updated 4 months ago
• ShinyaKato / thompson_hack
  ☆41Updated 6 years ago
• herumi / emcjp
  ☆45Updated 9 years ago
• hikalium / nv
  nv is a programming language supports non-volatile variable and flexible grammar.
  ☆24Updated 3 years ago
• fukushimalab / hpc_exercise
  ネットワーク系演習II：ハイパフォーマンスコンピューティング
  ☆63Updated 5 months ago
• haskell-jp / recipe-collection
  レシピ集、あるいは逆引き辞典
  ☆53Updated 5 years ago
• mattn / vim-tanakh
  (´･_･`)
  ☆25Updated 7 years ago
• tanakh / tomorinask
  An Ask.fm client
  ☆16Updated 9 years ago
• nikosai / lambda-friends
  Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」
  ☆28Updated last year
• pi8027 / typeinfer
  Type inference in OCaml
  ☆40Updated 10 years ago
• starpos / get-out-of-cpp-beginners
  Source code of "Get out of C++ Beginners" book (in Japanese)
  ☆19Updated 3 years ago
• nyuichi / satysfi-base
  complementary collection of useful functions and modules for SATySFi
  ☆31Updated last year
• gfngfn / cs-thesis
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Updated 6 years ago
• aiya000 / aiya000.github.io-old
  my blog
  ☆16Updated 2 years ago
• kmc-jp / c90-compiler
  ISO C90のコンパイラ
  ☆31Updated 8 years ago
• nushio3 / learn-haskell
  ☆164Updated 9 years ago