Dsek-LTH / Website

Related projects: ⓘ

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated last week
• bjornregnell / lth-eda016-2015
  Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
  ☆9Updated 7 years ago
• exoji2e / notebook
  ☆15Updated 9 months ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆45Updated last year
• exoji2e / hashcode-template
  ☆16Updated 2 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆141Updated this week
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated last year
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆349Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆160Updated last year
• avieth / diplomacy
  The board game Diplomacy, spoken in Haskell
  ☆13Updated 2 years ago
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 3 years ago
• non / kronecker
  Library for counting and enumerating things.
  ☆44Updated 3 years ago
• meraymond2 / idris-vscode
  Idris front-end for VS Code
  ☆58Updated last year
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated 2 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆31Updated 3 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆88Updated last week
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 2 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 2 years ago
• rossabaker / abolish-ice-graphiti
  Script to make your GitHub contribution graph read "abolish ice"
  ☆19Updated 3 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆144Updated this week
• travisbrown / dhallj
  Dhall for Java
  ☆174Updated last month
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆45Updated last year
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• nuttycom / aftok
  ☆30Updated last month
• charleso / sbt2nix
  Generate Nix build instructions from a SBT project
  ☆38Updated 7 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 4 months ago
• Jacoby6000 / sqlz
  Pure Functional SQL generation.
  ☆40Updated 5 years ago
• fantasylandinst / fcop
  ☆101Updated this week
• nightkr / Sbtix
  Generates Nix definitions for your SBT builds
  ☆42Updated 6 years ago