liufengyun/stoic

Stars
40
Rank 680,660 (Top 14 %)
Language Coq
Created about 9 years ago
Updated over 6 years ago

liufengyun/stoic

liufengyun

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

a capability-based system

hashdiff

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

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