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,330 152 Updated Dec 17, 2025

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

Python 30,858 2,479 Updated Dec 18, 2025

Definitional implementation of Cedar language and utilities for DRT

Lean 142 31 Updated Dec 18, 2025

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

Python 73,899 8,835 Updated Dec 18, 2025

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

TypeScript 281 31 Updated Dec 16, 2025

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

Python 979 109 Updated Mar 4, 2024

A simple assertion command for Lean4

Lean 9 2 Updated Sep 18, 2023

The AI Browser Automation Framework

TypeScript 19,513 1,279 Updated Dec 18, 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 56,243 5,457 Updated Dec 18, 2025

OCR & Document Extraction using vision models

TypeScript 11,992 819 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 72 Updated Oct 10, 2024

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

Python 9,660 1,211 Updated Dec 17, 2025

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

Python 1,454 92 Updated Dec 11, 2025

The math library of Lean 4

Lean 2,674 950 Updated Dec 18, 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,428 179 Updated Dec 18, 2025

A reference implementation for the Wormhole blockchain interoperability protocol.

TypeScript 1,857 816 Updated Dec 18, 2025

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

TypeScript 2,912 283 Updated Dec 17, 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.

Go 35,273 3,598 Updated Dec 18, 2025

HoTT in Japanese

Racket 36 1 Updated Oct 1, 2023

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

Rust 28,405 463 Updated Dec 11, 2025

Find and fix problems in your JavaScript code.

JavaScript 26,716 4,868 Updated Dec 18, 2025

a Hassle-Free Python Experience

Rust 14,310 469 Updated Dec 17, 2025

🦜🔗 Build context-aware reasoning applications

TypeScript 16,562 2,926 Updated Dec 18, 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,657 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,632 1,018 Updated Dec 18, 2025
Next