peterodigie

nushell

A new type of shell

mangle

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

whisper

Robust Speech Recognition via Large-Scale Weak Supervision

ubib

Citations, BibTeX, and Research

private-gpt

Interact with your documents using the power of GPT, 100% privately, no data leaks

OpenLogic

An open-source, customizable intermediate logic textbook

promptarray

Text generator prompting with Boolean operators

Macmoji

Slack/GitHub/Trello emoji for your mac! 😁 💥 💻

latex-input-iOS-macOS

Text Replacement Definitions for LaTeX Symbols, works for iOS and macOS.

alfred-reminders

Manages reminders in Reminders.app

transfer.sh

Easy and fast file sharing from the command-line.

metaseq

Repo for external large-scale work

unilm

Large-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities

ChatGPT

🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

community

Jobs as posted on #jobs at https://functionalprogramming.slack.com/

set-theory

Tim Button's open textbook on set theory

fitch-checker

JavaScript/PHP Fitch-style natural deduction proof editor and checker

forallx

P.D. Magnus' forallx logic textbook

OpenLogic

An open-source, customizable intermediate logic textbook

tpg

Tree Proof Generator

DeepSpeech

DeepSpeech is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.

speech-to-text-nodejs

:microphone: Sample Node.js Application for the IBM Watson Speech to Text Service

speech-to-text-wavenet

Speech-to-Text-WaveNet : End-to-end sentence level English speech recognition based on DeepMind's WaveNet and tensorflow

martin-lof

papers of Per Martin Löf

economist-covers

Aggregate covers from The Economist into tiled images.

manpapers

A small collection of wallpapers from images I've taken

Wallpapers

A couple of wallpapers that I've made or modified.

markdown_pandoc_book_template

a template to create pdf/ePub/html/docx books by Markdown via Pandoc