banacorn / Hakaru-FLOLAC16Links
Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
☆16Updated 8 years ago
Alternatives and similar repositories for Hakaru-FLOLAC16
Users that are interested in Hakaru-FLOLAC16 are comparing it to the libraries listed below
Sorting:
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Updated 11 months ago
- backend of Guabao☆12Updated 9 months ago
- BYOHC workshop 活動記錄☆29Updated 8 years ago
- A Types and Programming Languages Study Group.☆13Updated 8 years ago
- PyCon Taiwan 2017 猜謎機器人☆12Updated 7 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- Pitching like a boss☆45Updated 9 years ago
- A C++ performance analyzing and testing framework on Android and Linux platforms.☆48Updated 9 months ago
- ☆9Updated 8 years ago
- Democracy 3 Taiwan 2016 mod☆17Updated 7 years ago
- A runtime DSL parser generator for python.☆18Updated 9 years ago
- ☆17Updated 8 years ago
- receive waiting status code & judge them in sandbox with cgroup☆12Updated 4 years ago
- Historical maps of Taiwan overlaid on current ones☆18Updated 2 years ago
- 成大選課小幫手☆10Updated 9 years ago
- ☆10Updated 8 years ago
- Organize Taiwan laws☆13Updated 5 years ago
- 政府標案資料查詢、分析☆23Updated this week
- 蔡中涵委員阿美語字典☆7Updated 2 years ago
- Ende is a hypothetical programming language.☆23Updated 4 years ago
- Chrome extension to do bulk operation and things not allowed in GraphAPI, such as breaking the filter bubble☆12Updated 7 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆115Updated 4 years ago
- A simple but powerful DSL for charset/encoding conversion and transformation, pure C implementation with no extra dependencies☆53Updated 2 years ago
- archive.tw☆40Updated 2 years ago
- 邏輯萬國語 (翻譯、檢索、網站、APP) A set of tools for lojban multilingual applications☆16Updated 9 years ago
- 鄉民風水師 for Android☆16Updated 6 years ago
- turn discussion records into organised filterable web view☆27Updated 8 years ago
- Hack Your Own Body☆13Updated 7 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆38Updated 4 years ago
- hackfoldr ui improvement inspired by moztw☆58Updated 3 years ago