mikeizbicki / cmc-csci040Links
Computing for the Web
☆37Updated 3 months ago
Alternatives and similar repositories for cmc-csci040
Users that are interested in cmc-csci040 are comparing it to the libraries listed below
Sorting:
- ☆10Updated 2 years ago
- An Introduction to Python, starting from 0!☆28Updated 6 months ago
- the fibonacci only you would give me☆16Updated 2 months ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Updated 4 years ago
- Build a Music Recommendation Service using Azure Container Apps☆15Updated last year
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆30Updated 2 years ago
- More stable versions of some articles from my blog☆34Updated 5 months ago
- Limitless Analytics with Azure Synapse, published by Packt☆13Updated 3 weeks ago
- Azure Cosmos samples to leverage Bulk capabilities for Graph API accounts☆12Updated 3 years ago
- Copy Neo4j data to Azure Cosmos DB☆12Updated 3 years ago
- Awesome Agda Programming☆18Updated this week
- Code and materials for my book "Pragmatic Type Level Design"☆145Updated 5 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Updated 3 years ago
- Material for ICFP 2020 tutorial on functional software architecture☆18Updated 5 years ago
- Code bundle for "Haskell Design Patterns" book☆18Updated 9 years ago
- Source material for Certainty by Construction☆44Updated last year
- ☆159Updated 10 years ago
- ☆25Updated last year
- Azure Database for PostgreSQL Developer workshop☆14Updated last month
- Learn how to use the PostgreSQL extension for Visual Studio Code by following our walkthroughs with sample data.☆23Updated 3 months ago
- ☆14Updated 2 years ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- How to deploy a Spring Boot application to Azure Kubernetes Service and use it to perform operations on data in an Azure Cosmos DB SQL AP…☆11Updated 3 years ago
- Sample Notebooks☆23Updated 2 years ago
- Sample application describing a Bill of Materials scenario through an NPM (Node package manager) dependency explorer solution. Code by Ch…☆16Updated 2 years ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆37Updated 7 years ago
- This repository contains the database migration assistant Jupyter Notebook to be used while planning migration to Cosmos DB API for Mongo…☆13Updated last year
- Source Code for 'Practical Haskell' by Alejandro Serrano Mena☆46Updated 5 years ago