플랫폼
프로그래밍 언어
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
KO
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
Idris용 JVM 바이트코드 백엔드.
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
Idris가 완전한 팩맨이라는 증거(jdublu10 제공).
7
idris-sandbox
이드리스 샌드박스.
7
rado
멋진 유형이 있는 Idris의 튜링 머신입니다.
0