Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Repository Index
47,133 repositories indexed
49–66 of 66 · Most stars
The repo provides instructions on deploying CloudPakforData on the public cloud.
This project presents a Python-based spam detector program that utilizes the Naive Bayes approach to classify emails as either spam or ham. The system is designed to accurately and efficiently identify spam messages, providing a useful tool for individuals and organizations seeking to manage their email inboxes more effectively.
- anaconda
- jupyter-notebook
- python
Sample code for Core ML using ResNet50 provided by Apple and a custom model generated by coremltools.
- ios
- coreml
- coreml-framework
- swift
🗂️ This repository provides a guide to creating Xcode templates for iOS boilerplate code to save time and increase creativity in development. It simplifies the process and helps new team members get up to speed. A solution to Xcode's poorly documented templates.
- boilerplate
- swift
- template
- xcode
Repository for official Sitecore, community and demo deployment files. This will provide Sitecore customers with examples on how to deploy Sitecore containers using various methods such as compose, k8s and helm.
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Aurelia Style Guide: A starting point for Aurelia development teams to provide consistency through best practices. http://aurelia.io
- aurelia
- styleguide
proof script associated to tutorial material
Visual Studio Solution Starter Kit to download and base any Content Hub Development on. It supports Intellisense, Sync, Debugging and Unit-Testing e.g. for Content Hub Scripts and Azure Functions. It also stores External Page Components. Overall it provides guidance on how to best structure a Visual Studio Solution for Content Hub Projects and therefore accelerates Customers and Partners.
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754
Coding exercises in Clojure, handy practice for technical interview questions.
Reimplementation of Natural Number Game in Coq
Blazor WebAssembly Standalone App with OIDC Authentication
- blazor-webassembly
- keycloak-provider
- oidc-authentication
A marketplace application used to provide an Icon Picker custom field.
The repository not only provides users who are starting out with Content Hub ONE, Sitecore's pure headless CMS, with the assets they need to showcase the product, but also allows them to learn how it was built from a real world example.
reference for cdk implementation of the sample colorteller app provided by AWS
A demonstration of converting a custom Sitecore link provider from non-Helix to Helix