Alternatives and similar repositories for Hakaru-FLOLAC16:

Users that are interested in Hakaru-FLOLAC16 are comparing it to the libraries listed below

• scmlab / gcl
  backend of Guabao
  ☆12Updated 4 months ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated 6 months ago
• CindyLinz / BYOHC-Workshop
  BYOHC workshop 活動記錄
  ☆29Updated 8 years ago
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 8 years ago
• ccckmit / lowan
  邏輯萬國語 (翻譯、檢索、網站、APP) A set of tools for lojban multilingual applications
  ☆16Updated 9 years ago
• audreyt / archive.tw
  archive.tw
  ☆40Updated 2 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• JudgeGirl / Judge-receiver
  receive waiting status code & judge them in sandbox with cgroup
  ☆12Updated 4 years ago
• Inndy / sligen
  Pitching like a boss
  ☆45Updated 9 years ago
• festime / NCKU-select-course-helper
  成大選課小幫手
  ☆10Updated 9 years ago
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆38Updated 4 years ago
• skymizer / SkyPat
  A C++ performance analyzing and testing framework on Android and Linux platforms.
  ☆47Updated 5 months ago
• yorkxin / no-wang-wang
  自動拒看旺旺中時集團旗下所有網路媒體
  ☆49Updated 5 years ago
• caasi / coscup-2022-fp-frontend
  An example repo for COSCUP 2022
  ☆9Updated 2 years ago
• g0v / newshelper-extension
  協助您判別含有誤導資訊的新聞
  ☆107Updated 5 years ago
• penvirus / gil1
  ☆9Updated 7 years ago
• g0v / workweek
  勞基法計算機
  ☆44Updated 8 years ago
• miaoski / amis-safolu
  蔡中涵委員阿美語字典
  ☆7Updated last year
• ETBlue / debater
  turn discussion records into organised filterable web view
  ☆27Updated 8 years ago
• imrehg / taiwanmap
  Historical maps of Taiwan overlaid on current ones
  ☆18Updated 2 years ago
• g0v / twlaw
  Organize Taiwan laws
  ☆13Updated 4 years ago
• ntu-student-congress / tortue
  國立臺灣大學學生會法規彙編
  ☆15Updated 4 years ago
• ju5td0m7m1nd / NTHU_FORCE_ENROLLMENT
  ☆17Updated 8 years ago
• cccriscv / c2riscv
  從 C 語言到 RISCV 處理器
  ☆22Updated 6 years ago
• ronnywang / tw-law-corpus
  Taiwan law corpus, generated by https://github.com/ronnywang/twlaw
  ☆42Updated 3 years ago
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆114Updated 4 years ago
• c9s / github-taiwan
  Taiwan Developers on Github
  ☆119Updated 3 years ago
• CindyLinz / Tutor-Haskell
  跟幾個朋友 study group 所用的教材
  ☆20Updated 9 years ago
• crazyangelo / Cathedral-and-Bazaar
  The Cathedral and the Bazaar 中文版
  ☆28Updated 3 years ago
• hackfoldr / hackfoldr-2.0
  hackfoldr ui improvement inspired by moztw
  ☆58Updated 3 years ago