fredrikNordvallForsberg / CS410-22View external linksLinks
being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
☆19Nov 22, 2022Updated 3 years ago
Alternatives and similar repositories for CS410-22
Users that are interested in CS410-22 are comparing it to the libraries listed below
Sorting:
- ☆20Jun 16, 2020Updated 5 years ago
- ☆11Jun 6, 2022Updated 3 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 10 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆264May 16, 2018Updated 7 years ago
- ☆26Dec 3, 2018Updated 7 years ago
- Angular Frontend for the Spring Boot Microservices series☆13Jun 9, 2024Updated last year
- ☆39Jan 24, 2026Updated 3 weeks ago
- Scala wrapper over standard RabbitMQ Java client library☆36Jan 30, 2026Updated 2 weeks ago
- Is using KoP (Kafka-On-Pulsar) a good idea? Use the scenarios implemented in this repository to check whether Pulsar with KoP enabled is …☆12Nov 3, 2022Updated 3 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Dec 16, 2025Updated 2 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- This GitHub repository contains a project that automates the provisioning of a Kubernetes (K8s) cluster using Infrastructure as Code (IaC…☆15Oct 19, 2025Updated 3 months ago
- Repo for transient training paper at ICAC 2019.☆11Oct 5, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- ☆13Updated this week
- A benchmark for generic, large-scale shuffle operations on continuous stream of data, implemented with state-of-the-art stream processing…☆14Updated this week
- Competitive programming utilities in Haskell☆42Jan 11, 2026Updated last month
- Julia bindings for PyBaMM☆13Feb 16, 2023Updated 3 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 5 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 5 months ago
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 2 years ago
- ☆10Nov 12, 2021Updated 4 years ago
- Data preprocessing and analysis for our Federer story☆14Dec 7, 2018Updated 7 years ago
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- Network- and GPU-aware management of serverless functions at the edge☆15Mar 3, 2023Updated 2 years ago
- Learn Kyo with simple exercises!☆13Aug 25, 2025Updated 5 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆11Feb 16, 2021Updated 5 years ago
- Lightweight Next.js Portfolio site template. Check out the project for portfolio user stories☆12Apr 7, 2022Updated 3 years ago
- Neural network that can generate meme captions, built upon GPT-2☆13May 21, 2021Updated 4 years ago
- ☆10Jun 5, 2021Updated 4 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- ☆10Mar 9, 2023Updated 2 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- The Open GPU Server for CI purpose.☆15Feb 1, 2026Updated 2 weeks ago
- A Reservation Management App using Firebase Back-end with Flutter for Cross Platform Development.☆13Sep 5, 2022Updated 3 years ago
- Nonequispaced FFTs on GPUs (based on NFFT: http://www.nfft.org)☆11Apr 30, 2018Updated 7 years ago