A graduate seminar on languages and abstractions for distributed programming
☆19Jul 16, 2022Updated 3 years ago
Alternatives and similar repositories for CMPS290S-2018-09
Users that are interested in CMPS290S-2018-09 are comparing it to the libraries listed below
Sorting:
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Oct 19, 2025Updated 4 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A solution to integrate a remote Langgraph server with Open-Webui Pipelines☆20Sep 7, 2025Updated 6 months ago
- Experiments with scala native & libpcap☆10Mar 30, 2018Updated 7 years ago
- Search YouTube from Alfred.☆13Jul 25, 2023Updated 2 years ago
- Advent of Code solutions using dbt, duckdb, dbt-duckdb☆13Feb 5, 2023Updated 3 years ago
- This repository contains sample agentic applications in python that can talk to LLM models and perform complex tasks based on user querie…☆16Mar 3, 2025Updated last year
- Tutorial about Artificial Intelligence, Machine Learning and Deep Learning☆12Aug 9, 2019Updated 6 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 7 months ago
- An easy and flexible mathematical programming environment for Python.☆12Jun 16, 2018Updated 7 years ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- WWW offline explorer☆15Jun 12, 2012Updated 13 years ago
- zio implementation for https://github.com/ulid/spec☆12Jan 16, 2024Updated 2 years ago
- Convert between different units of measurement☆14May 9, 2025Updated 10 months ago
- the server backend for ml-dash☆10Apr 21, 2025Updated 10 months ago
- A passkeys demo using Spring Boot and Auth0 as IdP☆14Jan 29, 2024Updated 2 years ago
- AngularJS Data Driven Directives - Using AngularJS to model data and visualize it with D3 AngularJS directives☆13Jul 10, 2014Updated 11 years ago
- Learn Kyo with simple exercises!☆13Aug 25, 2025Updated 6 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆51Jan 2, 2026Updated 2 months ago
- Bit-level codec library☆17Apr 26, 2023Updated 2 years ago
- A library that helps you to convert from one subtitle format to another☆19Jan 8, 2019Updated 7 years ago
- This repository is ARCHIVED and is now part of https://github.com/microsoft/NubesGen☆12Dec 23, 2021Updated 4 years ago
- ☆11Sep 30, 2022Updated 3 years ago
- PDF article title extraction tool☆13Oct 9, 2015Updated 10 years ago
- ☆10Oct 24, 2024Updated last year
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆17Updated this week
- Demonstrate Function Calling code portability across 4 AI Models: OpenAI, AzureOpenAI, VertexAI Gemini and Mistral AI.☆13Jun 7, 2024Updated last year
- ☆11Feb 4, 2020Updated 6 years ago
- Platform for analyzing and recommending Python packages and Python software stacks not only for AI/ML applications☆15Jun 29, 2020Updated 5 years ago
- An android app that updates all your Sanskrit Dictionaries from our stardict-* repositories in one shot.☆13Jan 21, 2026Updated last month
- WinAppDbg helper script to catch API calls☆12Mar 26, 2013Updated 12 years ago
- collection of example documents for use within cocalc's library☆16Sep 11, 2025Updated 5 months ago
- ✨ A simple extension that allows you to search and add .cursorrules listed in cursor.directory.☆14Mar 26, 2025Updated 11 months ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- ☆101Apr 3, 2018Updated 7 years ago
- CD4AutoML: Continuous Delivery for AutoML with Amazon SageMaker Autopilot and Amazon Step Functions☆13Dec 12, 2020Updated 5 years ago
- ☆53Feb 28, 2026Updated last week
- ☆11Feb 12, 2018Updated 8 years ago
- FastCGI state-machine based protocol implementation☆15Mar 24, 2020Updated 5 years ago