Alternatives and similar repositories for lth-eda016-2015:

Users that are interested in lth-eda016-2015 are comparing it to the libraries listed below

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 3 months ago
• Dsek-LTH / Website-prev
  This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
  ☆12Updated 7 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆143Updated last month
• ferhtaydn / sbt-skeleton.g8
  yet another giter8 template for sbt/scala projects
  ☆9Updated 7 years ago
• kqr / gists
  With way too messy gist.github pages this is an attempt to organise my snippets
  ☆401Updated 6 years ago
• blitzcode / rust-exp
  Software rasterization, N-Body simulation and Game of Life in Rust + Haskell
  ☆109Updated 8 years ago
• PaulFurtado / rusty_bars
  A PulseAudio visualizer written in Rust.
  ☆37Updated 8 years ago
• chemouna / HaskellResources
  Compilation of useful resources for learning Haskell
  ☆112Updated 7 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆257Updated 3 years ago
• brson / annotated-std-rs
  An annotation of the Rust standard library
  ☆71Updated 9 years ago
• npryce / rusty-pi
  ☆142Updated 9 years ago
• typelevel / scala
  Typelevel Scala, a fork of Scala
  ☆371Updated 4 years ago
• TeXitoi / rust-mdo
  Monadic do notation for rust using macro and duck typing
  ☆227Updated 5 years ago
• lihaoyi / Scalite
  An experimental whitespace-delimited syntax for the Scala programming language
  ☆149Updated 9 years ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆71Updated 5 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆186Updated 4 years ago
• yakticus / goggles
  A scala.js library for creating visualizations using SVG
  ☆22Updated 8 years ago
• rhysd / ghci-color
  colorize ghci output
  ☆72Updated 2 years ago
• llogiq / metacollect
  A lint to collect some crate metadata
  ☆115Updated 8 years ago
• michaelochurch / summer-2015-haskell-class
  Summer 2015 Haskell Class
  ☆212Updated 9 years ago
• luben / sctags
  Ctags and Etags extractor for Scala
  ☆33Updated 6 years ago
• rsaarelm / phage
  7 day roguelike game for 2015
  ☆87Updated 7 years ago
• mattgreen / hython
  Haskell-powered Python 3 interpreter
  ☆581Updated 7 years ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆156Updated 3 years ago
• michaelpnash / emacs-for-scala
  My Emacs setup for Scala development
  ☆56Updated 8 years ago
• elba / elba
  A package manager for Idris
  ☆189Updated 4 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆177Updated 6 years ago
• sbt-doctest / sbt-doctest
  Doctest for scala
  ☆183Updated this week