Sébastien Doeraene

Login: sjrd

Company: École Polytechnique Fédérale de Lausanne

Location: Lausanne, Switzerland

Bio: null

Blog: http://lampwww.epfl.ch/~doeraene/

Blog: http://lampwww.epfl.ch/~doeraene/

Member of

  1. Mozart, an implementation of Oz
  2. Programming Methods Laboratory EPFL
  3. Scala.js
  4. The Scala Programming Language

Repositories

activator-hello-scala-js
Activator template for Scala.js
akka.js
Akka, for Scala.js
capture-the-flag
Simulation of the game Capture the Flag: Ozma example
closure-compiler
A JavaScript checker and optimizer.
collection-strawman
Experimenting with Scala Collections designs for Scala 2.13
community-builds
Scala community builds
django-ajax-selects
jQuery UI-powered auto-complete fields for ForeignKey, ManyToMany and text fields
DjangoBB
DjangoBB mirror. DjangoBB is a quick and simple forum which uses the Django Framework (written in Python language). Abbreviation DjangoBB stands for Django Bulletin Board. DjangoBB is distributed under the BSD license.
dotty
The experimental compiler for a Scala dialect based on DOT
floppybird
flappy bird, using html5!
funlaby-extensions
Extensions for FunLabyrinthe
funlaby-library
Official library of FunLabyrinthe
funlabyrinthe
A fun maze game with tremendous customization features
funlabyrinthe-scala
A reimplementation of FunLabyrinthe in Scala
gwt-sha512-benchmark
SHA-512 benchmark for GWT
hands-on-scala-js
Better documentation for Scala.js
INGI2325
Base package
jsdependencies
An sbt plugin to manage JS dependencies in Scala.js, in the good old script style
kate-markdown
Markdown syntax rules for Kate
kotlin-long-bench
null
mozart2
Mozart Programming System v2 (not usable yet)
mozart2-boosthost
Stand-alone host based on boost for Mozart2
mozart2-bootcompiler
Mozart-Oz v2 bootstrap compiler
mozart2-compiler
Full compiler of Mozart2
mozart2-libmozart-experiment
Template for experimenting with the Mozart2 VM library
mozart2-library
Mozart2 core library
mozart2-opi
Open Programming Interface of Mozart2
mozart2-stdlib
Standard library of Mozart2
mozart2-tool-browser
Browser of Mozart 2
mozart2-tool-inspector
Inspector of Mozart 2
mozart2-vm
Mozart2 Virtual Machine
mozart2-wish
Wish modified for Mozart2
mozart-app-test
Test application using the new Mozart VM
ozma
Extending Scala with Oz Concurrency
parboiled2
A macro-based PEG parser generator for Scala 2.10+
play-with-scalajs-example
null
sbt
sbt, a build tool for Scala
sbt-coursera
SBT plugin for automatic grading of assignments in Coursera.
sbt-crossproject
Cross-platform compilation support for sbt.
sbt-dynscalajs
Dynamically switch between the JVM target and versions of Scala.js in a Scala project
sbt-platform-deps
Provides the %%% dependency builder for cross-platform Scala projects
scala
The Scala programming language
scala-2.12-junit-mixin-plugin
null
scalacheck
Property-based testing for Scala
scala-collection-compat
Scala 2.13 Collection Compatibility Library
scala.github.com
The Scala Documentation website
scala-grading
This repo contains the grading machinery for the Scala language.
scala-javalib
Partial implementation of the Java standard library in Scala
scala-js
Scala.js, the Scala to JavaScript compiler
scala-js-actors
Actor system for Scala.js
scalajs-benchmarks
Scala.js Benchmarks
scalajs-benchmarks-game
Benchmarking Scala.JS with the Computer Language Benchmarks Game
scalajs-bundler
null
scala-js-cli
Command Line Interface for the Scala.js compiler and linker
scala-js-dom
statically typed dom wrappers for scala-js
scala-js-env-d8
JS environment for Scala.js to run and test with the d8 shell
scala-js-env-jsdom-nodejs
Node.js with jsdom environment for Scala.js
scala-js-env-phantomjs
PhantomJS environment for Scala.js
scala-js-env-selenium
Scala.js environment
scala-js-example-app
Example application built with Scala.js
scala-js-fiddle
Source code for Scala.jsFiddle
scalajsir-calc
A toy project to play with the Scala.js IR
scalajs-java
Project aims to compile Java sources into Scala.js IR
scala-js-java-logging
Scala.js implementation for java.logging
scala-js-java-time
Scala.js implementation for java.time in JDK8
scala-js-jquery
jQuery facade types for Scala.js
scala-js-long-benchmark
null
scalajs-phaser-demo
Small demo of a game written in Scala.js with the Phaser library
scala-js-pickling
Pickling for Scala.js
scalajs-pres-compiler
null
scala-js-react
ScalaJS interface for Facebook React
scalajs-reflect
Proof of concept of a "linker plugin" enabling some reflection for Scala.js
scala-js-teavm-examples
Port of the Scala examples of TeaVM to Scala.js
scala-js-transport
null
scala-js-ts-importer
TypeScript Importer for Scala.js
scala-js-website
Source for http://www.scala-js.org/
scala-js-workbench
Tooling around scala-js
scala-lang
The Scala website
scalameta
Simple, robust and portable metaprogramming toolkit for Scala
scala-native
Your favorite language gets closer to bare metal.
scala-parser-combinators
Scala Standard Parser Combinator Library
scalatest
A testing tool for Scala and Java developers
scalatscomp
A TypeScript compiler written in Scala (wip)
scala-unboxed-option
A type-parametric unboxed Option type for Scala
sepi
Object-oriented scripting engine for Delphi
shapeless
Generic programming for Scala
slip
For Scala Library Improvement Process documents and work
SprayWebSockets
An implementation of a websocket server on top of spray.io
strangeloop2012
Strange Loop 2012
teavm-long-bench
SHA-512 benchmark for TeaVM
tests
Private random tests with git
try_git
null
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
utest
A tiny, portable testing library for Scala
viewducers
Scala collection views meet Transducers hype
workbench-example-app
An example application written in ScalaJS using scala-js-dom and scala-js-workbench

Commits To

RepositoryMost Recent Commit# Commits


This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.