Standard ML 로 작성된 라이브러리

Dress

好耶 是女装.
  • 22.0k
  • GNU General Public License v3.0

GoldenCheetah

사이클리스트, 러너, 트라이애슬론 선수 및 코치를 위한 퍼포먼스 소프트웨어.
  • 1.6k
  • GNU General Public License v3.0 only

mlton

MLton 저장소.
  • 874
  • GNU General Public License v3.0

cakeml

CakeML: 검증된 ML 구현.
  • 833
  • GNU General Public License v3.0

urweb

Ur/웹 프로그래밍 언어.
  • 763
  • GNU General Public License v3.0

mlkit

표준 ML 컴파일러 및 툴킷(melsman 제공).
  • 239

sml-redprl

인민정화논리.
  • 225
  • MIT

openwrt-useful-tools

Hak5 WiFi Pineapple MK6 및 MK7용으로 특별히 컴파일된 다양한 도구가 포함된 저장소입니다.
  • 207

mpl

Parallel ML용 MaPLe 컴파일러.
  • 203
  • GNU General Public License v3.0

apltail

유형 배열 중간 언어를 대상으로 하는 APL 컴파일러입니다.
  • 200
  • MIT

LunarML

Lua/JavaScript를 생성하는 표준 ML 컴파일러.
  • 194
  • MIT

smlsharp

SML# 컴파일러.
  • 194
  • MIT

smlpkg

표준 ML 라이브러리 및 프로그램을 위한 일반 패키지 관리자입니다.
  • 151
  • MIT

ponyo

표준 ML용 라이브러리 및 툴킷.
  • 145
  • BSD 2-clause "Simplified"

smackage

표준 ML용 Smackage 패키지 관리자.
  • 119
  • GNU General Public License v3.0

perpetualpowersoftau

새 저장소: https://github.com/privacy-scaling-explorations/perpetualpowersoftau.
  • 117
  • GNU General Public License v3.0 only

keys-n-hashes

공개 키 및 체크섬 해시.
  • 66

amd-sp-glitch

우리 논문의 보충 자료: "모두를 지배하는 하나의 결함: AMD의 보안 암호화 가상화에 대한 결함 주입 공격".
  • 65
  • GNU General Public License v3.0 only

cmlib

알고리즘 및 데이터 구조의 기본 라이브러리(a la NJlib).
  • 65
  • MIT

smlfmt

Standard ML을 위한 커스텀 파서/자동 포맷터.
  • 54
  • MIT

flunct

기능적인 유창한 API 생성기.
  • 32

hardware

HOL4용 Verilog 개발 및 검증 프로젝트(CakeML 제공).
  • 20
  • BSD 3-clause "New" or "Revised"

molasses

CM(SML/NJ 컴파일 및 라이브러리 관리자)에 대한 MLB 지원(T-Brick 제공).
  • 17
  • MIT

mulligan

표준 ML(SML)용 스테핑 디버거입니다.
  • 13
  • MIT

sml-bdb

표준 ML에 대한 Berkeley DB 바인딩.
  • 7

typhoon

유형별 데이터 구조 및 알고리즘(eduardoleon 작성).
  • 5
  • GNU General Public License v3.0 only

Coreboot

장치 플래싱을 위한 Coreboot 리포지토리(grisu48 제공).
  • 4

sml-parseq

표준 ML의 병렬 시퀀스 라이브러리.
  • 4
  • MIT