bjornregnell / lth-eda016-2015Links
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:
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- The official website of Code@LTH☆17Updated 3 months ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated 2 weeks ago
- Tools for working with regular grids/graphs/lattices.☆108Updated 2 years ago
- Frege support for sbt☆53Updated 2 weeks ago
- Generate Nix build instructions from a SBT project☆39Updated 8 years ago
- A ctags file generator for cabal/stack project dependencies.☆173Updated 4 years ago
- Generate GraphViz graphs by interpretting free monads.☆52Updated 11 years ago
- Dhall for Java☆176Updated 10 months ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Generates Nix definitions for your SBT builds☆42Updated 7 years ago
- ☆12Updated 4 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 5 months ago
- Compilation of useful resources for learning Haskell☆113Updated 7 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- Reimplementing the Haskell prelude in Scala (for fun)☆13Updated 5 years ago
- The missing tutorial module for the lens library☆82Updated last year
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated last month
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆35Updated 7 years ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated last week
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Updated 8 years ago
- Talks on category-parametric programming.☆22Updated last year
- Totalitarian: typesafe data structures for working with total functions☆49Updated 6 years ago
- An effect monad for Scalaz 7.2☆55Updated 7 years ago