-
scala-effekt Public
Extensible algebraic effects with handlers
-
discourse-course Public
Plugin to use discourse as primitive authentication provider and to export selected user data
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedSep 4, 2025 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedSep 14, 2024 -
madoko Public
Forked from koka-lang/madokoMadoko is a fast markdown processor for high quality academic and technical articles
-
SpinalDoc-RTD Public
Forked from SpinalHDL/SpinalDoc-RTDThe sources of the online SpinalHDL doc
Python Other UpdatedMay 9, 2023 -
sisyphos Public
A command line based score entering tool for the Aarhus multiple choice format
Scala MIT License UpdatedFeb 15, 2023 -
effect-handlers-bench Public
Forked from effect-handlers/effect-handlers-benchBenchmark repository of polyglot effect handler examples
Scheme MIT License UpdatedJan 9, 2023 -
-
abandon Public
Forked from hrj/abandon😌 Simple and Robust Accounting
Scala Apache License 2.0 UpdatedOct 9, 2022 -
just-the-docs Public
Forked from just-the-docs/just-the-docsA modern, high customizable, responsive Jekyll theme for documention with built-in search.
SCSS MIT License UpdatedSep 15, 2021 -
-
-
docs.scala-lang Public
Forked from scala/docs.scala-langThe Scala Documentation website
HTML UpdatedMay 11, 2021 -
scala-escape Public
Forked from TiarkRompf/scala-escapeA compiler plug-in to control object lifetimes in Scala
Coq BSD 3-Clause "New" or "Revised" License UpdatedDec 9, 2020 -
dotty Public
Forked from scala/scala3Research platform for new language concepts and compiler technologies for Scala.
Scala Apache License 2.0 UpdatedDec 8, 2020 -
kiama Public
Forked from inkytonik/kiamaA minimal version of the kiama library that compiles with ScalaJS (see branch scala-js)
-
idris-effekt Public
Delimited control effects in Idris
-
-
monaco-editor-samples Public
Forked from microsoft/monaco-editor-samplesSamples for using the Monaco Editor
HTML MIT License UpdatedApr 4, 2020 -
sbt-microsites Public
Forked from 47degrees/sbt-micrositesAn sbt plugin to create awesome microsites for your project
CSS Apache License 2.0 UpdatedMar 30, 2020 -
-
frankly Public
A quick draft port of the Frank language to Scala -- or like the french would say: "Frank-en-Scala"
-
-
Blodwen Public
Forked from edwinb/BlodwenA prototype successor to Idris
Idris Other UpdatedMar 26, 2019 -
symbols-view Public
Forked from atom/symbols-viewJump to symbols in Atom
JavaScript MIT License UpdatedFeb 20, 2019 -
ejs Public
Toolkit to play with custom language extensions for JavaScript
-
flatmap-oslo-2016 Public
Forked from markus1189/flatmap-oslo-2016Slides and code for "Free Monads and Free Applicatives" from flatMap(Oslo) 2016
JavaScript UpdatedJan 30, 2019 -
-
{{ message }}