haoyang9804
Follow
Lists (24)
compilers
2 repositories
DL
1 repository
dl compiler&framework
8 repositories
fuzzing
3 repositories
graphics & its compiler
2 repositories
haskell
1 repository
javascript
1 repository
learn
17 repositories
LLM
3 repositories
LLVM
2 repositories
logic
1 repository
money
1 repository
OCaml
4 repositories
papers
1 repository
play
1 repository
relevant codebase
research
9 repositories
rust
1 repository
self-intro
2 repositories
SMT solver
2 repositories
tool
9 repositories
transpiler
6 repositories
vim
25 repositories
VM
2 repositories
Starred repositories
9
stars
written in Scala
Clear filter
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
Library to read, analyze, transform and generate Scala programs
simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Code from the book "Types and Programming Languages" in Scala
Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)