bracevac
Problems worthy of attack prove their worth by hitting back. -- Piet Hein
Working on Scala @ EPFL
Pinned Repositories
bracevac
Config files for my GitHub profile.
cartesius
cofx
Embeddings and examples of coeffects in Scala 3/dotty.
coqatrice
Guess what
corrl
Towards Versatile Event Correlation Systems with Effect Handlers
dotter
Towards richer dependent types for DOT
muElm
Denotational semantics of an Elm-like language in terms of actors. Something I doodled a long time ago.
reachability
Mechanizations and prototypes for reachability types, a new take on ownership that scales better to impure higher-order languages.
scala-native
The Return of 2nd-Class Values - Code Repository
GenSym
A high-performance, parallel, compilation-based symbolic execution engine
bracevac's Repositories
bracevac/corrl
Towards Versatile Event Correlation Systems with Effect Handlers
bracevac/dotter
Towards richer dependent types for DOT
bracevac/muElm
Denotational semantics of an Elm-like language in terms of actors. Something I doodled a long time ago.
bracevac/cartesius
bracevac/bracevac
Config files for my GitHub profile.
bracevac/cofx
Embeddings and examples of coeffects in Scala 3/dotty.
bracevac/coqatrice
Guess what
bracevac/incremental
Ye olde co-contextual/incremental type systems development repository
bracevac/reachability
Mechanizations and prototypes for reachability types, a new take on ownership that scales better to impure higher-order languages.
bracevac/scala-native
The Return of 2nd-Class Values - Code Repository
bracevac/cs352
bracevac/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus
bracevac/eff
A functional programming language based on algebraic effects and their handlers.
bracevac/effectmk
Experiments with algebraic effects and relational programming
bracevac/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
bracevac/effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
bracevac/effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
bracevac/faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
bracevac/gears
A strawman for a low-level async library in Scala 3.
bracevac/iron
Coq formalizations of functional languages.
bracevac/koka
Koka language compiler and interpreter
bracevac/minidot
Dependent Object Types (DOT), bottom up
bracevac/multicore-opam
OPAM repo for OCaml multicore development
bracevac/path-dependent
The Essence of Path-Dependent Types
bracevac/plzoo
Programming Languages Zoo
bracevac/sai
Staged Abstract Interpreters
bracevac/scala3
The Scala 3 compiler, also known as Dotty.
bracevac/scala3-example-project
An example sbt project that compiles using Dotty
bracevac/sicm
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
bracevac/sicp
HTML5/EPUB3 version of SICP