liufengyun/capability-thesis liufengyun/capability-thesis

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 9 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
liufengyun/capability-thesis
github

liufengyun

Reviews

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

Repository Details

thesis on capability-based type and effect systems

More Repositories

1

hashdiff

Hashdiff is a ruby library to to compute the smallest difference between two hashes
Ruby
558
star
2

stoic

a capability-based system
Coq
40
star
3

gestalt

gestalt : portable and solid macros for Scala
Scala
31
star
4

scala3-plugin-example

Scala
24
star
5

progfun2-code

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

eden

[deprecated]dotty version of paradise for interfacing with scala.meta
Scala
11
star
7

progfun1-code

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

dotty-study

Study dotty source code using org-mode
10
star
9

roles

[NO LONGER MAINTAINED]Roles is an extremely simple roles gem inspired by rolify
Ruby
7
star
10

scala-wrench

Wrench is a micro test framework for developing compiler plugins for Dotty
Scala
6
star
11

bacala

scala package dependency manager
Scala
5
star
12

bench

benchmark compilation of Dotty
Scala
3
star
13

godel

Notes of lecture notes for Godel and Recursivity
TeX
3
star
14

hiergraph

A simple query engine for hierarchical graphs in a Scala script
Scala
2
star
15

tiddlywiki-template

a template setting for tiddlywiki
Makefile
1
star
16

bench-web

A simple web interface for benchmarks
CSS
1
star
17

lctes22-artifact

Artifact for LCTES22 paper "Implicit State Machines"
Shell
1
star
18

HashDiffDemo

HashDiff demo app
Ruby
1
star
19

oopsla23-artifact

Scala
1
star
20

scala-bug

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