Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
☆16Jul 14, 2016Updated 9 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:
- 成大選課小幫手☆10Aug 28, 2015Updated 10 years ago
- This repository contains the accompanying code for the article published Webpack with Babel 7 at Medium.com (https://medium.com/oredi/web…☆11Jan 4, 2023Updated 3 years ago
- backend of Guabao☆14Sep 3, 2024Updated last year
- The easiest way to pray for no bug in your code.☆18Nov 19, 2016Updated 9 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- Pitching like a boss☆45Aug 25, 2015Updated 10 years ago
- SITCON Internal Tracking & Conference Operation Network☆42Jul 5, 2017Updated 8 years ago
- ☆22Feb 26, 2022Updated 4 years ago
- Judge 13.2 - HypeX☆28Dec 8, 2022Updated 3 years ago
- Do your web font by yourself. 自己的字體，自己做。☆27Feb 7, 2015Updated 11 years ago
- Python Implementations of Dynamic Programming, Sorting, etc☆25Jun 9, 2016Updated 9 years ago
- 支援本土語言漢字、羅馬字的烏體字型，修改自 Source Han Sans。☆33May 17, 2020Updated 5 years ago
- 每週一點小知識☆105Aug 14, 2018Updated 7 years ago
- NCTU thesis☆66Sep 12, 2017Updated 8 years ago
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- riii☆10Dec 10, 2015Updated 10 years ago
- Example Elixir app which uses mix_systemd and mix_deploy to deploy☆43Oct 6, 2023Updated 2 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 years ago
- JavaScript-compatible Unicode data. Arrays of code points, arrays of symbols, and regular expressions for Unicode v7.0.0’s categories, sc…☆28Nov 17, 2025Updated 3 months ago
- Quotes app, built with React Native, GraphQL backend☆11May 17, 2017Updated 8 years ago
- Finite State Machine implementation for JavascriptMVC☆17Oct 13, 2010Updated 15 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Virtual I/O acceleration technologies for KVM☆15Sep 17, 2013Updated 12 years ago
- ☆11Oct 28, 2021Updated 4 years ago
- ARM programs to illustrate tutorials☆42Oct 14, 2015Updated 10 years ago
- old source of https://drugs.olc.tw☆42Jul 5, 2024Updated last year
- A memory-centric profiling tool suite for heterogeneous memory☆11Nov 13, 2024Updated last year
- ☆10Aug 11, 2017Updated 8 years ago
- receive waiting status code & judge them in sandbox with cgroup☆12Oct 18, 2020Updated 5 years ago
- Adds a `with_retry` block for writing `with` statements that are automatically retried.☆11May 22, 2019Updated 6 years ago
- Elixir Plug to manipulate HTTP response headers☆12Sep 7, 2015Updated 10 years ago
- ☆12Mar 19, 2025Updated 11 months ago
- 📦 Upload files to storage with only one command.☆10Dec 15, 2016Updated 9 years ago
- A cross-platform multi-player 3D arcade game implemented entirely in plain C and OpenGL.☆10Aug 15, 2015Updated 10 years ago
- log watcher for awesome wm☆15Nov 3, 2017Updated 8 years ago
- Ruby language compiler for .NET Framework that is built on top of the Dynamic Language Runtime.☆10Dec 2, 2015Updated 10 years ago
- Unix环境高级编程学习笔记☆13Jul 20, 2014Updated 11 years ago
- chat app demo by nodejs, golang, python☆10Jun 24, 2017Updated 8 years ago
- 微信qq微博一键登录☆10Apr 7, 2017Updated 8 years ago