Discover matsubara0507/my-github-cards Open Source project

自作した Google Apps Script コードの置き場

gasdump

Roughly implement CLI tool to convert YAML to Dhall

yaml-to-dhall

Automatically derive Kotlin functions to query servant webservices

servant-kotlin

SML/NJ simple kernel for Jupyter/IPython Notebook

simple-ismlnj

Python

extensible-instances

instances of extensible data type for any type class

Give your dependencies stars on GitHub!

thank-you-stars

Elixir

haskell-and-elm

Example application using Haskell and Elm

The Rakuten API for Haskell

rakuten

Prolog kernel for Jupyter/IPython Notebook

iprolog

Python

test-extensible

Haskell の extensible パッケージのテストリポジトリ

Sample Project for Elm + GitHub OAuth 2.0 (Firebase).

elm-github-oauth2-sample

Project templates for stack new

stack-templates

bookmark-hub

Chrome extension for bookmark using GitHub

building rio package configuration using cont monad with extensible

mix.hs

A collection of awesome Backpack of Haskell links.

dlisp

Pure Lisp on D Language

awesome-backpack

gh-wrap

Collect your yearly GitHub all stats

Shell

pub-slides

My Published Slides by marp-cli + Netlify

rules_elm

Bazel rules for Elm

Markdown presentation writer with Elm.

elmdeck

Tool for task management in Haskell

taskpad

Send post written by Markdown to Medium

mdium

The ChatWork API for Haskell

chatwork

rules_yq

JSON Parser using Haskell

jsonparser

Mapping to Elm definitions from Haskell definitions.

elmap.hs

LINE Bot that replay Curry-Howard Isomorphism with paper

curry-howard-linebot

this is cli that collect posts of site that is wrote in config yaml using feed or scraping.

scrapbook

Framework for Slack Bot based on Events API by Ruby

botground

Ruby

gh-release-bazel-rule

Create release for bazel rules and Generate WORKSPACE code

Shell

dhall-ex

Dhall + exports (+ extend)

collect stack-template that project templates for stack new

stack-tpls

Score Ranking Server for AnaQRam with Haskell Servant

anaqram-server

make CLI that merge two Dockerfile using Haskell

docker-merge

mix monologue : collect any public times channel in slack

mixlogue

Sample code of Templae Haskell for YAML

go-etcd-sandbox

rules_openapi

Mustache

hunter

オライリーアニマルを捕まえるぞ

Ruby

sample-yaml-th

Io kernel for Jupyter/IPython Notebook

iio

Jupyter Notebook

extensible-effexts-step-by-step

Example for Extensible Effect with extensible package

「Go言語によるWebアプリケーション開発」のソースコード置き場

goblueprints

fallible

interface for fallible data type like Maybe and Either.

Set up your GitHub Actions workflow with a specific version of Haskell Stack

setup-stack

Working through the exercises from Seven Languages In Seven Weeks https://pragprog.com/book/btlang/seven-languages-in-seven-weeks

seven-languages-in-seven-weeks

ELaMbda

Implement TaPL's Lambda calculus by Elm

bazel_diagrams_example

Drone plugin: git with ssh

drone-git-with-ssh

matsubara0507.github.io

GitHub Pages For Me

SCSS

source-gh-pages

Sources of my GitHub Pages

SCSS

extensible-ext

extra packages for fumieval/extensible package

Posts of Haskell Advent Calendar in Japan

haskell-advent-calendar

An implementation of Multiparty Session Types with Timeout in Haskell

timeout-sesstype.hs

Sample project for OpenAPI with Bazel

sample-oapi-with-bazel

Applicative style of elm/url parser

elm-url-applicative

Generate my "who am i" using Haskell.

whoami

implement Featherweight Go using Elm

featherweight-go

Convert HTML to Slack's mrkdwn format using Go

html-to-mrkdwn-go

mixi-academy

ある会社の内定者研修の進捗管理用のリポジトリ

rules_oapi_codegen

For https://github.com/k0shk0sh/FastHub/pull/862

awsdump

AWS 用に書いたコード置き場

Python

languages-colors-for-fasthub

jobworker.hs