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
Related projects ⓘ
Alternatives and complementary repositories for Website-prev
- Programming exercises for primary and secondary education, in Swedish.☆15Updated 2 years ago
- The official website of Code@LTH☆17Updated last month
- Public files of EDA016 "Programming, First Course" given at Lund University, LTH.☆9Updated 7 years ago
- ☆16Updated last month
- 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/☆142Updated this week
- Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.☆13Updated 3 years ago
- ☆18Updated last year
- A web site for converting haskell code into pointfree haskell code☆162Updated last year
- Extensible algebraic effects with handlers☆144Updated last week
- ☆9Updated 5 months ago
- Verification framework and tool for higher-order Scala programs☆359Updated 2 weeks ago
- Play Minesweeper by formally proving your moves in Idris☆166Updated last month
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- Scala tags generator☆57Updated 2 years ago
- Our Website☆17Updated 2 years ago
- Scala Center Advisory Board planning☆101Updated 3 weeks ago
- Cats Instances For Scalacheck☆53Updated 5 months ago
- Full program static analysis for Scala☆94Updated 3 years ago
- Scala library with simple-to-use utilites for students of introductory programming. http://cs.lth.se/pgk/api☆61Updated this week
- Issue tracker for Metals feature requests☆37Updated 2 years ago
- Script to make your GitHub contribution graph read "abolish ice"☆16Updated 3 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Updated 5 years ago
- Prune crate dependencies in "target" folder☆16Updated 5 years ago
- Shape-safe TensorFlow in Dotty☆45Updated last year
- A library for creating Scalacheck generators from regular expressions☆23Updated last year
- ☆191Updated 7 months ago
- A Scala implementation of parsing with derivatives☆197Updated 4 years ago
- Scala Runners: a Coursier-based alternative implementation☆43Updated 2 years ago
- Git på skånska☆147Updated 2 years ago