مكتبات مكتوبة بلغة Idris

Idris2

لغة برمجة وظيفية بحتة مع أنواع من الدرجة الأولى.
  • 2.2k
  • GNU General Public License v3.0

idris-jvm

JVM bytecode الخلفي لإدريس.
  • 456
  • BSD 3-clause "New" or "Revised"

idris-ct

مكتبة نظرية الفئات المتحقق منها رسميًا.
  • 245
  • GNU Affero General Public License v3.0

order-taking

نسخة إدريس من كتاب صنع نمذجة المجال..
  • 127
  • GNU General Public License v3.0

SPLV20

ملاحظات دورة SPLV20.
  • 98

idris2-pack

  • 61
  • BSD 3-clause "New" or "Revised"

inigo

Inigo: مدير الحزم لشركة Idris2.
  • 59
  • MIT

spidr

التعلم الآلي المعجل مع الأنواع التابعة.
  • 47
  • Apache License 2.0

IdrisExtSTGCodegen

  • 20
  • GNU General Public License v3.0

Idris

رموز متعلقة بإدريس.
  • 14

idris-elm

تحولت هندسة Elm إلى لغة برمجة Idris.
  • 13

pacman

دليل على أن إدريس باكمان كامل (بواسطة jdublu10).
  • 7

idris-sandbox

إدريس ساندبوكس.
  • 7

rado

ماكينة تورينج في ادريس مع بعض الانواع الرائعة.
  • 0