bjornregnell / lth-eda016-2015
Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
☆9Updated 7 years ago
Alternatives and similar repositories for lth-eda016-2015
Users that are interested in lth-eda016-2015 are comparing it to the libraries listed below
Sorting:
- The official website of Code@LTH☆17Updated 2 months ago
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 3 years ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated this week
- Generate Nix build instructions from a SBT project☆39Updated 8 years ago
- Frege support for sbt☆53Updated last month
- A simple, pure, concurrent game☆60Updated 11 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆71Updated 5 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Ctags and Etags extractor for Scala☆33Updated 6 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- An sbt plugin for viewing cat pictures. Because if sbt is going to download the entire Internet, it damn well ought to include some cat p…☆34Updated 9 years ago
- ☆83Updated 5 years ago
- Build your web API on the type level.☆159Updated 5 years ago
- An experimental Agent library based on Scalaz.☆22Updated 11 years ago
- A quick tour of some cool new stuff in Scala 3.☆11Updated 3 years ago
- Boilerplate-free syntax for computations with effects☆176Updated 10 years ago
- Everything you need to make type classes first class.☆61Updated 9 years ago
- An implementation of Huet’s Zipper for Scala and Scala.js that is intended to be usable in many common scenarios☆47Updated 8 months ago
- SBT workflow plugin for development, testing and publishing of multiple project repositories simultaneously.☆63Updated 4 years ago
- Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.☆80Updated 7 years ago
- yet another giter8 template for sbt/scala projects☆9Updated 7 years ago
- Library for counting and enumerating things.☆47Updated 3 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- An example application written in ScalaJS using scala-js-dom and scala-js-workbench☆206Updated 6 years ago
- ☆13Updated 4 years ago
- a scala implementation of the left-pad javascript library☆26Updated 7 years ago
- Seamless interop layer between cats and scalaz☆174Updated 4 years ago
- Error handling with union types in Dotty☆16Updated 5 years ago