8-day current streak·31-day longest streak
-
scala3 ★ PINNED ⑂
The Scala 3 compiler, also known as Dotty.
Scala ★ 0 10mo agoExplain → -
improvement-proposals ★ PINNED ⑂
Scala Improvement Proposals
★ 0 7mo agoExplain → -
scala-native ★ PINNED ⑂
The Return of 2nd-Class Values - Code Repository
★ 0 4y agoExplain → -
capless-lean ★ PINNED
No description.
Lean ★ 0 1y agoExplain → -
reachability ★ PINNED ⑂
Mechanizations and prototypes for reachability types, a new take on ownership that scales better to impure higher-order languages.
Coq ★ 0 1y agoExplain → -
TACIT ★ PINNED ⑂
TACIT — Tracked Agent Capabilities In Types
Scala ★ 0 3mo agoExplain → -
dotter
Towards richer dependent types for DOT
Coq ★ 9 5y agoExplain → -
corrl
Towards Versatile Event Correlation Systems with Effect Handlers
Haskell ★ 8 1y agoExplain → -
muElm
Denotational semantics of an Elm-like language in terms of actors. Something I doodled a long time ago.
Scala ★ 4 5y agoExplain → -
cartesius
No description.
★ 3 4y agoExplain → -
gluesniffing
Getting Hy and then Lo with https://hylo-lang.org
★ 2 1y agoExplain → -
path-dependent
The Essence of Path-Dependent Types
Lean ★ 1 1y agoExplain → -
docs.scala-lang ⑂
The Scala Documentation website
★ 0 2mo agoExplain → -
scala-lang ⑂
sources for the Scala language website
SCSS ★ 0 7mo agoExplain → -
semantic ⑂
Semantic Type Soundness in Lean 4
★ 0 7mo agoExplain → -
gears ⑂
A strawman for a low-level async library in Scala 3.
Scala ★ 0 2y agoExplain → -
incremental ⑂
Ye olde co-contextual/incremental type systems development repository
Scala ★ 0 7y agoExplain → -
bracevac
Config files for my GitHub profile.
★ 0 3y agoExplain → -
sai ⑂
Staged Abstract Interpreters
★ 0 4y agoExplain → -
cofx
Embeddings and examples of coeffects in Scala 3/dotty.
Scala ★ 0 5y agoExplain → -
coqatrice
Guess what
Coq ★ 0 5y agoExplain → -
interpreters ⑂
No description.
★ 0 12y agoExplain → -
scala3-example-project ⑂
An example sbt project that compiles using Dotty
★ 0 5y agoExplain → -
effects-examples ⑂
Examples to illustrate the use of algebraic effects in Multicore OCaml
OCaml ★ 0 8y agoExplain → -
cs352 ⑂
No description.
★ 0 6y agoExplain → -
multicore-opam ⑂
OPAM repo for OCaml multicore development
★ 0 8y agoExplain → -
faster-miniKanren ⑂
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Scheme ★ 0 7y agoExplain → -
djc-lang ⑂
No description.
Scala ★ 0 10y agoExplain → -
effects-bibliography ⑂
A collaborative bibliography of work related to the theory and practice of computational effects
★ 0 5y agoExplain → -
effects-rosetta-stone ⑂
A comparison of how computational effects and handlers are implemented in various programming languages.
Shell ★ 0 8y agoExplain → -
sicp ⑂
HTML5/EPUB3 version of SICP
HTML ★ 0 8y agoExplain → -
sicm ⑂
Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
HTML ★ 0 9y agoExplain → -
effectmk
Experiments with algebraic effects and relational programming
Racket ★ 0 8y agoExplain → -
minidot ⑂
Dependent Object Types (DOT), bottom up
Coq ★ 0 9y agoExplain → -
java-semantics ⑂
The semantics of Java in K
Java ★ 0 10y agoExplain → -
koka ⑂
Koka language compiler and interpreter
Haskell ★ 0 9y agoExplain → -
miniKanren ⑂
Canonical miniKanren implementation
Scheme ★ 0 12y agoExplain → -
dot-calculus ⑂
Formalization of the Dependent Object Types (DOT) calculus
Coq ★ 0 9y agoExplain → -
eff ⑂
A functional programming language based on algebraic effects and their handlers.
OCaml ★ 0 9y agoExplain → -
effect-handlers ⑂
No description.
Haskell ★ 0 10y agoExplain → -
plzoo ⑂
Programming Languages Zoo
OCaml ★ 0 9y agoExplain → -
iron ⑂
Coq formalizations of functional languages.
Coq ★ 0 9y agoExplain → -
rx-playground ⑂
Some GUI examples in Java/Scala using Reactive Extensions
Scala ★ 0 11y agoExplain → -
vimpager ⑂
Use ViM as PAGER
Shell ★ 0 10y agoExplain →
No repos match these filters.