Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Repository Index
87,573 visible repositories in the index
3,553–3,576 of 3,719 · Most stars
nodeschool curriculum for debugging Node.js
The repository host gives no description.
- cloudflare-worker
- serverless
- curl
- card
An intro page with a full width background image, a bold animated menu and an iOS-like blurred effect behind the navigation
A showcase of awesome programming language projects and resources written in Elm.
Example source code for the Lacinia tutorial
Experiments with procedurally-generated worlds, XNA, and design patterns
A curated and non exhaustive list of Common Lisp libraries and resources.
A collection of awesome Cucumber and Gherkin-related resources
- cucumber
- gherkin
- javascript
- java
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
This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
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 collection of modules, tools and resources for play1
TranslatedA Chinese-language guide to digital subscriptions and AI tools, including subscription instructions, risk warnings, and an FAQ.
An adventure workshop to teach CSS
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
Ruby Mixture with other Programming Languages
- ruby
- rubyml
- rubynlp
- rubydatascience
A curation of WebAssembly (Wasm) resources, projects, and communities.
Android Viper template with Kotlin, Dagger 2, Retrofit & RxJava
- viper
- viper-architecture
- android
- kotlin
radix tree (also "radix trie" or "compact prefix tree" or "compressed trie")
- radix-tree
- radix-trie
- prefix-tree
- trie
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
Demo saving text and images to ipfs and storing the hash on the EOS blockchain
- eos
- blockchain
- dapp
- ipfs-api
Better JSON::Any for Crystal
- crystal
- hash
- json
- yaml