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