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:
- ☆11Jun 6, 2022Updated 3 years ago
- ☆28May 19, 2022Updated 3 years ago
- ☆27Jun 1, 2025Updated 9 months 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
- Scala wrapper over standard RabbitMQ Java client library☆36Feb 27, 2026Updated last week
- ☆12Mar 13, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Repo for transient training paper at ICAC 2019.☆11Oct 5, 2022Updated 3 years ago
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 4 months ago
- ☆13Updated this week
- This GitHub repository contains a project that automates the provisioning of a Kubernetes (K8s) cluster using Infrastructure as Code (IaC…☆15Oct 19, 2025Updated 4 months ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Feb 28, 2026Updated last week
- 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
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- A web application for modeling the distribution and effects of drugs.☆11Updated this week
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A high performance I/O library for deep learning in Julia, based on the PyTorch WebDataset library☆14Dec 18, 2025Updated 2 months ago
- Do notation in Python.☆10Feb 22, 2021Updated 5 years ago
- ☆14Feb 23, 2026Updated 2 weeks ago
- [ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"☆13Jun 11, 2023Updated 2 years ago
- BisetMap is a fast and thread-safe two-way hash map of sets for Rust.☆13Nov 9, 2017Updated 8 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- Lightweight Next.js Portfolio site template. Check out the project for portfolio user stories☆12Apr 7, 2022Updated 3 years ago
- Nonequispaced FFTs on GPUs (based on NFFT: http://www.nfft.org)☆11Apr 30, 2018Updated 7 years ago
- ☆16Aug 19, 2024Updated last year
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 5 years ago
- ☆10Jun 5, 2021Updated 4 years ago
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- A Reservation Management App using Firebase Back-end with Flutter for Cross Platform Development.☆13Sep 5, 2022Updated 3 years ago
- Learn Kyo with simple exercises!☆13Aug 25, 2025Updated 6 months ago
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 4 years ago
- EHT Image domain analysis through template matching.☆13Feb 19, 2026Updated 2 weeks ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- ☆10Nov 12, 2021Updated 4 years ago