Modeling and Proving in Computational Type Theory
Repository Index
78,850 visible repositories in the index
4,129–4,152 of 4,679 · Most stars
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor plugins.
examples from "Thoughtful Machine Learning"
- rubyml
(THIS IS THE PUBLIC VERSION) Muse-by-Meta usage audit companion designed for those who want to understand Muse’s actions during a multi-step task without pretending to have telemetry they can’t actually access.Check out Muse, your personal AI agent. Code: 5F2V31 https://muse.ai/join
- meta
- metaai
- metaai-api
- metaai-download
TranslatedMiAiCoding - a companion-style programming learning desktop app. A cute programming learning desktop app powered by Electron & Vue.
Swift playground using Logo-like commands
A list of things related to software, literature, and other content for 🕣 Memento
- webarchiving
- memento
- memento-rfc
- awesome-list
This repository contains the content of the book Getting Started With Ledger.
- ledger
Introduction to Deep Learning
Ionic 2 Sample App
- angular2
- ionic
- ionic2
Best Memory Plugins for AI coding agents: Claude Code, Codex, Cursor, OpenCode, Cline and more. Glen, claude-mem, Supermemory, Hindsight, agentmemory, Mem0, Cognee, MemPalace and others ranked on automatic capture vs tool calls, local vs hosted, team sharing, privacy and install steps, plus built-in agent memory compared.
- agent-memory
- ai-coding
- ai-memory
- awesome
Making online learning fun and easy.
Bring the Func(🕺)
Contains materials for my technical presentation exploring Linux malware tradecraft—from userland and fileless techniques to kernel rootkits, ftrace, eBPF, and defensive strategies.
Some very simple examples to get you started with the Line-us API
- gcode-commands
- drawing
- robot
- drawing-machine
Samples for using the graphql java kickstart projects
Guidelines for designing REST APIs at Cisco
😃 iOS11 demo application for sentiment polarity analysis.
- ios
- swift
- swift4
- coreml
🎧 Get your last weeks listening report from last.fm in a GitHub Gist.
- github-gist
- gistbox
- awesome-pinned-gists
- pinned-gist
Python typing koans to learn type-hints in Python3 using Mypy
- mypy
- type-hints
- koans
- python
Suricata Extreme Performance Tuning guide - Mark II
Math snippets with graphic programming in mind.
An awesome, curated list of various software testing related blogs and similar resources.
- testing
- automation
- blog
- blogs
An example SvelteKit app implementing a simple authentication system.
- svelte
- auth
- authentication
- daisyui