Skip to content
View janmasrovira's full-sized avatar

Block or report janmasrovira

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

🦎 a tool to build and deploy software on many servers 🦎

Rust 9,127 244 Updated Dec 20, 2025

Zigbee 🐝 to MQTT bridge 🌉, get rid of your proprietary Zigbee bridges 🔨

TypeScript 14,373 1,875 Updated Dec 19, 2025

🔰 Home Assistant Operating System

Python 6,563 1,169 Updated Dec 18, 2025

An implementation of scoped algebraic effects and handlers in Agda.

TeX 13 Updated Mar 11, 2021

Beautiful and reliable typst code formatter

Rust 717 26 Updated Dec 11, 2025

Elisp library for the OpenAI API

Emacs Lisp 112 17 Updated Dec 6, 2025

A modern, configurable, terminal based MPD Client with album art support via various terminal image protocols

Rust 1,856 70 Updated Dec 21, 2025

Implement https://www.youtube.com/watch?v=kCc8FmEb1nY in Rust and Candle

Rust 1 Updated Oct 4, 2025

🌸 A command-line fuzzy finder

Go 76,074 2,642 Updated Dec 21, 2025

GOOSE in Lean4

Lean 12 5 Updated Dec 19, 2025

A client for Language Server Protocol servers

Emacs Lisp 2,456 213 Updated Oct 29, 2025

A testing framework for Juvix

Shell 3 2 Updated May 15, 2025

Juvix Binary installer

Shell 2 1 Updated Mar 21, 2025

The math library of Lean 4

Lean 2,682 953 Updated Dec 20, 2025

Emacs major mode for Lean 4

Emacs Lisp 111 36 Updated Jul 14, 2025

Overview of tactics in Lean 4 for beginners — longer version

100 3 Updated Jun 26, 2025

The Simplest VPN installer, designed for Raspberry Pi

Shell 7,856 678 Updated Dec 3, 2025

Let Home Assistant see!

Python 1,176 99 Updated Dec 12, 2025

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

Go 157,974 13,972 Updated Dec 21, 2025

Anoma application examples

JavaScript 15 7 Updated May 23, 2025

Juvix Lean library for compiler run verification

Lean 6 Updated Jul 22, 2025

Bubble Card is a minimalist card collection for Home Assistant with a nice pop-up touch.

JavaScript 3,513 132 Updated Dec 16, 2025

🏡 Open source home automation that puts local control and privacy first.

Python 83,308 36,225 Updated Dec 21, 2025

Property-based testing for Juvix

Makefile 4 1 Updated Feb 19, 2025

Sun Card successor: Visualize the position of the Sun over the horizon.

TypeScript 618 58 Updated Dec 20, 2025

Matter (formerly Project CHIP) creates more connections between more objects, simplifying development for manufacturers and increasing compatibility for consumers, guided by the Connectivity Standa…

C++ 8,466 2,298 Updated Dec 21, 2025

Pop a posframe (just a child-frame) at point, posframe is a **GNU ELPA** package!

Emacs Lisp 511 58 Updated Nov 25, 2025

Reference implementation of Anoma

Elixir 34,175 4,104 Updated Dec 19, 2025

Anoma Spec

HTML 6 3 Updated Nov 18, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 49,739 1,372 Updated Dec 19, 2025
Next