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 last month
- Programming exercises for algorithm design☆47Updated 2 years ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.☆142Updated this week
- ☆16Updated last year
- ☆18Updated 2 years ago
- Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.☆13Updated 4 years ago
- Haskell Stack support for Heroku☆228Updated last year
- Our Website☆17Updated 3 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Updated 8 years ago
- Little web app displaying the age of the last NixOS channels☆45Updated 5 years ago
- An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift☆91Updated 10 months ago
- The Incredible Proof Machine☆385Updated 8 months ago
- medium inspired theme for hakyll☆11Updated 4 years ago
- A prototype successor to Idris☆541Updated 6 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- Use snippets of Rust inline in your Haskell programs☆226Updated 4 years ago
- migrated to Codeberg☆16Updated 2 months ago
- Maintainable configuration files, for Rust users☆325Updated 2 months ago
- A reference library for constraint-solving with propagators and CDCL.☆307Updated last year
- Empire strikes back☆461Updated 2 years 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
- Abandoned! Generate Nix expressions for Python packages☆194Updated 4 years ago
- A Haskell library for typesafe music composition☆364Updated 6 years ago
- A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)☆94Updated 5 years ago
- A website for softies.☆10Updated 3 years ago
- Beating unix `wc` in Haskell☆137Updated 4 years ago
- 🕵️ Haskell STatic ANalyser☆584Updated 3 weeks ago
- Generically derive traversals, lenses, and prisms.☆440Updated 3 months ago
- ☆11Updated 2 years ago