Code-at-LTH / code-at-lth.github.io
The official website of Code@LTH
☆17Updated last week
Related projects: ⓘ
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- ☆15Updated 9 months ago
- Public files of EDA016 "Programming, First Course" given at Lund University, LTH.☆9Updated 7 years ago
- ☆16Updated 2 years ago
- Programming exercises for algorithm design☆45Updated last year
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated this week
- A fast and modern parser combinator library for Scala☆173Updated 2 weeks ago
- Git på skånska☆144Updated 2 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆437Updated 5 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 2 years ago
- Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.☆13Updated 3 years ago
- The CafeSat SMT solver for Scala☆48Updated 2 years ago
- A Scala implementation of parsing with derivatives☆197Updated 4 years ago
- LL(1) parser combinators in Scala☆56Updated last year
- A parsing library for the cats ecosystem☆231Updated this week
- Verification framework and tool for higher-order Scala programs☆349Updated this week
- The CodeCraft programming game.☆35Updated 2 years ago
- Our Website☆17Updated last year
- Mocking framework for Scala 3☆21Updated 3 weeks ago
- Simple HTML5 Canvas game ported to Scala.js.☆30Updated 6 years ago
- Proving Ground: Tools for Automated Mathematics☆202Updated 3 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 7 years ago
- Extensible algebraic effects with handlers☆144Updated this week
- The Haskell LaTeX library.☆199Updated 11 months ago
- Limits of Scala typechecking speed☆156Updated 3 years ago
- Solver for higher-order functional programs, used by Stainless☆88Updated last week
- Compositional vector graphics in Scala / Scala.JS☆327Updated 2 weeks ago
- The Leon system for verification, synthesis, repair☆161Updated 6 months ago
- A library for creating Scalacheck generators from regular expressions☆23Updated last year
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago