各种编程语言的简短数据科学分析项目
Short data science analysis projects in a variety of programming languages (2024-03-31, Haskell, 0KB, 下载0次)
简单S表达式编程语言的解释器。
Interpreter for a simple S-expression programming language. (2024-02-26, Haskell, 0KB, 下载0次)
由S-Expression表示的类Lisp编程语言。Curried函数和Lazy求值语言。
Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language. (2011-07-08, Haskell, 0KB, 下载0次)
我们自己的特定于域的命令式编程语言,用纯函数Haskell实现。用lex(Alex)构建的Lexer、用yacc(Happy)构建的解析器和标记表达式
Our own domain-specific, imperative programming language, implemented in purely functional Haskell. Lexer built with lex (Alex), parser with yacc (Happy), and token expressions (2024-02-25, Haskell, 0KB, 下载0次)
皮尔斯类型和编程语言中的无类型算术表达式
Untyped arithmetic expressions from Pierce s Types and Programming Languages (2014-06-15, Haskell, 0KB, 下载0次)
Lambda解释器,接收Lambda表达式并对其进行缩减。编程语言hw1
Lambda interpreter that takes in lambda expressions and reduces them. Programming Languages hw1 (2017-09-19, Haskell, 0KB, 下载0次)
Agda是一个依赖类型的编程语言交互式定理证明器。
Agda is a dependently typed programming language interactive theorem prover. (2023-05-31, Haskell, 7135KB, 下载0次)
方案编程语言的I到S表达式编译器
Compiler from I- to S-Expressions for the Scheme Programming Language (2019-07-18, Haskell, 0KB, 下载0次)