bjornregnell / lth-eda016-2015
Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
☆9Updated 7 years ago
Related projects: ⓘ
- The official website of Code@LTH☆17Updated last week
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated this week
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 2 years ago
- Limits of Scala typechecking speed☆156Updated 3 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 4 years ago
- Markov Chains for Scala☆87Updated 8 years ago
- Doctest for scala☆182Updated this week
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 7 years ago
- Allows logging in a tree structure so that comprehensive logging does not become incomprehensible☆220Updated this week
- The pure testing library by scalaz.☆90Updated 4 years ago
- ☆18Updated this week
- Seamless interop layer between cats and scalaz☆174Updated 3 years ago
- A simple, pure, concurrent game☆61Updated 10 years ago
- Scala Center Advisory Board planning☆101Updated 3 weeks ago
- ☆80Updated this week
- Metal - fast unboxed data structures for Scala☆96Updated 6 years ago
- Compositional vector graphics in Scala / Scala.JS☆327Updated 2 weeks ago
- The CafeSat SMT solver for Scala☆48Updated 2 years ago
- ☆84Updated 4 years ago
- Generate Nix build instructions from a SBT project☆38Updated 7 years ago
- Something ungodly for FUSE☆67Updated 9 years ago
- Better documentation for Scala.js☆142Updated 4 years ago
- Extensible algebraic effects with handlers☆144Updated this week
- Static Analysis Compiler Plugin for Scala☆267Updated 6 years ago
- ☆165Updated this week
- Library for counting and enumerating things.☆44Updated 3 years ago
- an implementation of Wadler's a prettier printer☆187Updated this week
- Acyclic is a Scala compiler plugin to let you prohibit circular dependencies between files☆248Updated last week
- Generates Nix definitions for your SBT builds☆42Updated 6 years ago