搜索资源列表
ocamlgsl-0.6.0.tar
- ocaml的gsl库函数 Gsl是在Gnu基础上的一个很全面的库函数包。而ocaml是一个新兴的函数式语言,所以库不是很齐全所以这个包弥补了这个缺点。 linux的版本 好像这类包只支持linux
projetdeLMC
- 用ocaml编写的逻辑程序,可以实现formule clausale,和resolution-Ocaml prepared using logic program
empty
- ----OCaml---- Define the test whether a list is empty.
sum
- At Ocaml 2. Define a function sum that takes an integer list and returns the sum of all elements from it.
square
- at Ocaml Define a function square that takes a list of integers and returns a new list whose elements are equal to the elements of the original list squared by themselves.
runnerup
- At Ocaml Define a function runnerup that takes an integer list and returns the secondly largest element among the elements
fibseq
- At Ocaml Define a function fibseq that takes an natural number n and return a Fibonacci sequence as a list of n elements.
Professional-F-Sharp-2.0
- F# 是由微软发展的为微软.NET语言提供运行环境的程序设计语言。它是基于Ocaml的,而Ocaml是基于ML函数程序设计语言的。 这是一个用于显示.NET在不同编程语言间互通的程序设计。微软计划将慢慢整合F#至.NET平台并使F#成为.NET平台的计算机辅助语言。-On the surface of things, that is an intuitively obvious statement, given the title of this book. However, despite t
flexdll
- Flexlink for Ocaml, support mingw and msvc
ecams
- 很好的函数式开发语言OCAML欢迎大家下载啊是未来语言发展的方向-Good function-the development language OCAML welcome everyone to download future direction of language development
swig-2.0.0.tar
- SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is primarily used with common scr ipting languages such as Perl, PHP, Python, Tcl/Tk, and Ruby, however the list
OCAML
- 初学ocaml语言,从简单到复杂。有7个文初学小程序。而后,在emacs环境下实现贪吃蛇的大程序。源代码,有障碍物。学习OCAML必备。-By using ocaml language in emacs environment to achieve Snake applet. Source code, there are obstacles.
Facebook Ocaml Assignment
- Ocaml Facebook implementation