Modeling and Proving in Computational Type Theory
Repository Index
47,133 repositories indexed
1,681–1,704 of 2,293 · Most stars
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor plugins.
A simple WebRTC chat made with Yew
A list of things related to software, literature, and other content for 🕣 Memento
- webarchiving
- memento
- memento-rfc
- awesome-list
Making online learning fun and easy.
WebApi toolset that allows you to make CRUD REST APIs with one line of code and to create gRPC and SignalR from reusable components too
- library
- web-application
- webapi
- webapi-core
Central Library of Polkadot ecosystem
- polkadot
- kusama
- kusama-network
- polkadot-development
A curated list of awesome ColdFusion frameworks, libraries and software.
A repo for a Program and Data Representation university-level course
Guidelines for designing REST APIs at Cisco
😃 iOS11 demo application for sentiment polarity analysis.
- ios
- swift
- swift4
- coreml
A fast and flexible c++ template class for tree data structures
- c-plus-plus
- tree
- stl
- data-structure
Suricata Extreme Performance Tuning guide - Mark II
Math snippets with graphic programming in mind.
:speaker: Simple examples to demonstrate various aspects of the Web Audio API.
An awesome, curated list of various software testing related blogs and similar resources.
An example SvelteKit app implementing a simple authentication system.
- svelte
- auth
- authentication
- daisyui
Treat your database as Code
A curated list of resources about all things Google Cloud Build
Learn how Elm, Parcel, Cypress and Netlify work together. Get started with Elm navigation, routes, remote data and decoder.
- elm
- parcel
- elm-test
- cypress
A playground demoing how to use Accelerate & Swift for Linear Algebra (vector/matrix manipulations)
A curated list of resources by the snõwkit collective (http://snowkit.org/)
Contains materials for my technical presentation exploring Linux malware tradecraft—from userland and fileless techniques to kernel rootkits, ftrace, eBPF, and defensive strategies.
How to create a Cartoonizer Android app with TensorFlow Lite models.
- tensorflow-lite
- tflite
- computer-vision
- gans