Skip to content
View FujiHaruka's full-sized avatar
πŸ’­
Love Lean 4
πŸ’­
Love Lean 4

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.

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
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

PDF to Markdown with vision models

Python 5,906 314 Updated Nov 7, 2024

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

Python 442 50 Updated Oct 10, 2024

πŸš€CodiumAI PR-Agent: An AI-Powered πŸ€– Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! πŸ’»πŸ”

Python 5,987 582 Updated Nov 7, 2024

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

Python 1,273 73 Updated Oct 15, 2024

The math library of Lean 4

Lean 1,520 335 Updated Nov 7, 2024

Theorem Proving in Lean 4 ζ—₯本θͺžθ¨³

JavaScript 10 2 Updated Aug 19, 2024

Access to Anthropic's safety-first language model APIs

TypeScript 705 78 Updated Nov 5, 2024

A reference implementation for the Wormhole blockchain interoperability protocol.

TypeScript 1,670 691 Updated Nov 6, 2024

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

TypeScript 2,380 260 Updated Nov 7, 2024

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

694 62 Updated Aug 20, 2024

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

Go 24,729 2,638 Updated Nov 7, 2024

HoTT in Japanese

Racket 33 1 Updated Oct 1, 2023

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

Rust 23,168 382 Updated Nov 5, 2024

Find and fix problems in your JavaScript code.

JavaScript 25,084 4,538 Updated Nov 7, 2024

a Hassle-Free Python Experience

Rust 13,799 467 Updated Nov 7, 2024

πŸ¦œπŸ”— Build context-aware reasoning applications πŸ¦œπŸ”—

TypeScript 12,646 2,169 Updated Nov 6, 2024

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,518 59 Updated Aug 29, 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

✨ Standard library for JavaScript and Node.js. ✨

JavaScript 4,421 464 Updated Nov 5, 2024

Blazing fast linter for JavaScript and TypeScript written in Rust

Rust 1,545 172 Updated Nov 4, 2024

Monorepo for the JS language tools.

JavaScript 2,285 195 Updated Oct 31, 2024

ESLint plugin with rules that help validate proper imports.

JavaScript 5,551 1,564 Updated Oct 3, 2024

Use @swc-node/register instead

TypeScript 86 9 Updated Mar 30, 2022

A curated list of awesome Chart.js resources and libraries

2,135 128 Updated Sep 13, 2024

The official GitHub mirror of the Chromium source

C++ 19,122 7,043 Updated Nov 7, 2024

Asynchronous BDD & continuous testing for node.js

JavaScript 1,561 165 Updated Jun 20, 2022

Cucumber for JavaScript

TypeScript 5,057 1,090 Updated Oct 12, 2024

πŸ“œπŸ”œπŸŒ² Simple, fast, powerful parser toolkit for JavaScript.

JavaScript 3,603 230 Updated Jun 21, 2024

Bison in JavaScript.

JavaScript 4,355 450 Updated Oct 14, 2022
Next