Skip to content
View lainiwa's full-sized avatar

Block or report lainiwa

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

Starred repositories

Showing results

neovim support for the Lean theorem prover

Lua 257 25 Updated Sep 19, 2024

JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "playground" allows for experimentation with the syntax and in…

JavaScript 19 Updated Sep 18, 2024

The all-in-one Desktop & Docker AI application with built-in RAG, AI agents, and more.

JavaScript 22,790 2,302 Updated Sep 19, 2024

A curated list of awesome Large Language Model (LLM) Web User Interfaces.

274 20 Updated Nov 27, 2023

A framework for serving and evaluating LLM routers - save LLM costs without compromising quality!

Python 2,901 220 Updated Aug 10, 2024

A Kubernetes Query Language

Go 256 2 Updated Sep 13, 2024

A container debugging tool based on FUSE

Rust 717 23 Updated Sep 19, 2024

The CNCF sandbox for observability visualisation. Already supports Prometheus/Tempo - more data sources to come!

TypeScript 736 58 Updated Sep 18, 2024

A NixOS module which lets you route traffic from systemd services through a VPN while preventing DNS leaks.

Nix 65 2 Updated Sep 8, 2024

Open-source software engineer

Python 172 24 Updated May 12, 2024

TypeScript AI agent platform with Autonomous agents, Software developer agents, AI code review agents and more

TypeScript 781 34 Updated Sep 19, 2024

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

Python 13,320 1,305 Updated Sep 16, 2024

🙌 OpenHands: Code Less, Make More

Python 31,378 3,621 Updated Sep 19, 2024

NixOS tooling for Hashicorp Vault

Nix 68 8 Updated Sep 16, 2024

Humane command line arguments parser. Now with maintenance, typehints, and complete test coverage.

Python 181 20 Updated Jul 6, 2024

A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin

6,122 625 Updated Sep 10, 2024

A Virtual FIDO2 USB Device

C 1,193 52 Updated Aug 1, 2024

Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.

Jupyter Notebook 1,729 111 Updated Sep 19, 2024

It enables right-click and copy functionality on websites that have disabled the right-click and copy commands.

JavaScript 8 1 Updated Nov 26, 2023

nostr address book - a public directory of nostr addresses

25 4 Updated Jul 6, 2024

A comprehensive self-management System

Haskell 288 47 Updated Sep 16, 2024

TOTP based NGINX http request authenticator

C++ 11 2 Updated Dec 11, 2022

Firefox extension to save and restore tabs as bookmarks. Clear your tabs, clear your mind.

TypeScript 774 44 Updated Sep 17, 2024

All Python versions, kept up-to-date on hourly basis using Nix.

Nix 171 10 Updated Sep 3, 2024

Docker container for Firefox

Shell 1,570 280 Updated Sep 16, 2024

A cli for firefox-sync (firefox bookmarks, passwords, account, ...)

Go 87 7 Updated Jun 22, 2024

Example repo using open telemetry in FastAPI

Python 5 Updated Jul 5, 2023

Trace FastAPI with Jaeger through OpenTelemetry Python API and SDK.

Python 75 21 Updated Aug 24, 2024

bootstrap K3s over SSH in < 60s 🚀

Go 6,186 376 Updated Aug 20, 2024

Vimtutor Sequel - Advanced Vim Tutor Lessons

Shell 451 7 Updated Sep 19, 2024
Next