Skip to content
View softinio's full-sized avatar
💻
Coding
💻
Coding

Organizations

@apache @NixOS @typelevel

Block or report softinio

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 Swift toolchain installer and manager, written in Swift.

Swift 857 65 Updated Dec 14, 2025

pg_lake: Postgres with Iceberg and data lake access

C 1,340 64 Updated Dec 25, 2025

Build and publish container images using Swift Package Manager

Swift 357 22 Updated Nov 21, 2025

Linear Algebra and Statistics library for Scala.js, JVM, and Native.

Scala 38 5 Updated Dec 19, 2025

A Git-compatible VCS that is both simple and powerful

Rust 23,773 858 Updated Dec 25, 2025

Mac app to demonstrate swift-transformers

Swift 590 51 Updated Jul 29, 2024

Swift Package to implement a transformers-like API in Swift

Swift 1,226 157 Updated Dec 21, 2025

sources for the Scala language website

SCSS 295 332 Updated Dec 11, 2025

A Swift project that provides an implementation of the IMAP4rev1 protocol, built upon SwiftNIO.

Swift 131 24 Updated Nov 17, 2025

Lunatech course - "Moving forward from Scala 2 to Scala 3"

Scala 205 19 Updated Jun 15, 2024

A configuration as code language with rich validation and tooling.

Java 10,983 349 Updated Dec 22, 2025

Scala ORM to query SQL databases from Scala via concise, type-safe, and familiar case classes and collection operations. Connects to Postgres, MySql, H2, and Sqlite out of the box

Scala 244 33 Updated Oct 20, 2025

[GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

Shell 1,704 275 Updated Jul 4, 2024

Obsidian 🤝 Neovim

Lua 5,775 246 Updated May 12, 2025

NixOS profiles for servers [maintainer=@numtide]

Nix 858 53 Updated Dec 25, 2025

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Nix 2,734 277 Updated Dec 25, 2025

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Nix 2,538 362 Updated Dec 24, 2025

Type safety for spark columns

Scala 79 11 Updated Oct 27, 2025

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

Python 30,321 1,225 Updated Dec 25, 2025

Beautiful Text-based User Interfaces for Scala

Scala 225 12 Updated Mar 11, 2024

A minimal terminal kanban board

Scala 73 3 Updated Nov 10, 2024

Micro-library for building effectful protocols

Scala 69 4 Updated Dec 23, 2025

Vim-fork focused on extensibility and usability

Vim Script 95,190 6,483 Updated Dec 25, 2025

An OpenTelemetry library for Scala based on Cats-Effect

Scala 202 44 Updated Dec 23, 2025

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

Shell 2,717 179 Updated Dec 23, 2025

Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms

Scala 55 6 Updated May 27, 2025

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …

C 3,256 189 Updated Oct 7, 2024

List of conferences for iOS, visionOS, macOS, watchOS & tvOS developers

JavaScript 1,129 148 Updated Dec 19, 2025

The missing CMake project initializer

CMake 2,459 93 Updated Aug 31, 2025

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

125 3 Updated Sep 30, 2022
Next