liufengyun
Programmer interested in programming languages and formal methods
Oracle LabsLausanne, Switzerland
Pinned Repositories
dotty-study
Study dotty source code using org-mode
eden
[deprecated]dotty version of paradise for interfacing with scala.meta
gestalt
gestalt : portable and solid macros for Scala
hashdiff
Hashdiff is a ruby library to to compute the smallest difference between two hashes
progfun1-code
Crowd source for code used in the lectures of Functional Programming Principles in Scala
progfun2-code
Crowd source for code used in the lectures of Functional Program Design in Scala
scala3-plugin-example
stoic
a capability-based system
waveformjson
Generate waveform json from audio files -- no longer maintained
scala3
The Scala 3 compiler, also known as Dotty.
liufengyun's Repositories
liufengyun/hashdiff
Hashdiff is a ruby library to to compute the smallest difference between two hashes
liufengyun/stoic
a capability-based system
liufengyun/gestalt
gestalt : portable and solid macros for Scala
liufengyun/scala3-plugin-example
liufengyun/scala-wrench
Wrench is a micro test framework for developing compiler plugins for Dotty
liufengyun/bench
benchmark compilation of Dotty
liufengyun/hiergraph
A simple query engine for hierarchical graphs in a Scala script
liufengyun/bench-web
A simple web interface for benchmarks
liufengyun/lctes22-artifact
Artifact for LCTES22 paper "Implicit State Machines"
liufengyun/oopsla23-artifact
liufengyun/actions
liufengyun/algebra
Experimental project to lay out basic algebra type classes
liufengyun/better-files
Simple, safe and intuitive Scala I/O
liufengyun/collection-strawman
Experimenting with Scala Collections designs for Scala 2.13
liufengyun/dacapobench
The DaCapo benchmark suite
liufengyun/dotty
liufengyun/graal
GraalVM: Run Programs Faster Anywhere :rocket:
liufengyun/graal-lazy
liufengyun/hyde-build-tool
The Hyde Build Tool is an experimental reversible build tool, that it, it can modify the input sources
liufengyun/micronaut-starter
Generates Micronaut applications
liufengyun/minitest
The super light testing library for Scala and Scala.js
liufengyun/packtest
test release package on Linux, Windows and Mac
liufengyun/plotly.js
Open-source JavaScript charting library behind Plotly and Dash
liufengyun/scala-3-migration-guide
The Scala 3 migration guide for everyone.
liufengyun/scala-js
Scala.js, the Scala to JavaScript compiler
liufengyun/scalacheck
Property-based testing for Scala
liufengyun/ScalaPB
Protocol buffer compiler for Scala.
liufengyun/scalatest
A testing tool for Scala and Java developers
liufengyun/squants
The Scala API for Quantities, Units of Measure and Dimensional Analysis
liufengyun/zeno-deprecated
The DSL based on implicit state machines as in LCTES 22 (deprecated, newer version is coming)