Dsek-LTH / Website-prevLinks
This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
☆11Updated 8 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 3 years ago
- The official website of Code@LTH☆17Updated 3 weeks ago
- Programming exercises for algorithm design☆46Updated 2 years ago
- ☆16Updated last year
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.☆142Updated 2 weeks ago
- migrated to Codeberg☆16Updated 2 months ago
- Companies without centralization. A system for people who want to work together to build things, but don't want hierarchy or central cont…☆31Updated last year
- A Haskell library for typesafe music composition☆364Updated 6 years ago
- medium inspired theme for hakyll☆11Updated 4 years ago
- Haskell implementation of the wayland protocol☆92Updated 8 years ago
- Haskell Stack support for Heroku☆228Updated last year
- Generalized bananas, lenses and barbed wire☆350Updated 3 months ago
- TACOS (There's a Cat On the Sundeck) Detector☆17Updated 8 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Updated 4 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆260Updated 5 months ago
- Why push when you can Pusheen?☆22Updated 10 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Haskell compiler infastructure for WebAssembly☆355Updated 7 years ago
- An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift☆91Updated 9 months ago
- An sbt plugin for viewing cat pictures. Because if sbt is going to download the entire Internet, it damn well ought to include some cat p…☆33Updated 9 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Beating unix `wc` in Haskell☆137Updated 4 years ago
- formally verified category theory library☆266Updated 5 years ago
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- The Incredible Proof Machine☆384Updated 8 months ago
- ☆12Updated 10 years ago
- Our Website☆17Updated 3 years ago
- Haskell state of editor/IDE support☆246Updated 4 years ago
- ☆10Updated 3 weeks ago
- A collection of Haskell's WATs☆94Updated 9 months ago