Giters
@tksfz (tksfz)

tksfz

Geek Repo

20

followers

10

following

48

stars

Location:San Francisco, CA

Home Page:blog.tksfz.org

Github PK Tool:Github PK Tool

@tksfz's starred repositories

linux-minibook-x

Linux for the Chuwi MiniBook X 2023 / N100

Stargazers:27Issues:0Issues:0

rune

An embeddable dynamic programming language for Rust.

Language:RustLicense:Apache-2.0Stargazers:1614Issues:0Issues:0

vscode-theme

VSCode theme for all Jetbrains IDEs

Language:KotlinLicense:BSD-2-ClauseStargazers:618Issues:0Issues:0

vaultwarden

Helm chart for Vaultwarden, the (unofficial) Bitwarden-compatible server written in Rust, formerly known as bitwarden_rs

Language:SmartyLicense:MITStargazers:113Issues:0Issues:0

home-cluster

My home Kubernetes cluster managed with flux GitOps tool.

Language:GoLicense:UnlicenseStargazers:148Issues:0Issues:0

sveltekit-s3-multipart-upload

SvelteKit S3 Multipart Upload: how you can upload large files, such as video to your S3 compatible storage provider using presigned URLs.

Language:JavaScriptLicense:BSD-3-ClauseStargazers:9Issues:0Issues:0

jira4s

Jira client for Scala

Language:ScalaLicense:Apache-2.0Stargazers:5Issues:0Issues:0

zio-pulsar

Apache Pulsar client for Scala with ZIO and ZIO Streams integration.

Language:ScalaLicense:BSD-2-ClauseStargazers:23Issues:0Issues:0

aws-cdk-scala

Scala DSL for AWS CDK v2.

Language:ScalaLicense:Apache-2.0Stargazers:15Issues:0Issues:0

caliban

Functional GraphQL library for Scala

Language:ScalaLicense:Apache-2.0Stargazers:939Issues:0Issues:0

ensuring

Idempotent I/O

Language:ScalaStargazers:2Issues:0Issues:0

Arend

The Arend Proof Assistant

Language:JavaLicense:Apache-2.0Stargazers:689Issues:0Issues:0

droste

recursion schemes for cats; to iterate is human, to recurse, divine

Language:ScalaLicense:Apache-2.0Stargazers:387Issues:0Issues:0

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaLicense:NOASSERTIONStargazers:5200Issues:0Issues:0

outwatch

The Functional and Reactive Web-Frontend Library for Scala.js

Language:ScalaLicense:Apache-2.0Stargazers:458Issues:0Issues:0

thermometer-continuations

Examples from our paper "Capturing the Future by Replaying the Past"

Language:Standard MLLicense:BSD-3-ClauseStargazers:19Issues:0Issues:0

orphan-finder

A Scala compiler plugin for finding orphaned instances

Language:ScalaLicense:Apache-2.0Stargazers:4Issues:0Issues:0

archzfs

Package and repository sources for ZFS on Arch Linux

Language:ShellStargazers:394Issues:0Issues:0

scala-newtype

NewTypes for Scala with no runtime overhead

Language:ScalaLicense:Apache-2.0Stargazers:539Issues:0Issues:0

kmq

Kafka-based message queue

Language:ScalaLicense:Apache-2.0Stargazers:329Issues:0Issues:0

play-formless

Type-safe Play Form Mappings for case classes by way of shapeless

Language:ScalaLicense:MITStargazers:5Issues:0Issues:0

fs2-rabbit

:rabbit: RabbitMQ stream-based client built on top of Fs2

Language:ScalaLicense:Apache-2.0Stargazers:145Issues:0Issues:0

sttp

The Scala HTTP client you always wanted!

Language:ScalaLicense:Apache-2.0Stargazers:1430Issues:0Issues:0

ComonadSheet

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.

Language:HaskellLicense:MITStargazers:153Issues:0Issues:0

scala-effekt

Extensible algebraic effects with handlers

Language:ScalaLicense:MITStargazers:141Issues:0Issues:0

typed-tagless-final

Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes

Language:ScalaLicense:Apache-2.0Stargazers:33Issues:0Issues:0

pbmeta

Generates formats for Protobuf using scala.meta

Language:ScalaLicense:MITStargazers:8Issues:0Issues:0

escalar

A Scala client for Elasticsearch’s HTTP API which presents Scala-idiomatic, typed interface. Elasticsearch exposes an HTTP API with several community-provided language bindings. A Java client exists for this HTTP API called Jest, but there is no Scala API. This client is currently implemented as a wrapper around Jest.

Language:ScalaLicense:MITStargazers:16Issues:0Issues:0

scala-native

Your favorite language gets closer to bare metal.

Language:ScalaLicense:NOASSERTIONStargazers:4459Issues:0Issues:0

scalajs-react

Facebook's React on Scala.JS

Language:ScalaLicense:Apache-2.0Stargazers:1639Issues:0Issues:0