GitHub - mirage/irmin: Irmin is a distributed database that follows the same design principles as Git
Irmin is based on distributed version-control systems (DVCs), extensively used in software development to track data provenance and show modifications in the source code. Irmin applies DVC's principles to large-scale distributed data and includes similar functions to Git (clone, push, pull, branch, rebase). The Git workflow was initially designed for humans to manage changes within source code. Ir
GitHub - BinaryAnalysisPlatform/bap: Binary Analysis Platform
The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of binary programs. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added using plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and a symbolic executor. BAP features its own domain-specific language, Primus
Javalib & Sawja
Download: It is recommended to install Sawja via opam but the sources are also available here : Sawja 1.5.7. Introduction Javalib is a library that parses Java .class files into OCaml data structures. Javalib offers primitives to extract information from, manipulate, and generate valid .class files. It is distributed under the GNU Lesser General Public License (see the LICENSE file) and available
Effective Concurrency with Algebraic Effects · KC Sivaramakrishnan
Algebraic effects and handlers provide a modular abstraction for expressing effectful computation, allowing the programmer to separate the expression of an effectful computation from its implementation. In this post, I will present an extension to OCaml for programming with linear algebraic effects, and demonstrate its use in expressing concurrency primitives for multicore OCaml. The design and im
SML and OCaml: So, why was the OCaml faster?
(Notes: * I know that it’s possible to make SML/NJ produce a native binary, but I still haven’t taken the time to figure out how to do it. This time comes from adding a timing wrapper in the program itself and then importing it into the interactive environment. ** Alice ML has three JIT compiler settings; this was mode 1, which proved the fastest.) So SML/NJ is not far off OCaml; it’s clearly poss
Four MLs (and a Python)
I wrote a small command-line text processing program in four different ML-derived languages, to try to get a feel for how they compare in terms of syntax, library, and build-run cycles. ML is a family of functional programming languages that have grown up during the past 40 years and more, with strong static typing, type inference, and eager evaluation. I tried out Standard ML, OCaml, Yeti, and F#
GitHub - LexiFi/gen_js_api: Easy OCaml bindings for Javascript libraries
gen_js_api aims at simplifying the creation of OCaml bindings for JavaScript libraries. It must currently be used with the js_of_ocaml compiler, although other ways to run OCaml code "against" JavaScript might be supported later with the same binding definitions (for instance, Bucklescript, or direct embedding of a JS engine in a native OCaml application). gen_js_api is based on the following idea
OCamlã‹ã‚‰å¦ã¶Coq - ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
1 Coqã¯é–¢æ•°åž‹è¨€èªžOCamlã¨ã‚ˆãä¼¼ã¦ã„る部分ãŒå¤šã„ã®ã§ã€OCamlã‚’ã‚„ã£ãŸã“ã¨ãŒã‚る人ã¯ã€Coqã‚’ç†è§£ã™ã‚‹ã®ãŒæ—©ã„ã ã‚ã†ã€‚ 逆ã«ã€Coqã«æ…£ã‚Œã‚‹ã¨ã€OCamlã®ãƒ—ãƒã‚°ãƒ©ãƒ ãŒæ¥½ã€…ã‹ã‘るよã†ã«ãªã‚‹ã ã‚ã†ã€‚ 今日ã¯ã€OCamlã®è¦–点ã‹ã‚‰Coqã®ä¸èº«ã‚’見ã¦ã¿ã‚ˆã†ã€‚ 基本型 OCamlã®intåž‹ã¯ã€Coqã®Zåž‹ã€ãªã©ã®ã‚ˆã†ã«ã€OCamlã®åŸºæœ¬åž‹ã«å¯¾å¿œã™ã‚‹åž‹ã¯ã ã„ãŸã„Coqã«ã‚‚ã‚る。 OCaml Coq int Z string string（△） bool bool unit unit ãŸã ã—ã€Coqã®æ•°å—ã¯ä¸Šé™ãŠã‚ˆã³ä¸‹é™ãŒç„¡ãã€æ•´æ•°ãªã‚‰ã©ã‚“ãªå¤§ããªæ•°ã‚‚Zåž‹ã®æ•°å—ã¨ã—ã¦æ‰±ã†ã“ã¨ãŒã§ãる。 本当ã«æ•´æ•°å…¨ä½“ã®é›†åˆãªã®ã 。 stringã«é–¢ã—ã¦ã¯ã€ Coqã§ã¯8bitã®ã‚¢ã‚¹ã‚ー文å—ã®ãƒªã‚¹ãƒˆã§è¡¨ç¾ã•ã‚Œã¦ã„ã‚‹ã®ã§OCamlã®ãã‚Œã¨ã¯å…¨ç„¶é•ã†ã®ã«æ³¨æ„ã—よã†ã€‚ boolã¯åŒã˜ã¨æ€ã£ã¦ã‚ˆã„ã ã‚ã†ã€‚Coqã§ã‚‚O
Coq to OCamlã§ä¾¿åˆ©ãªæ¨™æº–ライブラリ（型変æ›ï¼‰ - What is it, naokirin?
先日Coqã®é–¢æ•°ã‚’OCamlã®ã‚³ãƒ¼ãƒ‰ã¨ã—ã¦å‡ºåŠ›ã—ã¦ã¿ã¾ã—ãŸã€‚ サンプルã¨ã—ã¦ã¯ (* ret_num.v *) Definition ret_num (n : nat) : nat := n. Extraction "ret_num.ml" ret_num. ã‚’ coqc ret_num.vã—㦠(* ret_num.ml *) type nat = | O | S of nat (** val ret_num : nat -> nat **) let ret_num n = n ãŒã§ãã‚‹ã‚“ã§ã™ãŒã€ã“ã‚Œã ã¨OCamlã§ã¯ä½¿ã„ã¥ã‚‰ã™ãŽã¾ã™ã€‚（natåž‹ã§ã¯ãªãã€ã§ãã‚Œã°intåž‹ã§æ‰±ã„ãŸã„ã¨ã“ã‚）。 ã§èª¿ã¹ã¦ã¿ã‚‹ã¨ã€Coqã®ã‚³ãƒ¼ãƒ‰å´ã§åž‹ãŒã¡ã‚ƒã‚“ã¨å¤‰æ›ã•ã‚Œã‚‹ã‚ˆã†ã«æ›¸ãã“ã¨ãŒã§ãるらã—ã„ã®ã§ã™ã€‚ 今回ã§ã‚れ㰠Extract Inductive nat => int [ "0" "succ" ] "
Spoc
SPOC is a set of tools for GPGPU programming with OCaml. The SPOC library enables the detection and use of GPGPU devices with OCaml using Cuda and OpenCL. There is also a camlp4 syntax extension to handle external Cuda or OpenCL kernels, as well as a DSL (called Sarek) to express GPGPU kernels from the OCaml code. This work was part of my PhD thesis (UPMC-LIP6 laboratory, Paris, France) and was pa
OCaml Inline Assembly by vbrankov · Pull Request #162 · ocaml/ocaml
Summary This feature allows embedding assembler instructions within OCaml. It works and feels like inline assembly in GCC and supports almost everything that GCC supports. The main goal is to let OCaml use what modern CPUs have, like vectors, hardware FP or cache control, or be able to hand tune performance sensitive code. The feature grew out of my interest on how to introduce new native primitiv
MinCamlã‚’LLVMã«å¯¾å¿œã•ã›ã¾ã—㟠- ã¿ãšã´ãƒ¼æ—¥è¨˜
ãã¤ãã•ã‚“ã§ã‚‚ã‚ã‹ã‚‹LLVMã€é›»å書ç±ã€‘æŸæœ¨é¤…å, 風薬 é”人出版会 発行日: 2013-02-08 対応フォーマット: EPUB, PDF 詳細を見る 先日ã€è¡¨ç´™ãŒã‹ã‚ã„ã‹ã£ãŸã®ã§ã€ã€Œãã¤ãã•ã‚“ã§ã‚‚ã‚ã‹ã‚‹LLVMã€ã‚’è²·ã„ã¾ã—ãŸã€‚ ãªã®ã§ã€MinCamlã‚’æ”¹é€ ã—ã¦ã€ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã«LLVMå¯¾å¿œã‚³ãƒ¼ãƒ‰ã‚’è¿½åŠ ã—ã¦ã¿ã¾ã—ãŸã€‚ ã¨ã‚Šã‚ãˆãšãƒ†ã‚¹ãƒ†ã‚±ãƒ¼ã‚¹ã¯å…¨éƒ¨é€šã£ãŸã®ã§ã€ã¾ã¨ã‚ã¦ãŠãã¾ã™ã€‚ MinCamlã¨ã¯ 別å「美ã—ã„日本ã®MLコンパイラã€ã€‚ä½äº•å…ˆç”Ÿã«ã‚ˆã‚‹MLサブセットã§ã‚ã‚Šã€ä»¥ä¸‹ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã‚’書ã‘ã¾ã™ã€‚ let rec fib n = if n <= 1 then n else fib (n - 1) + fib (n - 2) in print_int (fib 30) 詳ã—ãã¯è§£èª¬ã‚¹ãƒ©ã‚¤ãƒ‰ã‚ãŸã‚Šã‚’èªã‚“ã§ãã ã•ã„。 ã‚„ã£ãŸã“㨠ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰éƒ¨åˆ†ã‚’LLVMã«ãã‚Šã‹ãˆãŸã€‚ LLVMã®ä½œæ³•ã«åˆã›ã‚‹ãŸ
The OCaml installer for Windows
This installer is out of date This installer no longer works. Do not use it. Here's some suggestions: Andreas Hauptmann's installer is very solid and does a great job of doing what this installer once did. It also gives you a working OPAM, thanks to Andreas' excellent work in patching every single package in existence to work on Windows. What you're getting is a custom (old) OPAM that was patched
ãŠçŸ¥ã‚‰ã›
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - akabe/evilml: A compiler from ML to C++ template language
GitHub - ocaml-multicore/effects-examples: Examples to illustrate the use of algebraic effects in Multicore OCaml
GitHub - tategakibunko/jingoo: OCaml template engine almost compatible with jinja2
Lenses in OCaml · Perpetually Curious Blog
GitHub - j0sh/ocaml-mqtt: OCaml implementation of the MQTT pubsub protocol.
GitHub - ocaml-community/lambda-term: Terminal manipulation library for OCaml
Bitbucket
{{#tags}}- {{label}}
{{/tags}}