Lib.rs

› 关键词 #repl #parser #expression #programming-language #functional #computation

λ-演算

  1. lambdascript

    用于展示有类型和无类型λ项的β-归约、解析器生成的教育工具

    v0.2.1 120 #lambda-calculus #lambda #education #beta-reduction #parser-generator

  2. lambda_calculus

    纯λ演算的零依赖Rust实现

    v3.3.0 #lambda #calculus

  3. 标点

    Pun Calculus

    v1.0.18 100 #lambda-calculus #calculus #computer-science #plural #ad-hoc #abstraction #properties

  4. minitt

    Mini-TT，一种依赖类型λ演算，在Rust中扩展和（重新）实现

    v0.4.3 210 #lambda-calculus #theory #expression #extended #dependently-typed #dependent #declaration

  5. hvm1

    一种大规模并行函数运行时

    v1.0.14 #run-time #functional #language #compiler #target #runtime #lambda-calculus

  6. lash

    λ表达式的交互式shell

    v0.3.1 #lambda-calculus #repl #interactive #expressions #shell #numeral #strategy

  7. lamcalc

    创建、解析和评估λ演算

    v1.2.0 #lambda-calculus #de-bruijn-encoding #parser #web-apps

  8. interaction-calculus

    一种并行计算模型

    v0.2.4 #lambda-calculus #interaction #computation #combinator #model #parallel #language-model

  9. blc

    二进制λ演算

    v0.6.0 #lambda-calculus #lambda #binary #calculus #functional #binary-encoding #church

  10. abstract-calculus

    一种与抽象算法完美匹配的编程语言和计算模型

    v0.1.5 #lambda-calculus #abstract #computation #programming #algorithm #language-model #programming-language

  11. symmetric-interaction-calculus

    一种与抽象算法完美匹配的编程语言和计算模型

    v0.1.8 #lambda-calculus #language-model #programming-language #symmetric #interaction #computation #matches

  12. rs-lambda

    使用 Rust 编写的 λ 演算解释器

    v1.0.1 #lambda-calculus #lambda #calculus #interpreter

  13. lambda_calc

    命令行无类型 λ 演算解释器

    v2.2.2 #lambda-calculus #lambda #calculus #repl #cli #parser

  14. lamcal-repl

    λ 演算命令行 repl

    v0.4.0 #lambda-calculus #command-line #repl #parse #interpret #evalute #parser

  15. lamb

    在安全的 Rust 中实现纯无类型 λ 演算

    v0.1.0 #lambda-calculus #repl #interpreter #functional #programming-language #functional-programming

  16. lalrpop-lambda

    使用 LALRPOP 编写的 λ 演算语法

    v0.6.1 #lambda-calculus #ast #parser #lalrpop #grammar #evaluate #expression

  17. lcrs

    使用 Rust 编写的 λ 演算解释器

    v0.1.1 #lambda-calculus #interpreter #evaluation #front-end

  18. lincoln_ir

    Lincoln 的中间表示

    v0.1.0 #intermediate-representation #programming-language #lambda-calculus #lincoln #machine #ir #turing

    19. 使用 DuckDuckGo 搜索：搜索 λ 演算.

  19. lmbd

    一个在编译时计算所有内容的宏。基于 λ 演算

    v0.1.4 #lambda #lambda-calculus #compile-time #compute #macro #everything

  20. lambdas

    在多态 λ 演算中定义特定领域语言

    v0.1.0 #lambda-calculus #polymorphism #language #domain

  21. minitt-util

    从 Mini-TT 语言类型检查器中提取的 CLI 工具

    v0.2.4 #extracted #utilities #cli #mini-tt #lambda-calculus #type-checker #command