ACL2 Version 2.9 ACL2 is both a programming language in which you can model systems and a tool to help you prove properties of those models. lisp
Welcome to the ACL2 home page! We highlight a few aspects of ACL2: Libraries (Books). Libraries of books (files containing definitions and theorems) extend the code that we have written. In particular, the distribution tarball includes the community books, which are contributed and maintained by the members of the ACL2 community. Documentation. There is an extensive user's manual for the ACL2 syst
SICStus Prolog Homepage
About SICStus Prolog Start Page Feature Highlights Performance Platforms The Spider IDE Documentation Coming Features Don't Panic! Sales and Support Customers Evaluate Product Pricing/Order Info Download SICStus Support Add-Ons & Third Party Extended Runtime Other More Information Contact Information Community Links Leading Prolog Technology SICStus is a state-of-the-art, ISO standard compliant, P
Franz Inc.
Industry Leading Graph Database for Knowledge Graph Solutions and Common Lisp Technologies Franz Inc. is an early innovator in Artificial Intelligence and leading supplier of Semantic Graph Database technology with expert knowledge in developing and deploying Neuro-Symbolic AI solutions. AllegroGraph is a horizontally scalable, high-performance, and transactional Semantic Graph, Vector, and Docume
You are being redirected...
Javascript is required. Please enable javascript before you are allowed to see this page.
OCaml.jp
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml（オキャムル／オーキャムル）は、INRIA（フランス国立情報学自動制御研究所）で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。 型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。 オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です（Linux 上でのクロスコンパイルは opam-cross-a
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
BEE Lisp compiler – lightweight and powerful compiler for Lisp language
Visual Prolog: A Versatile Programming Language
OCamlチュートリアル
Franz Inc.: Allegro Common Lisp (Japanese)
Ocaml 日本語マニュアル, release 3.06