Dsek-LTH / Website-prevLinks
This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
☆12Updated 7 years ago
Alternatives and similar repositories for Website-prev
Users that are interested in Website-prev are comparing it to the libraries listed below
Sorting:
- Programming exercises for primary and secondary education, in Swedish.☆15Updated 2 years ago
- The official website of Code@LTH☆17Updated 3 months ago
- Public files of EDA016 "Programming, First Course" given at Lund University, LTH.☆9Updated 7 years ago
- ☆16Updated 8 months ago
- Programming exercises for algorithm design☆45Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated 2 weeks ago
- Haskell state of editor/IDE support☆247Updated 4 years ago
- Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.☆13Updated 4 years ago
- Main place to find anything related to Openhack - Challenges, Solutions, Resources, and our Openhack manual☆9Updated 2 years ago
- ☆18Updated last year
- Our Website☆17Updated 2 years ago
- Haskell Stack support for Heroku☆231Updated 11 months ago
- How to set up and use the Atom IDE for Haskell development in 2016. 2020: Obsolete, use VS Code instead.☆83Updated 4 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆634Updated last year
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆207Updated last year
- Validity and validity-based testing☆160Updated last month
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated last month
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- Dhall for Java☆176Updated 10 months ago
- A CSS preprocessor as embedded Haskell.☆363Updated last month
- A fast and modern parser combinator library for Scala☆196Updated last month
- GRIN backend for GHC☆144Updated 3 years ago
- Programming language agnostic type construction language based on polynomials.☆368Updated last year
- 🎅🌟❄️☃️🎄🎁☆99Updated 7 months ago
- A native Python library for permutation pattern research☆16Updated last week
- Generically derive traversals, lenses, and prisms.☆440Updated 2 months ago
- formally verified category theory library☆263Updated 5 years ago
- A language experiment -- irc.freenode.net ##coda☆162Updated last year