GitHub - facebook/infer: A static analyzer for Java, C, C++, and Objective-CYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
How to generate permutations
In this post, we will talk about producing permuations using OCaml. Generating permutations was actually one of my first self-homeworks when I started to learn OCaml years ago. It can be a good exercise to train our skills on list, recursion, foundamental fold, map, etc, in OCaml. Also it shows the conciseness of the OCaml as a language. We will first present 2 common approaches for generating all
HardCaml
The following are executable IOCamlJS notebooks (quick start). Tutorials Basic HardCaml tutorials. Introduction Design Flow Combinatorial Logic Sequential Logic Simulation Guarded DSL Instantiation Examples Prefix networks Linear Feedback Shift Registers Comparison Comparison with other HDLs. Chisel
Zélus: a hybrid synchronous language with ODEs
CompilerZélus is a synchronous language extended with Ordinary Differential Equations (ODEs) to program hybrid systems that mix discrete-time and continuous-time models. An example is a (discrete-time) model of a control software paired with a (continuous-time) model of the plant. The language shares the basic principles of the synchronous languages Lustre with modularity features from Lucid Synch
OCamlEditor
OCamlEditor OCamlEditor is a source code editor and build tool for the OCaml programming language. It provides many features to facilitate editing code, accessing API reference directly from the editor and compiling projects. It is entirely written in OCaml and uses LablGtk for the graphical user interface; it is light-weight, free and open source and runs on Linux and Windows. Features Standard E
Visualising an asynchronous monad - Thomas Leonard's blog
Many asynchronous programs make use of promises (also known as using light-weight threads or an asynchronous monad) to manage concurrency. I've been working on tools to collect trace data from such programs and visualise the results, to help with profiling and debugging. The diagram below shows a trace from a Mirage unikernel reading data from disk in a loop. You should be able to pan around by dr
OCaml の let と let rec はなぜ別扱いになっているのか、決定版、もしくは OCaml 暦十何年だったか忘れたけど仕事で Haskell を一年使ってみた - camlspotter’s blog
How to test Async OCaml code · Andreas Garnæs
How to test Async OCaml code 18 Sep 2014 In the previous blog post, we used Core and Async to write a tiny library for talking to Memcached using the binary protocol. I wanted to write tests for the library in a readable and succint manner to ensure correctness – the type system cannot ensure binary data is parsed correctly after all. The regular go-to tool for testing OCaml code is OUnit, but thi
「プログラミングの基礎」を使った授業紹介
「プログラミングの基礎」を使った授業紹介 浅井 健一 このページでは、お茶の水女子大学、理学部、情報科学科の２年生を 対象とした授業「関数型言語」のビデオほかを公開しています。 この授業は反転授業 (flipped class) を行っており、 受講生は授業前に以下の予習を求められます。 毎回の授業用に用意されたビデオを見て、 予習クイズに答えること。 教科書の該当部分を読んで、 教科書問題に答えること。 授業時間中は特に内容の説明はせず、 受講生は別途、示される練習問題とレポート問題を各自、解きます。 その際に生じた疑問点等について授業で個別に対応しています。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - LexiFi/gen_js_api: Easy OCaml bindings for Javascript libraries
Reddit - Dive into anything
[feature request] generate match patterns · Issue #123 · ocaml/merlin
Reddit - Dive into anything
GitHub - szktty/bran: A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
http://ocamloscope.herokuapp.com/
http://lama.univ-savoie.fr/decap/
Caml Trading - Experiences with OCaml on Wall Street
Amazon.co.fr: Apprendre à programmer avec Ocaml: Sylvain Conchon, Jean-Christophe Filliâtre: Book
GitHub - ocaml/merlin: Context sensitive completion for OCaml in Vim and Emacs
http://anil.recoil.org/2014/08/31/ocaml-labs-at-icfp-2014.html
