Skip to content
View FujiHaruka's full-sized avatar
  • Tokyo

Block or report FujiHaruka

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Training-Ready RL Environments + Evals

Python 2 Updated Nov 17, 2025

The pretty much "official" DSPy framework for Typescript

TypeScript 2,290 151 Updated Nov 29, 2025

DSPy: The framework for programming—not prompting—language models

Python 30,346 2,440 Updated Nov 27, 2025

Definitional implementation of Cedar language and utilities for DRT

Lean 140 31 Updated Nov 26, 2025

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

Python 73,106 8,721 Updated Nov 29, 2025

PowerSync Service is the server-side component of the PowerSync sync engine.

TypeScript 257 30 Updated Nov 28, 2025

Code for "WebVoyager: WebVoyager: Building an End-to-End Web Agent with Large Multimodal Models"

Python 968 110 Updated Mar 4, 2024

A simple assertion command for Lean4

Lean 9 2 Updated Sep 18, 2023

The AI Browser Automation Framework

TypeScript 19,261 1,253 Updated Nov 28, 2025

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

TypeScript 53,673 5,318 Updated Nov 30, 2025

OCR & Document Extraction using vision models

TypeScript 11,971 820 Updated May 20, 2025

the framework/ sdk that lets you build browser controlling agents in 3 lines of code. join chat @ https://discord.gg/umgnyQU2K8

Python 565 71 Updated Oct 10, 2024

🚀 PR-Agent: An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍

Python 9,538 1,180 Updated Nov 27, 2025

List of papers studying machine learning through the lens of category theory

Python 1,450 90 Updated Nov 19, 2025

The math library of Lean 4

Lean 2,557 902 Updated Nov 30, 2025

Theorem Proving in Lean 4 日本語訳

JavaScript 16 3 Updated Jan 11, 2025

Access to Anthropic's safety-first language model APIs in TypeScript

TypeScript 1,378 164 Updated Nov 27, 2025

A reference implementation for the Wormhole blockchain interoperability protocol.

TypeScript 1,850 814 Updated Nov 28, 2025

Secure boilerplate for Electron app based on Vite. TypeScript + Vue/React/Angular/Svelte/Vanilla

TypeScript 2,895 279 Updated Nov 18, 2025

Experimental, end-to-end AI features for .NET apps

692 59 Updated Aug 20, 2024

Fabric is an open-source framework for augmenting humans using AI. It provides a modular system for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

JavaScript 34,797 3,547 Updated Nov 28, 2025

HoTT in Japanese

Racket 35 1 Updated Oct 1, 2023

A syntax-highlighting pager for git, diff, grep, and blame output

Rust 28,247 453 Updated Nov 26, 2025

Find and fix problems in your JavaScript code.

JavaScript 26,676 4,860 Updated Nov 28, 2025

a Hassle-Free Python Experience

Rust 14,321 470 Updated Nov 27, 2025

🦜🔗 Build context-aware reasoning applications

TypeScript 16,419 2,887 Updated Nov 29, 2025

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

TypeScript 3,654 58 Updated Dec 28, 2024

An implementation of the beta distribution probability density function in Javascript. This implementation overcomes the problem of large numbers being generated by the Beta function which can caus…

JavaScript 10 Updated Oct 29, 2019

✨ The fundamental numerical library for JavaScript and TypeScript. ✨

JavaScript 5,544 980 Updated Nov 30, 2025
Next