-
Cloud PBX Solutions
- Madrid, Spain
-
13:41
(UTC +01:00) - @anaidyonov
- in/anaidyonov
Stars
Fast package resolver written in Rust (CDCL based SAT solving)
Easy self-referential struct generation for Rust.
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.
Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..]
telescope integration with digraphs and custom unicode characters
Set up a LUKS-encrypted filesystem for Yubikey in NixOS
A {Windows, macOS, Linux} client recreating the functionality of the Sony Headphones app
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Manage system config using nix on any distro
⭐️ A friendly language for building type-safe, scalable systems!
🤖 A Telegram bot that integrates with OpenAI's official ChatGPT APIs to provide answers, written in Python
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.
Pretrained language model with 100B parameters
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
A collection of TLA⁺ specifications of varying complexities.
Specifying and Verifying CRDT Protocols using TLA+
Symbolic programming for the next generation of numerical software
A Julia package for probability distributions and associated functions.
Powerful convenience for Julia visualizations and data analysis