Discover @liufengyun Open Source projects

Fengyun Liu (@liufengyun)

liufengyun

Stars
751
Global Rank 40,213 (Top 2 %)
Followers 256
Following 52
Registered over 13 years ago
Most used languages

Scala
55.0 %

Ruby
15.0 %

TeX
10.0 %

Coq 5.0 %

CSS
5.0 %

Makefile 5.0 %

Shell
5.0 %
Location 🇨🇭 Switzerland
Country Total Rank 529
Country Ranking

Coq 3

Ruby
14

Scala
39

Makefile 170

TeX
204

CSS
870

Shell
1,363

hashdiff

Hashdiff is a ruby library to to compute the smallest difference between two hashes

stoic

a capability-based system

gestalt

gestalt : portable and solid macros for Scala

scala3-plugin-example

progfun2-code

Crowd source for code used in the lectures of Functional Program Design in Scala

eden

[deprecated]dotty version of paradise for interfacing with scala.meta

progfun1-code

Crowd source for code used in the lectures of Functional Programming Principles in Scala

dotty-study

Study dotty source code using org-mode

roles

[NO LONGER MAINTAINED]Roles is an extremely simple roles gem inspired by rolify

scala-wrench

Wrench is a micro test framework for developing compiler plugins for Dotty

bacala

scala package dependency manager

bench

benchmark compilation of Dotty

godel

Notes of lecture notes for Godel and Recursivity

hiergraph

A simple query engine for hierarchical graphs in a Scala script

tiddlywiki-template

a template setting for tiddlywiki

bench-web

A simple web interface for benchmarks

lctes22-artifact

Artifact for LCTES22 paper "Implicit State Machines"

HashDiffDemo

HashDiff demo app

capability-thesis

thesis on capability-based type and effect systems

oopsla23-artifact

scala-bug

demonstrates a bug of Scala standard library scala.io.Source