Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Repository Index
47,133 repositories indexed
2,809–2,832 of 3,471 · Most stars
AIRKinect 2.0 AIR Examples
In this project, you will learn how to pull datas from supabase to google sheets in a matter of minute
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
Learn you CouchDB for great good!
This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0
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
A Meteor and RethinkDB Example Using GraphQL
A collection of modules, tools and resources for play1
A simple PHP sample application for running on AWS OpsWorks
Example application using Bugfender SDK in Android
The repository host gives no description.
An adventure workshop to teach CSS
TypeScript@3 monorepo example next.js version
Relay + GraphQL + React on Rails
Basic hello-world example for GameBoy using rgbds
Student submissions for the WWDC 2026 - Swift Student Challenge
The repository host gives no description.
TranslatedA Chinese-language guide to digital subscriptions and AI tools, including subscription instructions, risk warnings, and an FAQ.
Ruby Mixture with other Programming Languages
- ruby
- rubyml
- rubynlp
- rubydatascience
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
A basic example app to accompany Fuse's end-to-end tutorial
A curation of WebAssembly (Wasm) resources, projects, and communities.
Distributed service playground with Vagrant, Consul, Docker & ASP.NET Core