OCaml

OCaml 4.02.3 به روز شده

به یک پیاده سازی از زبان ML، بر اساس گویش CAML نور با یک سیستم مبتنی بر شی کلاس کامل و یک سیستم ماژول قدرتمند در سبک استاندارد ML گسترش است.هدف CAML شامل دو کامپایلر. یکی تولید بایت کد است که پس از آن توسط یک برنامه C تفسیر شده است.این کامپایلر اجرا می شود به سرعت، قابل حمل برای اساسا هر 32 یا 64 بیتی پلاتفرم یونیکس...

در CardioViz3D رایگان نرم افزار، اختصاص داده شده به تجسم و پردازش داده های پزشکی پویا است. طیف وسیعی از فرمت تصویر پشتیبانی می شود (DICOM، تجزیه و تحلیل، VTK، NIFTI)، و همچنین فایل های مش (فرمت VTK). توالی پویا تصویر / مش می تواند وارد شود و یا ساخته شده است. میدان اسکالر پویا در مش نمایش داده می شود. نقاط مورد علاقه...

در CAML یک زبان برنامه نویسی همه منظوره، با ایمنی و قابلیت اطمینان برنامه در ذهن طراحی شده است. بسیار رسا، در عین حال آسان برای یادگیری و استفاده است. CAML سبک برنامه نویسی تابعی، امری ضروری و شی گرا پشتیبانی می کند.این توسعه داده شده است و توزیع شده توسط INRIA، موسسه تحقیقات ملی فرانسه برای علم کامپیوتر، از سال...

LDPC/LDGM

LDPC/LDGM 2.1

در LDPC / LDGM یک بلوک llarge جلو خطا کتابخانه کدک اصلاح است. این به طور قابل توجهی سریع تر از کدک های رید-سلیمان سنتی است.اصلاح بلوک خطا به جلو کوچک (FEC) کد های سنتی، مانند پاک شدن رید-سلیمان (RSE) کد، شناخته شده است به منظور بالا بردن مشکلات بهره وری به ویژه زمانی که آنها به آسنکرون لایه اعمال برنامه نویسی (ALC)...

Axel

Axel 0.4

در مدل جبری هندسی، که هدف این است که برای "مدل سازی جبری" ابزار برای دستکاری و محاسبات با منحنی و یا سطوح ضمنی و پارامتری. هدف اصلی آن این است که جاسازی قابلیت جبری Synaps به ارائه تکنیک های مدل سازی های جدید. functionnalities اصلی آن عبارتند از: توپولوژی: محاسبه توپولوژی گواهی از منحنی ها و سطوح با هر دو نمایندگی...