CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Repository Index
47,133 repositories indexed
3,817–3,840 of 6,396 · Most stars
Stream images from a connected camera over MQTT, view using Streamlit, record to file and sqlite
- home-automation
- mqtt
- camera
- streamlit
Neural machine translation between the writings of Shakespeare and modern English using TensorFlow
- tensorflow
- shakespeare
- seq2seq
- neural-machine-translation
Erlang date, time, and timezone management: formatting, conversion, and date arithmetic
Productivity Application - Kanban Style Productivity Management Application with Customizable Boards, Lists and Cards to Make You More Productive.
- react
- apollo-client
- es6
- react-router
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
An iPhone (or iPod touch) port of the popular old QBasic game with spunk!
Remember file locations and sort by time and frequency and support telescope.
Gameserver, Voiceserver Webinterface
- game-server
- php
- voice-server
- webinterface
A background task runner for crystal applications supporting periodic (CRON) and manually queued jobs
- crystal
- background-jobs
- fast
- redis
Neo4j Bolt driver for .NET
Plasma 5 applet that shows the application title and icon for active window
👾 JS type systems interportability
- typescript
- jsdoc
- json-schema
- flow
Language server, formatter, and linter for Quarto and other Markdown flavors
- formatter
- pandoc
- quarto
- language-server
A powerful GraphQL server implementation for Golang
Webpack questions/answers you can use to prepare for interviews or test your knowledge.
- webpack
- build-tool
- webpack-questions
TranslatedThis Starter utilizes React, Recoil, React Query, React Hooks, Typescript, Axios And Vite. A back-office management system with an all-new tech stack
- react
- recoil
- react-query
- react-hooks
WipEout Omega Collection (PS4) native PC port for Windows: the game's own x86-64 code on the CPU, a PS4 runtime and the shadPS4 Vulkan video core. Playable, in active development. No game files included. ⭐ Star it if you like it; bug reports and requests are welcome in Issues!
- native-port
- pc-port
- ps4
- shadps4
MirBSD Korn Shell Source Code Mirror – This is a publish-only repository and all pull requests are ignored. This repository is a mirror and may receive forced (non-fast-forward) updates. Please contribute to the CVS repository of The MirOS Project instead.
- c
- shell
- mksh
- ksh
:musical_keyboard: a QWERTY keyboard for web audio projects
Fluent design theme for kde plasma
The foundational library of the Morpheus data science framework
- datascience
- data-analysis
- data-analytics
- regression
PostgreSQL server wire protocol. Build your own server and start serving connections.
- postgresql
- postgres
- server
- sql
Find, verify and organize your game library. Native Windows and Docker, DAT checks, ROM Hub plugins, and optional RomM/Cartridge integration.