Alternatives and similar repositories for Hakaru-FLOLAC16

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

• CindyLinz / BYOHC-Workshop
  BYOHC workshop 活動記錄
  ☆29Updated 8 years ago
• scmlab / gcl
  backend of Guabao
  ☆13Updated 10 months ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated last year
• pycontw / quizbot-2017
  PyCon Taiwan 2017 猜謎機器人
  ☆12Updated 8 years ago
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 9 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• miaoski / amis-safolu
  蔡中涵委員阿美語字典
  ☆7Updated 2 years ago
• cschat-tw / StudyGroup-TAPL
  A Types and Programming Languages Study Group.
  ☆13Updated 8 years ago
• skymizer / SkyPat
  A C++ performance analyzing and testing framework on Android and Linux platforms.
  ☆48Updated 11 months ago
• AndyShiue / Ende-readme
  Ende is a hypothetical programming language.
  ☆23Updated 4 years ago
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆45Updated 2 years ago
• JudgeGirl / Judge-receiver
  receive waiting status code & judge them in sandbox with cgroup
  ☆13Updated 4 years ago
• hackfoldr / hackfoldr-2.0
  hackfoldr ui improvement inspired by moztw
  ☆58Updated 3 years ago
• banacorn / agda-mode
  agda-mode on Atom
  ☆58Updated 4 years ago
• imrehg / taiwanmap
  Historical maps of Taiwan overlaid on current ones
  ☆18Updated 2 years ago
• buganini / bsdconv
  A simple but powerful DSL for charset/encoding conversion and transformation, pure C implementation with no extra dependencies
  ☆53Updated 2 years ago
• g0v / twlaw
  Organize Taiwan laws
  ☆13Updated 5 years ago
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆115Updated 4 years ago
• Inndy / sligen
  Pitching like a boss
  ☆45Updated 9 years ago
• yallop / pldi2014-papers
  Accepted papers for PLDI 2014
  ☆15Updated 9 years ago
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆38Updated 4 years ago
• caasi / coscup-2022-fp-frontend
  An example repo for COSCUP 2022
  ☆9Updated 2 years ago
• lnishan / SQLGitHub
  SQLGitHub — Managing GitHub organization made easier
  ☆39Updated 7 years ago
• neutronest / vortex
  a Haskell implementation of Deep Learning frameworks.
  ☆12Updated 9 years ago
• audreyt / democracy3-taiwan-mod
  Democracy 3 Taiwan 2016 mod
  ☆17Updated 7 years ago
• DevOpsTW / fb_post_list
  整理 DevOps Taiwan FB 社團上的貼文
  ☆19Updated 8 years ago
• g0v / hyob
  Hack Your Own Body
  ☆13Updated 8 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 6 years ago
• pycontw / APAC2015WebContent
  ☆10Updated 10 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago