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
- 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 last month
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated this week
- Low-dimensional linear algebra primitives for Haskell.☆208Updated last month
- Programming exercises for primary and secondary education, in Swedish.☆15Updated 2 years ago
- Extensible algebraic effects with handlers☆145Updated this week
- haskell neural network library☆112Updated 8 years ago
- A simple, pure, concurrent game☆60Updated 11 years ago
- Compilation of useful resources for learning Haskell☆112Updated 7 years ago
- What do you call that?... for Scala☆173Updated 7 years ago
- Generate Nix build instructions from a SBT project☆39Updated 8 years ago
- Flexible law checking for Scala☆330Updated 2 weeks ago
- A terminal user interface programming library similar to graphical interfaces such as GTK and QT. (DEPRECATED, see https://github.com/jtd…☆72Updated 6 years ago
- A function code generator and an isomorphism analyzer☆38Updated 2 years ago
- Limits of Scala typechecking speed☆155Updated 3 years ago
- Frege support for sbt☆53Updated last month
- reddit api for haskell☆77Updated 2 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- yet another giter8 template for sbt/scala projects☆9Updated 7 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆200Updated last year
- Verification framework and tool for higher-order Scala programs☆372Updated this week
- Compositional vector graphics in Scala / Scala.JS☆338Updated 3 weeks ago
- Typelevel Scala, a fork of Scala☆371Updated 4 years ago
- Toy example of calling Rust from Haskell☆130Updated 9 years ago
- Generates Nix definitions for your SBT builds☆42Updated 6 years ago
- With way too messy gist.github pages this is an attempt to organise my snippets☆402Updated 7 years ago
- 2D game engine written in Haskell☆90Updated 4 years ago
- “Learn You a Haskell for Great Good!” by Miran Lipovača☆306Updated 2 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A web site for converting haskell code into pointfree haskell code☆163Updated 2 years ago