bjornregnell / lth-eda016-2015
Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
☆9Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lth-eda016-2015
- The official website of Code@LTH☆17Updated last month
- 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/☆142Updated this week
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 4 years ago
- A quick tour of some cool new stuff in Scala 3.☆11Updated 2 years ago
- Limits of Scala typechecking speed☆156Updated 3 years ago
- Typelevel Scala, a fork of Scala☆372Updated 4 years ago
- Scala tags generator☆57Updated 2 years ago
- Programmable, Typesafe Document Generation☆290Updated 4 years ago
- Extensible algebraic effects with handlers☆144Updated last week
- Ctags and Etags extractor for Scala☆33Updated 6 years ago
- ☆83Updated 4 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆257Updated 3 years ago
- A Scala implementation of parsing with derivatives☆197Updated 4 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala☆110Updated 7 years ago
- Example code to accompany shapeless-guide.☆133Updated 2 years ago
- A simple, pure, concurrent game☆61Updated 10 years ago
- Seamless interop layer between cats and scalaz☆174Updated 3 years ago
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆239Updated 3 months ago
- ☆263Updated 2 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- Session programming in Scala☆59Updated 3 years ago
- Awesome scala compiler guides/papers/videos/talks☆21Updated 9 years ago
- Scala library with simple-to-use utilites for students of introductory programming. http://cs.lth.se/pgk/api☆61Updated this week
- Build tool for Scala projects☆236Updated 3 years ago
- Macrame provides macro-based replacements for parts of the Scala standard library.☆44Updated 6 years ago
- A scala.js library for creating visualizations using SVG☆22Updated 8 years ago
- Circe codec derivation using magnolia☆85Updated 3 months ago
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Updated 5 years ago