Programming exercises for primary and secondary education, in Swedish.
☆15Jul 26, 2022Updated 3 years ago
Alternatives and similar repositories for schoolprog
Users that are interested in schoolprog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆11Jul 27, 2017Updated 8 years ago
- The official website of Code@LTH☆17Dec 23, 2025Updated 3 months ago
- ☆16Feb 24, 2022Updated 4 years ago
- Support free culture by automatically sending cryptocurrency to the creators of the content you love.☆117Nov 4, 2023Updated 2 years ago
- ☆19Oct 19, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Oct 11, 2021Updated 4 years ago
- Programming exercises for algorithm design☆47May 21, 2023Updated 2 years ago
- Secure Scuttlebutt Implementation Protocols☆24Aug 18, 2023Updated 2 years ago
- [not functional] A completely decentralized alternative to e.g. YouTube☆26Dec 10, 2019Updated 6 years ago
- Code in the course in web programming at Faculty of Engineering, LTH, Lund University.☆12Oct 10, 2024Updated last year
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.☆142Dec 11, 2025Updated 4 months ago
- A digital commonplace book☆18Jul 16, 2018Updated 7 years ago
- secure scuttlebutt network simulator☆22Oct 13, 2021Updated 4 years ago
- Distributed container registry built on hypercores and IPFS☆25Aug 28, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lund University templates for documents and projects.☆15Nov 17, 2025Updated 4 months ago
- ☆19Oct 11, 2023Updated 2 years ago
- DatArchive implementation for browsers that uses dat-gateway☆29Aug 31, 2019Updated 6 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 8 months ago
- Document ready listener for browsers☆14Feb 3, 2020Updated 6 years ago
- JavaScript Style Guide☆12Jan 7, 2016Updated 10 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- ActiveRecord::Enum transition validations.☆11May 4, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lookup IP addresses using the Dat protocol (hypertrie)☆15Aug 11, 2018Updated 7 years ago
- Series of CLI tools for Hyperswarm☆18Jun 18, 2022Updated 3 years ago
- ☆15Apr 14, 2021Updated 5 years ago
- ☆12Nov 22, 2018Updated 7 years ago
- Pung: a fully untrusted private communication system☆35May 15, 2020Updated 5 years ago
- A simple command-line web crawler.☆13Feb 2, 2020Updated 6 years ago
- Analyse (group)chat messages. Currently supports: Facebook Messenger. Planned: Signal, Discord, WhatsApp☆42Jul 18, 2022Updated 3 years ago
- ☆12Mar 13, 2024Updated 2 years ago
- My presentation at p2p day berlin 2018☆11Feb 10, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PushPin: Towards Production-Quality Peer-to-Peer Collaboration☆12Apr 14, 2020Updated 6 years ago
- Incremental Consistent Topological Sort for Append-only Logs☆13Jun 28, 2022Updated 3 years ago
- Data types for compositional, type-directed serialization☆13Jan 27, 2023Updated 3 years ago
- A repository to contain all of SSB documentation☆12Oct 17, 2022Updated 3 years ago
- Multiwriter documents over dat☆13May 11, 2020Updated 5 years ago
- peermaps roadmap and discussion repo☆21Jan 11, 2019Updated 7 years ago
- query peers about hypercore feed data☆14Apr 17, 2020Updated 5 years ago