Skip to content
View develop7's full-sized avatar

Block or report develop7

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
Showing results

Easy, fast and efficient Head Tracking application using only webcam.

Rust 130 4 Updated Sep 9, 2024

Operating system written in Erlang and Rust

Rust 41 1 Updated Aug 14, 2024

A type-safe and friendly ECS for Haskell

Haskell 23 1 Updated Jan 17, 2025

Hazel, a live functional programming environment with typed holes

Reason 857 53 Updated Jan 19, 2025

Plex Media Server Docker repo, for all your PMS docker needs.

Smarty 3,366 554 Updated Jan 3, 2025

Anti-spam Telegram bot

Haskell 5 2 Updated Dec 31, 2024

Automatically generate Haskell bindings from C header files

C 34 Updated Jan 16, 2025

Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.

Rust 8,690 292 Updated Jan 19, 2025

ICARUS Terminal for Elite Dangerous

JavaScript 191 11 Updated Nov 6, 2024

OpenTelemetry support for the Haskell programming language

Haskell 84 37 Updated Jan 9, 2025

HVM3

Haskell 122 10 Updated Jan 16, 2025

Windows inside a Docker container.

Shell 32,012 2,207 Updated Jan 15, 2025

Distributed Tracing for PostgreSQL

C 56 5 Updated Dec 16, 2024

Unix core utilities implemented in Haskell

Haskell 287 2 Updated Nov 8, 2024

library & platform to build, distribute, monetize ai apps that have the full context (like rewind, granola, etc.), open source, 100% local, developer friendly. 24/7 screen, mic, keyboard recording …

TypeScript 11,695 757 Updated Jan 19, 2025

Findings and custom firmware for the Colmi R02 (and similar) Smart Ring with RF03 BlueX SoC

311 18 Updated Dec 31, 2024

Reset keyboard to default layout on screensaver activation

JavaScript 9 Updated Dec 4, 2024

A Scripting Editor for F# on Windows

F# 110 1 Updated Jan 19, 2025

This patch removes restriction on maximum number of simultaneous NVENC video encoding sessions imposed by Nvidia to consumer-grade GPUs.

Python 3,704 290 Updated Jan 14, 2025

Фронтенд для архивов Флибусты

JavaScript 167 28 Updated Nov 12, 2024

A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

Rust 7,366 173 Updated Jan 9, 2025

Optimized implementation for color-icon-matrix barcodes

C++ 4,717 334 Updated Jan 14, 2025

Portable single-file linux container

Shell 56 6 Updated Jan 19, 2025

Temporary repository for Kind2's refactor based on HVM2

Rust 284 28 Updated Sep 25, 2024

Production ready, modern web-application starter template using haskell and htmx

Haskell 85 2 Updated Oct 8, 2024

Personalized Unattended Answer Files that helps automatically debloat and customize Windows 10 & 11 during the installation process.

PowerShell 4,083 449 Updated Dec 5, 2024

A scrollable-tiling Wayland compositor.

Rust 4,813 148 Updated Jan 18, 2025

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

Haskell 192 16 Updated Dec 15, 2023

A mirror of https://git.sr.ht/~grego/sumtypes.h

C 76 3 Updated Jan 13, 2025
Next