OSANAI Kazuyoshi (syocy)

syocy

Geek Repo

Location:Japan

Home Page:https://twitter.com/syocy

Github PK Tool:Github PK Tool

OSANAI Kazuyoshi's starred repositories

haskell-flake

A `flake-parts` Nix module for Haskell development

Language:NixLicense:MITStargazers:148Issues:0Issues:0

mig

Lightweight and composable servers for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:71Issues:0Issues:0

fish-kube-prompt

⎈ kubectl context/namespace in your fish shell prompt

Language:ShellLicense:MITStargazers:85Issues:0Issues:0

asdf-thrift

thrift plugin for the asdf version manager.

Language:ShellLicense:MITStargazers:3Issues:0Issues:0

skk-emoji-jisyo

SKK 絵文字辞書

Language:RubyLicense:MITStargazers:120Issues:0Issues:0

WideDialog_aviutl_plugin

aviutlのオブジェクト設定ダイアログを、幅広にするプラグイン

Stargazers:11Issues:0Issues:0

arrow

Λrrow - Functional companion to Kotlin's Standard Library

Language:KotlinLicense:NOASSERTIONStargazers:6166Issues:0Issues:0

nix-haskell-monorepo

Pragmatic tutorial on how to use nix with a haskell monorepo

Language:NixStargazers:154Issues:0Issues:0

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Language:HaskellStargazers:1071Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

dhall-dot

Dhall support for the DOT language for graphviz

Language:DhallLicense:BSD-3-ClauseStargazers:38Issues:0Issues:0

OpenCoronaVacation

夏休みや

License:MITStargazers:22Issues:0Issues:0

dhall-kubernetes

Typecheck, template and modularize your Kubernetes definitions with Dhall

Language:DhallLicense:Apache-2.0Stargazers:616Issues:0Issues:0

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

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

kotest-extensions-mockserver

Kotest extensions for MockServer

Language:KotlinLicense:Apache-2.0Stargazers:3Issues:0Issues:0

tech-proposals

The Haskell Foundation Tech Proposal Process

Language:HaskellLicense:NOASSERTIONStargazers:69Issues:0Issues:0

openapi3

OpenAPI 3.0 data model

Language:HaskellLicense:BSD-3-ClauseStargazers:39Issues:0Issues:0

prune-juice

Prune unused Haskell dependencies.

Language:HaskellLicense:MITStargazers:48Issues:0Issues:0

cabal2nix

Generate Nix build instructions from a Cabal file

Language:HaskellLicense:NOASSERTIONStargazers:355Issues:0Issues:0

direnv-nix-lorelei

Alternative Nix extension of Direnv

Language:NixLicense:GPL-3.0Stargazers:35Issues:0Issues:0

master-thesis

Selective Functors & Probabilistic Programming

Language:TeXStargazers:23Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:180052Issues:0Issues:0

darts-clone-python

Darts-clone python binding

Language:CythonLicense:Apache-2.0Stargazers:20Issues:0Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2662Issues:0Issues:0

z-data

array, slices and text

Language:HaskellLicense:NOASSERTIONStargazers:70Issues:0Issues:0

z-io

IO lib for haskell

Language:HaskellLicense:NOASSERTIONStargazers:97Issues:0Issues:0

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

Language:HaskellLicense:BSD-3-ClauseStargazers:584Issues:0Issues:0

eff

Python library to work with algebraic effects

Language:PythonLicense:MITStargazers:66Issues:0Issues:0

aquaskk

An input method without morphological analysis.

Language:C++License:GPL-2.0Stargazers:346Issues:0Issues:0