banacorn / Hakaru-FLOLAC16
Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
☆16Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Hakaru-FLOLAC16
- Lecture note on Lambda Calculus and Types for FLOLAC☆26Updated 4 months ago
- backend of Guabao☆11Updated 2 months ago
- BYOHC workshop 活動記錄☆29Updated 8 years ago
- Historical maps of Taiwan overlaid on current ones☆18Updated 2 years ago
- PyCon Taiwan 2017 猜謎機器人☆12Updated 7 years ago
- 🚨台灣空氣品質監測聊天機器人☆10Updated 5 years ago
- A Types and Programming Languages Study Group.☆13Updated 8 years ago
- receive waiting status code & judge them in sandbox with cgroup☆12Updated 4 years ago
- Ende is a hypothetical programming language.☆23Updated 4 years ago
- A runtime DSL parser generator for python.☆18Updated 8 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- C++ 職缺列表☆24Updated 6 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 10 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Updated 3 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Updated 8 years ago
- book for Halide language programming☆13Updated 3 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A Big5/GBK <-> UTF-8 translating layer in terminal☆25Updated 9 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- systemd socket activation library for Haskell☆15Updated 4 years ago
- agda-mode on Atom☆58Updated 3 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Updated last year
- Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types☆9Updated 7 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- 蔡中涵委員阿美語字典☆7Updated last year
- A Dict k v in Idris☆15Updated 3 years ago