Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Repository Index
61,275 visible repositories in the index
985–1,008 of 1,085 · Most stars
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
Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.
- tide
- mongodb
- async-graphql
- rust
Distributed service playground with Vagrant, Consul, Docker & ASP.NET Core
Sample code for Core ML using ResNet50 provided by Apple and a custom model generated by coremltools.
- ios
- coreml
- coreml-framework
- swift
Android Viper template with Kotlin, Dagger 2, Retrofit & RxJava
- viper
- viper-architecture
- android
- kotlin
Demo saving text and images to ipfs and storing the hash on the EOS blockchain
- eos
- blockchain
- dapp
- ipfs-api
Samples using context variables and (system) entities in IBM Watson Assistant (formerly Conversation) service on IBM Cloud
- ibm-cloud
- watson-assistant
- watson-conversation
- chatbot
Sample VB6 and VBA code used for inspiration of syntax/algorithms for usage in the stdVBA library
Example web app demonstrating EOSIO signing via WebAuthn
🗂️ 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
🌅 iOS11 demo application for visual sentiment prediction.
- ios
- swift
- swift4
- vision
Playground showing how to use swift2 protocol extensions to render errors in UIViews and UIViewControllers without subclassing
Swift 5 playgrounds to view and manipulate sorting algorithms.
A sample project for Godot 4 with custom gravity controls.
Starting a monolithic CRUD RESTful Web Service with Vert.x stack and postgreSQL
The awesome parts of the Dojo Toolkit.
A playground for experimenting with multiple additive animations in Core Animation.
A legacy refactor kata, focused on the violation of the tell don't ask principle and anemic domain model
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.
Demonstrates how an existing Angular app can be migrated to Blazor gradually by integrating Blazor components, including calling Angular service methods.
Course materials for Zurich Initiative for Computational Economics (ZICE) 2014
The repository host gives no description.
Sample SharpVk applications using Vulkan API in C#