Dsek-LTH / Website-prevLinks
This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
☆12Updated 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 5 months ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.☆141Updated last month
- ☆18Updated last year
- Haskell Stack support for Heroku☆230Updated last year
- Programming exercises for algorithm design☆45Updated 2 years ago
- Meetup organization for Munich Scala User Group☆10Updated 5 years ago
- Our Website☆17Updated 2 years ago
- Generates Nix definitions for your SBT builds☆42Updated 7 years ago
- Generically derive traversals, lenses, and prisms.☆440Updated 4 months ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Updated 6 years ago
- Haskell compiler infastructure for WebAssembly☆355Updated 7 years ago
- Generate Nix build instructions from a SBT project☆39Updated 8 years ago
- The github API for Haskell☆426Updated 3 months ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Updated 7 years ago
- A wrapper of the IPFS Client HTTP-API for Scala.☆34Updated 3 months ago
- Java trivia questions☆69Updated 5 years ago
- Haskell rules for Bazel.☆276Updated this week
- Companies for anarchists. A system for people who want to work together, but don't want hierarchy or central control.☆31Updated 10 months ago
- recursion schemes for cats; to iterate is human, to recurse, divine☆392Updated last week
- Script to make your GitHub contribution graph read "abolish ice"☆16Updated 4 years ago
- Verification framework and tool for higher-order Scala programs☆381Updated last month
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆259Updated 2 months ago
- Scala tags generator☆57Updated 2 years ago
- A Haskell library for typesafe music composition☆364Updated 6 years ago
- Haskell state of editor/IDE support☆246Updated 4 years ago
- Dhall for Java☆176Updated 11 months ago
- Release with confidence, state-of-the-art property testing for Haskell.☆689Updated last month
- What do you call that?... for Scala☆172Updated 7 years ago
- Modern and extensible testing framework for Haskell☆653Updated this week