برنامج
لغة برمجة
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
AR
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
مكتبات مكتوبة بلغة 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