Skip to content
View amazake13's full-sized avatar

Highlights

  • Pro

Block or report amazake13

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

ONNX Inference of Pyannote Segmentation

Python 56 15 Updated Sep 11, 2024

plasTeX plugin to build formalization blueprints.

Python 156 25 Updated Sep 27, 2024

Central limit theorem in Lean

TeX 4 3 Updated Sep 25, 2024
Lean 2 Updated Jul 1, 2021

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Lean 109 29 Updated Aug 7, 2024

コード例で学ぶ Lean 言語

Lean 39 7 Updated Sep 27, 2024

数学系のためのLean勉強会

Lean 66 20 Updated Jul 13, 2024

Whisper realtime streaming for long speech-to-text transcription and translation

Python 1,823 223 Updated Sep 1, 2024

A natural language interface for computers

Python 52,358 4,621 Updated Sep 26, 2024

Port of OpenAI's Whisper model in C/C++

C 34,642 3,532 Updated Sep 27, 2024

Running speech to text model (whisper.cpp) in Unity3d on your local machine.

C# 398 90 Updated Aug 25, 2024

Free and source-available fair-code licensed workflow automation tool. Easily automate tasks across different services.

TypeScript 46,249 6,563 Updated Sep 27, 2024

No API required, Full Neural Provided

C# 4 Updated Jun 5, 2024

Real time transcription with OpenAI Whisper.

Python 2,280 383 Updated Jun 1, 2024
C# 2 Updated Mar 31, 2022

Speed to text in Unity iOS use Native Speech Recognition

C# 296 126 Updated Feb 14, 2024

Code for experiments in my blog post on the Neural Tangent Kernel: https://rajatvd.github.io/NTK

Jupyter Notebook 167 21 Updated Nov 10, 2019

Master programming by recreating your favorite technologies from scratch.

Markdown 302,225 28,348 Updated Sep 3, 2024

Develop Threads, Next.js 13 app that skyrocketed to 100 million sign-ups in less than 5 days, and dethroned giants like Twitter, ChatGPT, and TikTok to become the fastest-growing app ever!

TypeScript 1,486 284 Updated Apr 3, 2024

Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…

TypeScript 46,682 6,589 Updated Sep 27, 2024

🚀 Begin building your very own Notion Blog with Astro.

Astro 753 494 Updated Aug 7, 2024

Ruby on Rails

Ruby 55,709 21,573 Updated Sep 27, 2024