https://github.com/lenguyenthanh/compilers

A place for me to learn/ experiment with interpreters/compilers
https://github.com/lenguyenthanh/compilers

cats debruijn-indices functional-programming interpreter lambda-calculus lambda-calculus-interpreter programming-language scala scala-cli scala3 untyped-lambda-calculus y-combinator

Last synced: about 2 months ago
JSON representation

A place for me to learn/ experiment with interpreters/compilers

• Host: GitHub
• URL: https://github.com/lenguyenthanh/compilers
• Owner: lenguyenthanh
• License: apache-2.0
• Created: 2022-06-14T15:00:25.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-05-28T20:04:19.000Z (4 months ago)
• Last Synced: 2024-06-30T14:48:12.649Z (3 months ago)
• Topics: cats, debruijn-indices, functional-programming, interpreter, lambda-calculus, lambda-calculus-interpreter, programming-language, scala, scala-cli, scala3, untyped-lambda-calculus, y-combinator
• Language: Scala
• Homepage:
• Size: 1.42 MB
• Stars: 12
• Watchers: 3
• Forks: 1
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: License

Awesome Lists containing this project

README

        
# README

A playground where I learn about interpreters, compilers, type theory and everything that related to those.

In general, you can play around examples by using [scala-cli](https://scala-cli.virtuslab.org/). For example:

```bash

# run untyped lambda calculus REPL

scala-cli run ulc

# run test

scala-cli test ulc

# setup ide

scala-cli setup-ide ulc

# build native package with GraalVM

scala-cli package --native-image ulc  -o bin/ulc -f

```

Please go to each directory of each example for more details documentation:

- [Evaluation for untyped arithmetic expression](uae)

- [Interpreter for untyped lambda calculus](ulc)